Web3安全公司Certora獲得以太坊基金會的研究資助
17
3
PANews 2月5日消息，據Chainwire報導，Web3安全公司Certora宣布獲得以太坊基金會的研究資助，將與Powdr Labs合作，為以太坊基金會zkEVM倡議中的關鍵優化技術“自動預編譯”提供形式化驗證。 自動預編譯是由Powdr Labs開發的、可自動推斷的低層ZK電路組件，旨在優化zkEVM的加密與算術運算性能。
來源:
