请点击或按钮分享
PANews 2月5日消息，據Chainwire報道，Web3安全公司Certora宣佈獲得以太坊基金會的研究資助，將與Powdr Labs合作，為以太坊基金會zkEVM倡議中的關鍵優化技術“自動預編譯”提供形式化驗證。自動預編譯是由Powdr Labs開發的、可自動推斷的低層ZK電路組件，旨在優化zkEVM的加密與算術運算性能。
内容來源：PANews
財華網所刊載內容之知識產權為財華網及相關權利人專屬所有或持有。未經許可，禁止進行轉載、摘編、複製及建立鏡像等任何使用。
如有意願轉載，請發郵件至 content@finet.com.hk，獲得書面確認及授權後，方可轉載。
財華財經APP下載 
或
按钮分享