Runtime Verification在MultiversX上推出通用ZK rollup PI Squared

总部位于伊利诺伊州的安全审计公司 Runtime Verification 在 MultiversX 组织的 xDay 会议的第三天期间推出了通用零知识 (ZK) Rollup “PI Squared”。PI Squared 利用 MultiversX 区块链作为其共识层。

PI Squared 旨在通过将重点从传统方法转移到数学证明来彻底改变计算声明的验证方式。根据与CryptoSlate分享的新闻稿，这将通过通用证明检查器来实现，该证明检查器作为定制并行 ZK 实现。

ZK rollup 是一种区块链扩展解决方案，它使用加密证明捆绑和验证链下多个交易，以提高效率并降低主区块链的成本。

运行时验证以应用 NASA 开发的形式验证方法来增强计算系统的安全性和可靠性而闻名。运行时验证现在将其专业知识引入区块链领域，其中智能合约可组合性和区块链架构的复杂性需要严格的安全措施。

随着区块链空间的快速扩张，黑客事件和智能合约漏洞也相应增加。这凸显了对更高安全标准的需求。Runtime Verification 的基于 ZK rollup 的解决方案旨在解决这些问题，因为它不仅仅是增强第 1 层网络的可扩展性。

根据运行时验证，PI Squared 是一种编程语言和虚拟机 (VM) 无关的软件。这使得开发人员、用户和企业可以在其工作流程中使用 MultiversX 区块链。PI Squared 将使他们能够毫不费力、无需信任地以编程方式验证证明的正确性，声称提供了一个更安全、更可靠的区块链生态系统。

通过提供一个可以在设计阶段检测细微错误和逻辑缺陷的开发工具包，MultiversX旨在成为一个对希望确保基于区块链的项目完整性的企业有吸引力的平台。