證明系統

ChainCatcher 消息，針對社區成員 Daniel Wang 提出的 L2 網絡 Stage 2 階段的命名標籤 #BattleTested，以太坊聯合創始人 Vitalik 於 X 平台發文回應稱："這是一個很好的提醒：第二階段並不是唯一影響安全性的因素，底層證明系統的質量也同樣重要。這是一套簡化的數學模型，展示了何時進入第二階段：每個安全理事會成員有 10% 的獨立"打破"機會；我們將活動失敗（拒絕簽名或密鑰不可訪問）和安全失敗（簽錯東西或密鑰被黑）視為同等可能；目標：在上述假設下最小化協議崩潰的可能性。階段 0 安全理事會是 4/7，階段 1 是 6/8；請注意，這些假設非常不完善。實際上，安理會成員有"共同模式故障"：他們可能串通一氣，或者都被脅迫或以相同方式黑客攻擊，等等。這使得 0 階段和 1 階段都比模型中顯示的更不安全，因此比模型暗示的更早進入 2 階段是最佳選擇。此外，請注意，通過將證明系統本身變成多個獨立系統的多重簽名，可以大大降低證明系統崩潰的概率（這就是我在此前提案中提倡的）。我懷疑前幾年的所有第二階段部署都將是這樣。考慮到這些，這是圖表。X 軸是證明系統崩潰的概率。Y 軸是協議崩潰的概率。隨著證明系統質量的提高，最佳階段從階段 0 轉移到階段 1，然後從階段 1 轉移到階段 2。使用階段 0 質量的證明系統進行階段 2 是最差的。簡而言之，@l2beat 理想情況下應展示證明系統審計和成熟度指標（最好是證明系統實現而非整個匯總，以便我們可以重用）以及階段。"

ChainCatcher 消息，幣安儲備金證明系統發佈兩年：覆蓋 34 種代幣，資產超 1200 億美元。

ChainCatcher 消息，据 Cointelegraph 報導，21Shares 已整合 Chainlink 的儲備證明 (PoR) 系統，為其核心以太坊 ETF "CETH" 提供更高的透明度。Chainlink Labs 首席商務官 Johann Eid 在一份共同聲明中表示，新整合所帶來的透明度可能會進一步推動數字資產的採用："21Shares 在支持數字資產的採用方面發揮著重要作用，而 Chainlink 平台正在幫助金融機構實現全球範圍內無縫代幣化的願景。"據悉，PoR 系統將提供實時儲備數據和儲備歷史記錄，以可公開驗證的方式提供，直接從 Coinbase 交易所提取數據。

ChainCatcher 消息，据 Coindesk 報導，Polygon Labs 發佈了最新版本的零知識證明系統 Plonky3，該系統比之前的 Plonky2 更加靈活。零知識證明系統是區塊鏈生態系統的核心組件，負責生成證明以總結鏈下交易，並將資訊反饋到主鏈上。Plonky3 現已作為開源軟體發佈，採用 MIT 和 Apache 許可證。Polygon 計劃將所有證明系統整合到一個代碼庫和框架下，以提升未來技術發展。

ChainCatcher 消息，据官方推特，Ola 於近日在其證明系統中支持了 Poseidon2 hash。相比原始的 Poseidon hash，得到了40%+ 的 prover 性能提升。據悉，Poseidon2 是一個和 Poseidon hash 保持同級別安全，同時又具備更好的 zk-friendly 特性的新 hash 算法。由於 zk 友好的 hash 算法廣泛應用於Ola的證明系統中，包括 private state tree, public state tree， 驗簽過程，plonky2 遞歸過程等，在對Horizen Labs論文中Poseidon2 hash的算法和實現進行深入研究後，Ola 將其正式集成到了證明系統中。據官方透露，Ola ZKVM 內測網將於今年 Q4 初上線，將於近期公布更多開發細節。

ChainCatcher 消息，Polygon 官方旗下零知識證明團隊 Polygon Zero 發文稱，Matter Labs 最近發布的名為 Boojum 證明系統中包含大量從 Plonky2 庫的性能關鍵組件複製粘貼的源代碼，沒有注明原始版權或創作作者。除了直接複製的代碼之外，Boojum 與 Plonky2 極其相似。它使用相同的並行重複策略來提高小範圍內的穩健性，使用類似的自定義門來有效地進行遞歸驗證算術，以及Polygon Zero 成員 Ulrich Haböck 開發的相同查找參數。此外，Polygon Zero 還表示，Matter Labs 的創始人聲稱 Boojum 比 Plonky2 快 10 倍以上，是一種誤導性聲明。

ChainCatcher 消息，Optimism 生態開發人員正開發 OP Stack 的故障證明系統，包括防錯程序（FPP）、防故障虛擬機（FPVM）、Dispute Game 等組件。此外，FPP 和 FPVM 的分離使得相同的操作程序既可以在 FPVM 中運行，也可以在 ZKVM 中運行，以幫助 OP Stack ZKP 實現基於 ZK 的有效性證明，並為不同網絡之間的低延遲跨鏈橋提供支持。（來源鏈接）

ChainCatcher 消息，zkSync Era 宣布推出新證明系統升級 Boojum，將協助網絡過渡到 STARK 支持的證明系統。由於 Boojum 證明者僅需要 16 GB RAM，團隊表示 Boojum 是證明者實現去中心化的重要步驟。此外，Boojum 還將對 zkSync Era 定序器提供性能補充。（來源鏈接）

ChainCatcher 消息，零知識證明初創公司 RISC Zero 宣布與模組化 L2 協議 Layer N 聯合推出零知識欺詐證明系統。該系統透過將 Layer N 的執行環境移植到 RISC Zero 的 zk 虛擬機上，以實現提升區塊鏈性能的同時，保證區塊鏈的可靠性和安全性。未來，zkVM 還將實現與其他執行層的兼容，如 EVM、SVM 和 WASM 等。（來源鏈接）

ChainCatcher 消息，据 CoinDesk 報導，Robin Linus、Tino Steffens、Lukas George 等成立一個名為 ZeroSync 協會（ZeroSync Association）的瑞士非營利組織，將帶頭開發比特幣證明系統，構建具有比特幣隱私、互操作性和可擴展性的未來。ZeroSync 基於 STARK 證明，為了實現比特幣證明，使用由 StarkWare 創建的 Cairo 語言。據悉，ZeroSync 將分三個連續階段推出，分別為標頭鏈證明、假設有效鏈證明和全鏈證明，目前已經完成了前兩個原型。ZeroSync Toolkit 還將為比特幣開發人員提供強大工具，以將零知識證明應用於他們自己的產品和服務。（來源鏈接）

ChainCatcher 消息，幣安宣布已經在其儲備證明（PoR）系統中添加了另外 11 種代幣，包括 MASK、ENJ、WRX、GRT、CHR、CRV、1INCH、CVP、HFT、SSV 和 DOGE，目前通過幣安的 PoR 系統驗證的 24 項資產總額現已超過 630 美元，幣安儲備超過 630 億美元。幣安表示，用戶資金始終以 1:1 的比例抵押，外加額外準備金。（來源鏈接）

ChainCatcher 消息，加密交易平台 BitMEX 宣布推出責任證明（PoL）系統，該系統支持存款人在加密貨幣交易平台的總負債資產負債表中自行驗證其負債。據悉，自我驗證過程可以在沒有第三方審計員的情況下進行。由於帳戶餘額被隨機分成 Merkle 樹的多個葉子，客戶隱私將得到保護。準備金和負債快照分別在每週的週二和週四發布。（來源鏈接）

ChainCatcher 消息，零知識證明技術開發公司 StarkWare 在推特上宣布，已使用 STARK 證明系統語言程式語言 Cairo 寫出編寫完成 ZK-EVM，將於明天邀請以太坊聯合創始人 Vitalik Buterin、ZK-STARK 合作發明者 Eli Ben-Sasson、StarkWare 成員 Shahar Papini 等人進行 Twitter Space。據悉，Cairo 為圖靈完備的零知識證明系統語言，尚處在早期開發階段。（來源鏈接）