零知識證明

ChainCatcher 消息，据 The Block 報導，以太坊基金會已在以太坊主網上線 zkAPI，該方案基於 Vitalik Buterin 共同撰寫的設計。zkAPI 允許用戶使用預存的 ETH 或 USDC，通過零知識證明為人工智慧及其他 API 付費，服務提供方無法將具體請求與付款人關聯。

ChainCatcher 消息，据 CoinDesk 報導，以太坊聯合創始人 Vitalik Buterin 公布長期路線圖，稱之為精簡以太坊。該願景提出，以太坊到 2030 年將超越單純區塊鏈賬本，並計劃在接下來三至四年內徹底重構協議。轉型內容包括將交易吞吐量擴大約 1000 倍，引入零知識證明以增強隱私並對抗量子計算威脅。到 2030 年，網絡預計容納 2TB 傳統動態狀態數據，並疊加 100TB 新型可擴展存儲，以實現底層狀態分離與優化。願景還提出，把以太坊打造為由加密驗證驅動的基礎設施，應用從金融延伸到社會系統。多數開發人員支持該規劃，也有聲音認為實施時間表偏滯後。

ChainCatcher 消息，据 CoinDesk 報導，美國證券交易委員會（SEC）委員 Hester Peirce 呼籲重新審視了解你的客戶（KYC）與反洗錢（AML）監管方式。她認為，「數據越多越好」的做法會形成過大的信息堆，反而更難發現真正需要關注的問題。Peirce 表示，零知識證明可用於核驗合規情況，同時不必暴露個人數據。相關觀點由 CoinDesk 在其 X 賬號發布的洞察內容中引述。

ChainCatcher 消息，The Rollup 創始人 Andy 發文稱，據消息人士透露 SEC 正準備調整 KYC 要求，使使用者訪問鏈上代幣化證券時只需完成一次 KYC。此外，這位消息人士還表示，該安排將使不同鏈上交易場所與代幣化平台之間具備可組合性，使用者可借助基於零知識證明的身份系統，在多個場所拆分訂單並完成更多成交量。

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

ChainCatcher 消息，以太坊聯創 Vitalik Buterin 在第十二屆區塊鏈全球峰會上發表主旨演講表示，區塊鏈誕生之初本身是主要工具，雖有開放、中立、安全等特點，但不可擴展且完全透明，沒有隱私保護機制。之後，零知識證明帶來的隱私交易與可擴展驗證改變這一局面，並已從規劃成為實際 EIP，列入以太坊路線圖。全同態加密等技術也開始被應用，不可區分混淆未來也可能被應用在鏈上。隱私之外，區塊的並行構建與證明能讓極致可擴展性成為可能，行業思考也從數字資產轉變為數字資產加信息，從單純鏈上到用戶端、交易內存池、鏈上一整套流水線，以及從誰能發送什麼到誰能看到什麼。當下，區塊鏈已從單純賬本逐漸成為基於密碼學的安全計算網絡。隨著 AI 發展，將密碼學規則提供給 AI 進行自動形式化驗證，可大幅提升驗證效率，讓鏈承載更多可能性。

ChainCatcher 消息，Aptos Labs 宣布 Confidential APT 已在 Aptos 主網上線。餘額和轉帳金額在鏈上加密，驗證者檢查零知識證明以確認轉帳有效，而不查看具體金額。地址保持公開，該功能完全可選加入，實現公開驗證而不公開披露。

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 消息，GnosisDAO 批准區塊鏈網絡 Gnosis Chain 從獨立 Layer 1 網絡轉型為經零知識證明的 Ethereum Economic Zone（EEZ）Rollup，網絡將取消獨立驗證者集，並改由以太坊驗證者完成交易結算。該提案獲 123158 枚 GNO 支持、115 枚反對、151 枚棄權，投票涉及 54 名參與者，總參與量達 123425 枚 GNO，高於 75000 枚 GNO 的法定人數門檻。升級初步計劃於 2026 年末或 2027 年初啟動，具體取決於 EEZ 技術準備情況。升級後，Gnosis Chain 原生智能合約可在同一筆交易中調用以太坊並使用返回結果，同時接入以太坊主網資產和流動性。Gnosis Chain 將成為首個部署的 EEZ 實例，並保留現有應用、餘額和 xDAI 燃料代幣。

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）等技術的性能開銷。

ChainCatcher 消息，Cardano 生態錢包 SecondFi 表示，因錢包軟體加密缺陷導致約 1,610 萬枚 ADA 被盜，價值約 260 萬美元，平台將逐步關閉 SecondFi 和 Yoroi 錢包服務。此次事件影響 374 個錢包。SecondFi 表示，區塊鏈情報機構 Groom Lake 的獨立調查認定攻擊方為複雜外部行為者，並發現可能與朝鮮 Lazarus Group 相關的指標，但尚未確認歸因。SecondFi 正在開發基於零知識證明的恢復工具，以幫助受影響用戶恢復資產並限制需共享的信息。該工具仍在測試中，並將在計劃於 8 月發布前接受第三方審計。SecondFi 還在準備錢包導出功能，允許用戶將資產遷移至其他服務。平台未公布直接賠償計劃，也未說明是否將使用自有資金補償用戶。

ChainCatcher 消息，据 The Block 報導，以太坊隱私基礎設施項目 Aztec 宣布推出完整 v5 執行層（Execution Layer）Alpha 版本，帶來多項密碼學優化，旨在實現客戶端零知識證明（Client-side ZK Proving）在手機和消費級筆記本電腦上的秒級生成。Aztec 表示，v5 執行層透過優化零知識證明生成流程，降低了本地證明所需的計算負擔，使用戶無需依賴大型伺服器即可完成隱私交易證明。這一改進有望推動零知識技術進一步向大眾化應用發展。

ChainCatcher 消息，Project Eleven 推出新的零知識證明系統，為 BIP-361 擬議凍結的量子脆弱比特幣提供恢復方式，範圍包括 Satoshi Nakamoto 持有的比特幣。該方案利用量子計算機可破解橢圓曲線簽名、但無法破解現代錢包密鑰派生所用單向哈希的特性，使持有種子材料的真實所有者能夠證明控制權。基準測試顯示，Project Eleven 原型速度顯著快於此前方案，但該原型仍未審計且尚未完成，並需對區塊鏈規則進行存在爭議的修改後，才可保護鏈上現有比特幣。

ChainCatcher 消息，据 etoday 報導，韓國一級行政區京畿道官宣，將於 2026 年 8 月正式開展穩定幣概念驗證（PoC）項目，探索穩定幣落地地方貨幣、政府公共補貼、民生支付體系的可行性。首期測試將重點驗證三大核心技術：可編程支付、零知識證明隱私技術、穩定幣發行量與儲備資產實時匹配的儲備證明機制，完善穩定幣發行流通全流程技術驗證。若首輪測試進展順利，項目將在 10 至 12 月進入第二階段擴容測試，重點評估資金濫用防控、交易隱私保護、適配業務篩選，並收集居民與商戶實際使用反饋，為後續穩定幣地方規模化應用積累落地經驗。

ChainCatcher 消息，据官方消息，隱私公鏈項目 MOBLUS STRIP（MS）宣布完成 5000 萬美元的戰略融資，本輪融資由 Ventures 領投。据悉，此輪融資在經歷了為期六個月的技術盡職調查後順利交割，並且由於遭遇超額申購，該項目目前已正式啟動新一輪的機構融資。據悉，MOBLUS STRIP 是全球 Web3 產業生態聯盟 Crypto Oasis（迪拜加密谷）旗下的垂直領域項目，主要致力於開發全頻段隱私公鏈。該底層區塊鏈原生集成了零知識證明（ZKP）、環簽名和分佈式混幣協議，同時配備了五套閉環的去中心化應用解決方案，能夠在無需硬分叉的前提下，為任何兼容 EVM 的區塊鏈或企業系統提供安全保障。

ChainCatcher 消息，Vitalik Buterin 發文表示，其此前發起的 AI 匿名識別挑戰實驗已有勝者。該實驗中他於 2024 年以中文撰寫 EIP-7503（零知識蟲洞）修訂版，使用 Qwen 2.5 本地翻譯後手動修正，試圖隱藏作者身份。文中稱儘管散文風格被有效模糊，但 AI 通過檢測數學和算法解釋的獨特思維習慣（如具體數值示例和邏輯鏈條）成功識別，完全繞過其僅針對散文的混淆策略。

ChainCatcher 消息，以太坊聯合創始人 Vitalik Buterin 發文表示，以太坊基金會（Ethereum Foundation, EF）已宣布今年將預算削減約 40%，作為其財政轉型計劃的一部分。根據去年發布的資金管理政策，EF 正逐步從"支出型組織"轉向"長期捐贈基金（endowment-based）模式"，目標是將年支出比例從此前約 15% 逐步降至 2030 年後的約 5%。在此過程中，基金會強調將接受不可避免的人員與資源調整，並承認部分能力與經驗的流失。本輪重組中，EF 已減少約 54 名員工，約占整體團隊的 20%。Vitalik 表示，這些離職成員中許多人未來仍可能以外部形式繼續參與以太坊生態建設。與此同時，基金會將戰略重心轉向更「輕量化」的協議治理與開發路徑，包括推進"Strawmap"長期路線圖，覆蓋共識機制、隱私技術、帳戶模型與狀態結構等核心協議升級，並推動以太坊進入第三階段演進。在具體結構調整方面，EF 將弱化"多客戶端冗餘優先"模式，轉向更多基於專業化分工與 AI 輔助形式化驗證的開發方式；隱私與擴容研究團隊 PSE 將被重組，從探索型研發轉向更聚焦的工程落地；Devcon 等生態活動規模也將逐步縮減。此外，EF 未來將減少跨領域大型項目投入，更強調協議安全性與高價值改進，同時鼓勵更多創新工作由生態外部完成。儘管路徑更為精簡，但以太坊仍將持續強化其作為高抗審查、長期穩定協議的核心定位。

ChainCatcher 消息，据 The Block 報導，Consensys CEO Joseph Lubin 表示，以太坊有望在未來 3 至 5 年內發展為完全基於零知識證明（ZK Proof）的協議，這將不僅優化主鏈，還能增強以太坊與 Layer 2 的組合性。Joseph Lubin 稱他支持"Rollup-centric 路線圖"，認為通過強化 Layer 1、引入"Lean Ethereum"計劃以及推廣 ZK 證明，以太坊基礎層可以顯著升級。Lean Ethereum 旨在在保持主網高度去中心化的同時，實現每秒超 1 萬筆交易，並支持隱私與抗量子計算解決方案。在 Layer 2 方面，Joseph Lubin 指出 ZK 技術已在部分 L2 網絡實現即時證明，並計劃將此能力推廣至 Layer 1，最終過渡到多證明者支持的完全 ZK 基礎協議。例如 Consensys 開發的 Linea 鏈和 Gnosis 等項目，正在利用零知識證明實現跨網絡同步交易，從而有望消除橋接需求、統一碎片化流動性。Joseph Lubin 強調，Rollup 路線圖的初期"分化階段"旨在為 Layer 2 技術提供實驗空間，儘管短期內可能分散流動性，但為以太坊未來的無限擴容和技術迭代奠定基礎。他認為，部分 L2 技術將成為系統性重要組件，這一探索過程是必要的。此外，Joseph Lubin 回應了關於以太坊基金會（EF）近期人事變動和"第二基金會"傳聞，表示不會出現第二基金會，EF 將繼續專注核心協議開發、可用性與擴容以及機構合作，同時支持至少三個獨立團隊從 EF 分拆，聚焦協議、用戶體驗及機構拓展工作。

ChainCatcher 消息，Vitalik Buterin 更新了多項 CROPS AI 相關進展，並指出 " CROPS 以太坊接入層 " 與 " CROPS AI " 存在明顯交集。他表示，若能透過零知識證明方式對遠程大型語言模型進行付費調用，也可用於解決以太坊私有 RPC 讀取問題。與此同時，Deepseek v4 已發布，2-bit 量化版本可在 90 GB 內運行，但當前在 Apple 硬體上速度更快；消息應用 messa 已支持 Telegram Alpha 功能；模型運行工具 luceb 在運行密集型模型時展現更高效率；本地 AI 錄音工具 VoxTerm 仍在持續開發。Vitalik Buterin 還提到，面向特定應用微調的大型語言模型將有助於提升安全代碼編寫能力，以太坊相關場景也應有相應微調模型。