better.codes啓動提高機器檢査安全基準

據以太坊基金會官網消息，better.codes 現已啓動，better.codes 是一個開放的自動研究挑戰，由 Ethereum Foundation Formal Verification 團隊與 Yukon 和 zkSecurity 閤作建立，旨在提高機器檢査安全基準，推進基於哈希的 SNARKs 通過代理協作。