以太坊基金会Formal Verification团队联合Yukon与zkSecurity上线better.codes自动研究挑战
原题:Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
以太坊基金会Formal Verification团队与Yukon、zkSecurity合作构建的开放自动研究挑战better.codes已上线。该挑战将Proximity Prize研究中的一个自包含问题在Lean中形式化,并把其可靠性界(soundness bound)放在公开排行榜上,任何人都可推进。