Bitget App
交易「智」變
快速買幣市場交易合約理財廣場更多
Certora推出首個用於智能合約的安全AI編碼平台

Certora推出首個用於智能合約的安全AI編碼平台

Daily HodlDaily Hodl2025/11/21 19:47
顯示原文
作者:by Chainwire

2025年11月21日 – 以色列特拉維夫-雅法

Certora,獲得Web3最先進團隊信賴的全方位安全保障平台,今日宣布推出Certora AI Composer,這是一個開源的AI編碼平台,將人工智慧與形式化驗證結合,讓智能合約開發更加快速且安全。

與僅專注於速度與便利性的通用「AI-for-code」工具不同,Certora AI Composer確保每一段AI生成的程式碼片段在執行前都遵循數學安全規則。透過將Certora經過驗證的形式化驗證技術直接嵌入AI生成流程,開發者能夠自信地探索設計想法,同時確保安全性不變式持續受到檢查,而非事後補救。

「使用AI絕不應該意味著犧牲安全。Certora AI Composer證明了AI與形式化驗證可以攜手合作,讓智能合約開發從根本上值得信賴,」Certora創辦人Mooly Sagiv解釋道。「這次alpha版本的發布,是我們邀請社群共同參與,攜手塑造安全自主編碼未來的開始。」

Certora AI Composer Alpha將於12月4日開源,並在GitHub上向社群開放。鼓勵開發者進行實驗、提供反饋,並共同推動經過驗證的AI驅動開發新標準的形成。

主要特點:

  • 針對AI生成程式碼的整合式形式化驗證檢查
  • 開源可擴展性,可構建自有安全模組
  • 由Certora Prover——Certora業界信賴的驗證引擎——提供支持

Certora還將於12月4日舉辦一場名為「AI Meets Verification: An Open Discussion with Certora Researchers」的線上直播活動,屆時將詳細介紹Certora AI Composer的運作方式及其如何提升安全性。

用戶可點擊此處報名參加活動,並在Twitter上關注@CertoraInc以獲取未來更新和提醒。

關於Certora

Certora是獲得Web3最先進團隊信賴的安全保障合作夥伴。由程式語言與形式化方法領域的先驅於2018年創立,Certora協助Lido、Aave、Uniswap和Compound等領先協議自信地保障數十億美元資產的安全。

  Certora推出首個用於智能合約的安全AI編碼平台 image 0

0

免責聲明:文章中的所有內容僅代表作者的觀點,與本平台無關。用戶不應以本文作為投資決策的參考。

PoolX: 鎖倉獲得新代幣空投
不要錯過熱門新幣,且APR 高達 10%+
立即參與

您也可能喜歡

12 月降息希望落空?比特幣回吐全年漲幅

美國9月非農數據延遲43天後公布,市場幾乎放棄12月降息的預期。

ForesightNews 速递2025/11/21 21:43
12 月降息希望落空?比特幣回吐全年漲幅

淘金手冊|Circle Arc 早期互動保姆級教程

行情低迷不躺平。

ForesightNews 速递2025/11/21 21:42
淘金手冊|Circle Arc 早期互動保姆級教程

火星早報|Nvidia盈利喜人為市場注入強心針,聯準會紀要分歧加劇12月降息成疑

Nvidia財報超出預期,提振市場信心,AI投資熱潮持續;美聯儲會議紀要顯示12月降息意見分歧加劇;加密市場ETF擴展但面臨流動性挑戰;以太坊提出EIL以解決L2碎片化問題;Cloudflare故障引發對中心化服務的擔憂。

MarsBit2025/11/21 21:31
火星早報|Nvidia盈利喜人為市場注入強心針,聯準會紀要分歧加劇12月降息成疑

97%暴跌都沒死:Solana八年血淚史揭開——原來真正的強者從不按劇本走

Solana聯合創辦人Anatoly Yakovenko回顧了Solana的起源、發展歷程、所面臨的挑戰及未來願景,並強調高效能區塊鏈在交易效率及金融服務全方位整合上的重要性。摘要由Mars AI生成,該摘要內容的準確性與完整性仍處於持續迭代更新階段。

MarsBit2025/11/21 21:31
97%暴跌都沒死:Solana八年血淚史揭開——原來真正的強者從不按劇本走