Ethereum Foundation Blog·· 2026-08-20
Ethereum 基金会发起更好代码挑战 推进基于哈希的 SNARKs 机器验证安全边界
Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
原始来源：Ethereum Foundation Blog阅读原始报道
AI 导读
Ethereum 基金会与 Yukon、zkSecurity 联合发起 open autoresearch challenge better.codes，目标通过公开协作推进 koalaIRS12 Reed–Solomon proximity problem 的机器验证下界至 128 bits。
来源：Ethereum Foundation Blog · blog.ethereum.org