證明

ChainCatcher 消息，据火幣 HTX 最新默克爾樹儲備證明（PoR）數據顯示，截至 2026 年 10 月 1 日（UTC+8），平台各主流資產儲備率均保持在 100% 以上，持續以充足儲備保障用戶資產安全，並承諾實現 100% 兌付，確保用戶可隨時交易和提現。作為行業內較早持續披露默克爾樹儲備證明的平台之一，火幣 HTX 已連續 48 個月向市場公開披露 PoR 數據，以長期、可驗證的方式提升平台透明度。本次具體更新的儲備金率，BTC（104%）、ETH（102%）、TRX（108%）、USDs（104%）、HTX（103%）、XRP（105%）、DOGE（102%）、SOL（109%）。用戶可訪問火幣 HTX 官網的"資產-儲備金證明報告"頁面查看。從今年 4 月起，為進一步提升美元資產儲備數據的展示直觀性，火幣 HTX 已將 USDT、USDC 等美元穩定幣統一聚合為"USDs"進行展示，各幣種資產數據仍保持獨立記錄、獨立核驗，確保儲備信息真實、清晰、可追溯。

ChainCatcher 消息，以太坊二層網路 ZKsync 宣布推出證明器 Airbender Prime。ZKsync 表示，據其所知，這是首個在單塊 GPU 上演示以太坊即時證明的證明器。Airbender Prime 面向後量子安全，使用基於哈希的 STARK，結合 GKR sumcheck、WHIR 多項式承諾與 BLAKE2s 哈希；其 L1 證明將採用基於 Keccak-256 的承諾，而非 BN254 配對。該證明器基於開放 RISC-V 標準，並將即時證明與獨立驗證器結合。在單 GPU 評估中，一塊 NVIDIA RTX PRO 6000 Blackwell 對連續 7200 個以太坊主網區塊中的 99% 完成證明，每塊耗時低於 10 秒，統計包含見證準備；全部區塊均在 12 秒內完成。ZKsync 稱，Airbender Prime 在 ETHproofs 公開排行榜上報的平均證明時間、GPU 效率與成本方面領先，並已有雙 GPU 與四 GPU 即時配置，同時降低了生成證明的硬體要求。

ChainCatcher 消息，以太坊貢獻者 Francesco Risitano (@frisitano) 提交了 EIP-8440 (執行鏈證明) 草案提案。該提案通過遞歸零知識證明機制，證明從頭部信標塊到起源信標塊的所有執行有效載荷的合法性，並將其綁定至信標鏈。節點可通過單一證明，從弱主觀性檢查點建立到最新區塊頭的完整執行有效性，實現常數時間鏈同步。

ChainCatcher 消息，据官网数据，幣安更新 10 月儲備金證明，BTC 儲備率達 100.35%，USDT 儲備率達 103.88%，ETH 儲備率達 100%，BNB 儲備率達 100.47%。對比 9 月儲備報告，幣安交易平台內，用戶持有的 BTC 數量較 9 月增加 6,217.116 枚，約合 5.367 億美元。用戶持有的 ETH 數量較 9 月減少 183,602.205 枚，約合 4.986 億美元。

ChainCatcher 消息，据官方公告，Bitget 發布第 47 期儲備金證明（PoR）。總儲備金率達 131%，覆蓋 19 類資產。其中，BTC、ETH、USDT 及 USDC 的儲備金率分別為 142%、110%、107% 和 154%。Bitget 自 2022 年 12 月起按月更新儲備金證明，並於今年 9 月將覆蓋範圍由 4 類資產擴展至 19 類，為用戶提供更廣泛的平台儲備可見性。Bitget 的歷史平均儲備金率保持在 120% 以上，高於 100% 的覆蓋率基準，對受保用戶資產進行全額覆蓋。

ChainCatcher 消息，美國證券交易委員會（SEC）委員 Hester Peirce 在 SIFMA 數位資產會議上發言表示，監管機構應重新審視傳統金融監控方式，從"收集更多數據"轉向利用新技術進行更精準的驗證。Peirce 稱，零知識證明等技術可以在不披露姓名、收入或地址等底層個人信息的情況下，驗證用戶是否滿足年齡、公民身份、合格投資者身份或制裁名單等要求。Hester Peirce 建議聯邦政府及受監管機構在技術可行的情況下採用基於屬性的驗證，並允許註冊實體更多依賴第三方身份驗證，以減少重複收集和存儲敏感信息。Peirce 同時表示，公有區塊鏈具備永久、公開且可審計的交易記錄，結合區塊鏈取證工具，有望在減少不必要數據收集的同時提升對非法活動的追蹤能力。

ChainCatcher 消息，Bitget 宣布升級儲備金證明（PoR）體系，覆蓋資產從原有的 4 種加密貨幣擴展至 19 種主要資產，新增 XAUT、SOL、BNB、USDGO 等代幣。本次升級同步擴展了平台級儲備金披露與個人資產證明驗證範圍，用戶可通過 PoR 頁面查看各資產的儲備率、規模及鏈上分佈，並使用 Merkle Tree 獨立核查個人持倉是否被納入儲備快照。Bitget 自 2022 年 12 月起按月發布儲備金報告，截至 2026 年 8 月已連續發布 45 期，最新整體儲備金率為 122%。Bitget CEO Gracy 表示，隨著平台支持的資產種類持續增加，儲備金透明度與驗證能力也需要同步擴展，讓更多用戶能夠自主核驗資產情況，並進一步提升平台透明度。

ChainCatcher 消息，Aave 創始人 Stani Kulechov 表示，在 Clarity Act 未能在參議院推進後，DeFi 可能需要走 "Uber 路徑"。其理念是為數百萬用戶構建產品，證明技術價值，並使其足夠重要，以至於立法者必須想辦法對其進行監管。

ChainCatcher 消息，波場 TRON 創始人孫宇晨發文宣布設立"孫宇晨獎"，目前只關注數學。他稱該獎跟隨題目而非個人，不等年會、提名或年齡限制；每道題分兩欄署名，一欄記證明者，一欄記將證明形式化並寫入機器的人，兩者可為同一人，亦可為人、AI 或人使用 AI。獎金觸發條件為機器將證明從第一行核驗至最後一行且無差錯，核驗通過後兩欄名單即為該題獎金所有者。規則還包括：機器核驗前，若數學界已接受人類證明，可先掛名，獎金不動，狀態為"已證明，待形式化"。證明欄獎金只付給題目上架之後才被解決的題；上架時已解決的題目，證明者仍記名，獎金只付給完成形式化的人，不為數學史補發獎金。題單由孫宇晨簽字決定上架題目與定價，一旦掛出則只加不減、錢只兌不退，寫錯的題照付後再重掛；定價之外，驗證、發錢、掛名其本人不參與投票。孫宇晨表示，公益重心將轉向該獎，首期獎池已打入區塊鏈，地址與餘額公開，其僅保留繼續注資的權利；獲獎證明與獎金發放均將公開上鏈。他稱用人名命名是為避免機構更迭帶來的改名，並稱財富來源於數學，希望"從數學來，回到數學去"。

ChainCatcher 消息，OpenAI 於 9 月 8 日宣布，其內部多智能體系統已成功證明三維不可壓縮納維-斯托克斯方程在有限時間內可形成奇點，從而解決了該世紀難題。該證明由 OpenAI 內部一個比 GPT-6 Astra 能力更強的模型驅動，並於 9 月 5 日獲得初步結果，隨後經過 17 小時的 Lean 形式化驗證。OpenAI 表示，該證明展示了在光滑外力作用下，靜止流體可演化出向內螺旋並拉伸的渦旋結構，其能量保持有限但速度無界增長，對應千年獎問題中的"C"和"D"情形。整個求解過程動用了約 1 萬個並發智能體，發送約 270 萬條消息，消耗約 1300 億輸出 token。OpenAI 承認此次嘗試受到有關 Anthropic 員工 Levent Alpöge 和 NYU 教授 Tristan Buckmaster 並行工作的傳聞啟發，並稱雙方在歐拉方程正則性問題上結果不同，OpenAI 證明了無外力情形，而對方證明了有外力情形。

ChainCatcher 消息，据火幣HTX 最新默克爾樹儲備證明（PoR）數據顯示，截至 2026年9月1日（UTC+8），平台各主流資產儲備率均保持在100%以上，持續以充足儲備保障用戶資產安全，並承諾實現100%兌付，確保用戶可隨時交易和提現。作為行業內較早持續披露默克爾樹儲備證明的平台之一，火幣HTX 已連續47個月向市場公開披露 PoR 數據，以長期、可驗證的方式提升平台透明度。本次具體更新的儲備金率，BTC（104%）、ETH（102%）、TRX（109%）、USDs（102%）、HTX（103%）、XRP（104%）、DOGE（101%）、SOL（103%）。用戶可訪問火幣HTX 官網的"資產-儲備金證明報告"頁面查看。值得一提的是，從今年4月開始，為進一步提升美元資產儲備數據的展示直觀性，火幣HTX已將USDT、USDC等美元穩定幣統一聚合為"USDs"進行展示，各幣種資產數據仍保持獨立記錄、獨立核驗，確保儲備信息真實、清晰、可追溯。未來，火幣HTX將繼續堅持1:1儲備原則，通過可驗證的數據、可追溯的鏈上資產以及常態化的信息披露機制，持續提升資產透明度，讓用戶看得見儲備、查得到資產、用得更安心。

ChainCatcher 消息，懷俄明州穩定代幣委員會於 9 月 2 日宣布，採用 Chainlink Proof of Reserve 作為 Frontier 穩定代幣（FRNT）的獨家鏈上儲備驗證層，並將由 The Network Firm 審計的儲備與供應餘額發布到鏈上可讀的喂價中。目前可供驗證的規模並不大：據 CoinGecko 數據，FRNT 總供應量為 96.79 萬枚，單價約 0.99884 美元，僅相當於該委員會向州議會預算會議資料中提交的基礎情景預估（5.087 億枚）的約 0.2%；24 小時交易量為 160 美元，全部發生在 Kraken。該公告將兩個產品分開，目前僅有 Proof of Reserve 上線。可在儲備無法覆蓋總供應時以編程方式阻止鑄造的 Proof of Reserve Secure Mint 組件，委員會稱仍在"推進採納"過程中。委員會此前已在官網發布每日證明，此次調整改變的是數據交付方式而非更新頻率。委員會執行董事 Anthony Apollo 表示，採用 Chainlink 儲備證明為 FRNT 由高品質儲備資產全額背書提供了透明、可驗證的確認；Chainlink Labs 首席商務官 Johann Eid 則稱，這證明了政府可以利用 Chainlink 平台將可信、可全面驗證的鏈上金融基礎設施投入生產。

ChainCatcher 消息，据華爾街日報報導，美國證券交易委員會（SEC）已加強對所謂特殊目的載體（SPV）背後公司的審查。据知情人士透露，SEC 審查員一直在要求註冊投資顧問提供證據，證明其 SPV 確實擁有或持有其聲稱的私營公司股份。部分知情人士表示，在 SpaceX 備受矚目的首次公開募股和 Anthropic 計劃上市之前，此類基金加大了行銷攻勢，同時投資者投訴也有所增加，監管機構因此決定加強審查。据其中一位知情人士稱，SEC 目前的審查通常包括文件調取要求，部分審查還包含現場面談環節。審查過程可能持續數週至一年不等。

ChainCatcher 消息，Zcash 全節點客戶端 Zakura 團隊發布 Zakura Common，這是一套面向 Zcash 生態的加密與協議庫。官方基準測試顯示，移動端證明生成速度提升超 14 倍（桌面端超 5 倍），Sinsemilla 哈希速度提升超 21 倍，試解密速度提升超 1.5 倍，zk-SNARK 驗證速度提升 4 至 8 倍；在許多情況下，錢包創建交易的等待時間可由 3 秒以上縮短至 200 毫秒以內。該升級無需網絡升級，已採用 MIT/Apache 2.0 雙許可證開源，Zakura 1.3.0 將切換至這一技術棧。

ChainCatcher 消息，去中心化永續合約協議 Lighter 宣布，過去一個月其平均區塊證明時間從約 5.3 分鐘降至約 1 分鐘，該進展通過 7 月 23 日與 8 月 23 日推出的兩項獨立優化實現。Lighter 現可更快完成區塊驗證，從而提升處理容量、降低基礎設施成本，並為進一步擴展創造空間。第一項優化為 Heavy/Light 分解。該方案將交易電路拆分為輕量電路與重量電路，使占交易絕大多數的簡單報價更新僅需支付輕量約束，證明時間因此減半。第二項為與 Eigen Labs 合作舉辦的證明競賽所帶來的 Prover 後端優化，在相同電路條件下再次將證明時間減半以上。首批優化已於 8 月 23 日上線，更多批次仍在推進中。此外，8 月 10 日還將所有 Schnorr 簽名驗證批量納入每個區塊的單個 Plonky3 證明，帶來約 20% 的改進。上述優化相互正交且效果可疊加，剩餘競賽優化預計再帶來約 2 倍提升，相較 7 月中旬總計有望達到約 10 倍。目前 Lighter 持續處理能力已超過歷史峰值負載，提款最終性下限由約 21--22 分鐘縮短至約 16--17 分鐘，並在流量高峰期間保持穩定。

ChainCatcher 消息，以太坊基金會形式化驗證團隊與 Yukon、zkSecurity 合作打造的開放自動研究挑戰 better.codes 現已上線。該平台將 Proximity Prize 中的自包含問題形式化於 Lean，並把 koalaIRS12 的機器檢查可靠性界放入公共排行榜，供任何人推動提升，以推進基於哈希的 SNARK 及後量子以太坊相關安全基準。求解者可自帶 AI 智能體，針對這一 Reed-Solomon 鄰近問題證明更高的可靠性下界，向固定的 128 位目標邁進。Lean 內核核驗每份提交，獲晉升的證明會提高公開界，其新引理、證明技術與不可能性結果將上游同步，供所有參與者復用。生產環境中多數哈希 SNARK 依賴相關鄰近間隙與相關約定結論，而目前可證明結果仍低於研究者所信基準，該挑戰旨在以開放、增量、可驗證方式縮小這一差距。koalaIRS12 源自相關論文並端到端形式化於 ArkLib。參與者可通過 GitHub 登錄並克隆挑戰倉庫，在固定定理陳述與驗證框架下提交；比較器與 Lean 內核確認後結果記入公共倉庫並注明求解者與所用模型。今日上線的是將 koalaIRS12 已證下界提升至 128 位的可靠性挑戰，後續或增加更多題目，細則以項目條款為準。

ChainCatcher 消息， Websea 已於8月18日宣布正式上線儲備金證明（PoR）機制，採用默克爾樹方案公開平台儲備數據，並同步開放開源驗證工具。用戶可查看驗證日期、覆蓋幣種、用戶資產餘額、鏈上錢包餘額、錢包地址文件及歷史報告，並下載個人驗證數據，在本地驗證個人資產是否被完整計入平台儲備。據介紹，儲備金率為平台鏈上資產與用戶總資產之比，儲備金率不低於100%意味著平台鏈上持有的資產不少於用戶資產總額。Websea 稱，後續將持續更新各期儲備數據，推進資產透明化與用戶自助核驗機制建設。

ChainCatcher 消息，Offchain Labs 研究團隊發布零知識證明技術研究進展，涵蓋證明加速、可驗證 AI、遞歸安全等方向。其中向量承諾方案將 6.4 萬條數據的證明生成時間從約 2 分鐘縮短至 32 毫秒，提速約 4000 倍；新證明系統 Zaratan 首次實現整數原生全簡潔證明，可將 RSA 等運算開銷降低約 5000 倍；可驗證 AI 方面，輕量級驗證協議可將大模型推理驗證從數分鐘縮短至毫秒級。Arbitrum 正探索將 ZK 證明與欺詐證明及 TEE 結合的多證明者架構，以消除單點故障並縮短 L1 結算週期。