Foresight News 消息，安全審計機構 CertiK 宣佈獲得以太坊基金會 2025 年第一季度兩項研究資助，主要用於 zkEVM 形式化驗證領域研究。CertiK 通過其適合處理複雜零知識證明系統的“先進形式化驗證”技術，爲以太坊擴展性戰略提供了更強的安全保障。CertiK 的形式化驗證技術已應用於 zkWasm、TON 主鏈合約、Cosmos SDK 及螞蟻集團的 HyperEnclave TEE、Asterinas OS 等多個 Web3 項目。 [查看更多]
免責聲明：投資有風險，本文並非投資建議，以上內容不應被視為任何金融產品的購買或出售要約、建議或邀請，作者或其他用戶的任何相關討論、評論或帖子也不應被視為此類內容。本文僅供一般參考，不考慮您的個人投資目標、財務狀況或需求。TTM對信息的準確性和完整性不承擔任何責任或保證，投資者應自行研究並在投資前尋求專業建議。