精选70Ethereum Foundation 博客（RSS）加密货币
以太坊基金会推出better.codes挑战赛，推动哈希SNARK形式化验证
Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
better.codes，一个由以太坊基金会形式化验证团队与Yukon和zkSecurity合作构建的开放自动研究挑战，现已上线。better.codes从Proximity Prize研究中选取一个自包含的问题，在Lean中形式化，并将其健全性界限放在一个公开排行榜上，任何人都可以推动其进步……
更进一步：量化金融体系
看懂新闻只是起点——沿量化金融路径，把它变成能交付的工程能力