模型驗證

ChainCatcher 消息，Anthropic 開源了 FlashProve，把加密貨幣領域常用的 zkSNARK（零知識證明）技術搬到了 AI 模型推理中。這項技術原本可以在不公開交易細節的情況下，證明區塊鏈交易有效。Anthropic 想用它解決另一個問題：用戶花高價購買某款 AI 模型的 API，怎麼知道服務商有沒有偷偷換成便宜模型？FlashProve 讓服務商先為模型權重生成加密指紋，再為推理結果提供數學證明。用戶無需獲取模型權重，也不用重新運行模型，就能檢查指定輸出是否來自預先承諾的那組權重。Claude 也參與了這套系統的研發和優化。Anthropic 已經在 Meta 的 4000 億參數模型 Llama 4 Maverick 上完成實驗。每處理 1024 個 token 的上下文，生成的證明約有 19 MB，普通 CPU 驗證需要約 17 秒。不過，目前每份證明只能核驗一個輸出 token，還無法驗證整段回答。生成證明所需的 GPU 計算時間，也達到普通推理的約 70--95 倍。以後能不能靠它揪出偷偷換模型的 API 服務商，還得看證明成本什麼時候能降下來。

ChainCatcher 消息，据 Digital Asset 報導，韓國金融委員會宣布將推進以韓國交易所（KRX）為中心的上市股票代幣化模型驗證和試點項目，參考紐約證交所和納斯達克的試點計劃。非上市股票將通過信託方式推進代幣化。金融委員會公布了定型資產代幣化三階段路線圖。第一階段在 2027 年 2 月代幣證券法實施時啟動，代幣化對象為私募貨幣市場基金、私募公司債和非上市股票，僅限機構投資者。第二階段將範圍擴大至公募。第三階段推進"鏈上結算"，即證券和結算手段均在區塊鏈上完成支付和結算。金融委員會表示穩定幣立法後將正式推進鏈上結算。

ChainCatcher 消息，据 Chainwire 報導，鏈上 AI 模型驗證和租賃市場 Aura 完成 550 萬美元的種子輪融資，Daxos Capital、Manifold Trading 和 Selini Capital 領投， Hermeneutic Investments 參投。隨著本輪融資的完成，Aura 正在加速其技術路線圖，並為平台開發的下一階段做準備。