可證明的

ChainCatcher 消息，AI 安全初創公司 Attestable 宣布正式成立，並完成 2000 萬美元種子輪融資。本輪融資由 Altimeter Capital 的 Jamin Ball 和 TLV Partners 的 Yonatan Mandelbaum 領投，Halcyon Futures、Cerca Partners 等機構及多位投資人參與。Attestable 創始人 Yogi 表示，隨著 AI 逐漸進入關鍵基礎設施、國家安全以及大型企業系統，如何驗證 AI 運行過程的可信度成為全球面臨的重要問題。公司希望構建面向前沿 AI 實驗室、關鍵基礎設施和國家級應用的通用驗證層。據介紹，Attestable 通過零知識證明（Zero-Knowledge Proof）技術，將對 AI 系統的信任從數據中心轉移至數學驗證機制。該技術可以證明某個經過批准的模型、模型權重、輸入數據及運行策略確實生成了特定輸出，同時不會洩露模型參數或用戶隱私數據，也無需重新運行模型即可完成驗證。Attestable 表示，其技術目前已在單張 NVIDIA H100 GPU 上實現對 Meta Muse Glimmer 30B 模型的驗證推理，達到每秒 85 個 token 的速度。生成的證明文件較小，並具備抗量子安全特性，可快速完成驗證。對此，以太坊聯合創始人 Vitalik Buterin 發文表示，並稱這一成果意味著大型語言模型零知識證明的性能損耗已接近位數級別。他表示，下一步挑戰是進一步降低全同態加密（FHE）等技術的性能開銷。