Polygon Labs 合作开发了一种新型零知识（ZK）证明，即悲观证明。

悲观证明使用 SP1（由 Succinct Labs 创建的 ZK 虚拟机 (zkVM)）开发，它将确保没有任何一条链可以损害 AggLayer 网络中其他链的存款。

在接受 Cointelegraph 采访时，Polygon 发言人详细阐述了 SP1 的悲观证明将如何防止坏人破坏系统。

"悲观证明通过保证每个链都如实生成其新状态，并通过 ZK 证明或共识机制进行验证，从而确保跨链安全性。它还能确保任何链提取的代币都不会多于存入的代币，这是由链级会计执行的。未来，当 AggLayer 支持非 ZK 链时，设计将保持不变。

相关链接 Polygon Labs 联合创始人 Sandeep Nailwal 担任新的 ZK 职务

当被问及 SP1 与 Rust 和 Plonky3 的整合如何帮助开发者时，Polygon 发言人告诉 Cointelegraph：

"Plonky3 是 ZK 开发人员用来构建新证明系统、新 zkVM 等的工具包，而 SP1 是基于 Plonky3 构建的开源通用 zkVM，可简化 ZK 开发。SP1 可以验证标准 Rust（或任何 LLVM 编译的语言）的执行，这意味着开发人员无需编写带有自定义 ZK 电路的程序。这将大大加快 ZK 的开发时间"。

在讨论 SP1 和 Plonky3 的未来计划时，Polygon 发言人告诉 Cointelegraph：

"SP1是开源具有集体价值的一个例子。这也是 Succinct Labs 与 Plonky3 合作加快 SP1 开发的原因。Plonky3 由 Polygon 实验室的研究人员构建，其开源性质允许任何人对这项技术进行迭代、构建或贡献。"

在最近的一次采访中，Cointelegraph 就 AggLayer 和 ZK 技术的影响采访了 Polygon 联合创始人布伦丹-法默（Brendan Farmer）。

Farmer 在一篇 Mirror 帖子中将 AggLayer 描述为 "一种由桩节点操作的去中心化协议"，之后他继续深入探讨了 "聚合区块链理论 "的基本原理。

关于ZK技术，法默表示，他认为 "在未来几十年里，如何处理金融隐私将变得非常重要"。