证明系统

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 为图灵完备的零知识证明系统语言，尚处在早期开发阶段。（来源链接）

链捕手消息，Polygon 宣布已将零知识证明系统 Plonky2 和 Starky 开源，两者获得 MIT 和 Apache2 双重许可。 据悉，Plonky2 和 Starky 可在以太坊（和其他区块链）上用作 STARK 证明器，Plonky2 提供快速证明和递归证明的功能。（来源链接）