證明器

ChainCatcher 消息，据 The Block 報導，StarkWare 已在 Starknet 主網部署其下一代開源 S-two 證明器，該公司稱其為目前生產環境中最快且最具隱私保護能力的證明系統。該升級替代了網絡此前的證明組件，現為每個區塊生成有效性證明，將證明時間縮短、驗證成本降低，同時在不犧牲去信任化的前提下提高吞吐量和可擴展性。S-two（"STARK Two"的縮寫）生成零知識證明的速度比之前系統快 10 倍，通過降低證明成本和增加區塊容量，使實時交易引擎、零知識機器學習推理等此前不經濟的工作負載成為可能。

ChainCatcher 消息，Starknet 在 X 平台宣布，擬於 2025 年 4 月上線 Stwo 證明器，預計比當前的 Starknet 證明器效率高出約 940 倍。

ChainCatcher 消息，据 CoinDesk 報導，StarkWare 正在構建名為 Stwo 的新加密證明器。團隊表示，新證明器將帶來更快的驗證效率，從而減少延遲和交易費用。任何用戶都可以運行該證明器，其代碼庫將供任何有興趣嘗試或實施基於 STARK 的系統的人使用。

ChainCatcher 消息，Polygon Labs 宣布與 Toposware 合作開發了新的 Type 1 zkEVM 證明器。據悉，Type 1 zkEVM 證明器允許任何與以太坊 EVM 標準兼容的網絡成為由零知識證明支持的第 2 層網絡，並連接到 Polygon 更廣泛的網絡生態系統。Type 1 zkEVM 證明器甚至能夠為以太坊主網區塊生成這些 ZK 證明，每筆交易的平均成本為 0.002-0.003 美元。Type 1 證明器是開源的，可在 GitHub 上獲取，並獲得 MIT 和 Apache 2.0 的許可。

ChainCatcher 消息，StarkWare 宣布 StoneProver （ 原為 STARK Prover）已開源，其團隊在 Starknet 峰會上對 Stone Prover 進行了實時代碼審查。此前消息，StarkWare 稱 StoneProve 開源後開發人員將能夠在未經許可的情況下獨立地審查、利用 Stone Prover 並在其基礎上進行構建。StarkWare 還表示，開源 Prover 是 Starknet 去中心化的重要一步。