Certora推出首個用於智能合約的安全AI編碼平台
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等領先協議自信地保障數十億美元資產的安全。
免責聲明:文章中的所有內容僅代表作者的觀點,與本平台無關。用戶不應以本文作為投資決策的參考。
您也可能喜歡
火星早報|Nvidia盈利喜人為市場注入強心針,聯準會紀要分歧加劇12月降息成疑
Nvidia財報超出預期,提振市場信心,AI投資熱潮持續;美聯儲會議紀要顯示12月降息意見分歧加劇;加密市場ETF擴展但面臨流動性挑戰;以太坊提出EIL以解決L2碎片化問題;Cloudflare故障引發對中心化服務的擔憂。

97%暴跌都沒死:Solana八年血淚史揭開——原來真正的強者從不按劇本走
Solana聯合創辦人Anatoly Yakovenko回顧了Solana的起源、發展歷程、所面臨的挑戰及未來願景,並強調高效能區塊鏈在交易效率及金融服務全方位整合上的重要性。摘要由Mars AI生成,該摘要內容的準確性與完整性仍處於持續迭代更新階段。

降息幻覺破滅,AI 泡沫動搖,bitcoin 領跌:這一輪暴跌不是黑天鵝,是系統性踩踏
全球市場系統性下跌,美股、港股、A股、bitcoin 和黃金同步下挫,主要受美聯儲降息預期逆轉及 Nvidia 財報利好不漲的影響。摘要由 Mars AI 生成,本摘要由 Mars AI 模型生成,其生成內容的準確性、完整性仍處於迭代更新階段。

比特幣從12萬跌到9萬:我沒逃頂,但這五大信號告訴我——牛市還沒死
比特幣價格近期大幅下跌,市場情緒恐慌,但綜合分析顯示這是短期熊市修正,而非全面熊市,長期牛市可能將延續至2026年。摘要由 Mars AI 生成,本摘要由 Mars AI 模型生成,其內容的準確性與完整性仍處於持續更新階段。

