Web3安全公司Certora宣佈獲得以太坊基金會資助
資助內容與技術背景
Web3安全公司Certora宣佈獲得以太坊基金會資助，具體金額暫未披露。相關資金將用於支援其驗證「自動預編譯」（autoprecompiles）的正確性。
技術說明
自動預編譯是零知識計算中的一項關鍵優化技術，由Powdr Labs為以太坊基金會的zkEVM項目開發。
資訊來源
此資訊由多個媒體平臺報導，包括新浪財經、鉅亨網、搜狐新聞及律動BlockBeats等，內容一致。
Web3安全公司Certora宣佈獲得以太坊基金會資助，具體金額暫未披露。相關資金將用於支援其驗證「自動預編譯」（autoprecompiles）的正確性。
自動預編譯是零知識計算中的一項關鍵優化技術，由Powdr Labs為以太坊基金會的zkEVM項目開發。
此資訊由多個媒體平臺報導，包括新浪財經、鉅亨網、搜狐新聞及律動BlockBeats等，內容一致。