better.codes启动提高机器检查安全基准

据以太坊基金会官网消息，better.codes 现已启动，better.codes 是一个开放的自动研究挑战，由 Ethereum Foundation Formal Verification 团队与 Yukon 和 zkSecurity 合作建立，旨在提高机器检查安全基准，推进基于哈希的 SNARKs 通过代理协作。