Web3安全公司Certora獲得以太坊基金會的研究資助

資助內容與技術重點

Web3安全公司Certora宣佈獲得以太坊基金會的資助，將與Powdr Labs合作，為以太坊基金會zkEVM倡議中的關鍵優化技術「自動預編譯」提供形式化驗證。

自動預編譯是由Powdr Labs開發的、可自動推斷的低層ZK電路組件，旨在優化zkEVM的加密與算術運算性能。

該資助將用於支援Certora對自動預編譯正確性的驗證，確保其在zkEVM生態系統中的穩定性與安全性。