运行时验证在 MultiversX 上推出通用 ZK Rollup

总部位于伊利诺伊州的安全审计公司 Runtime Verification 采用 NASA 首创的形式验证方法来提高计算系统的安全性、可靠性和正确性，该公司正在推出 PI Squared，这是一种使用 MultiversX 区块链作为共识层的通用 ZK Rollup。

在 MultiversX 组织的 xDay 会议第三天的首次发布会上透露，PI Squared 将把验证计算声明简化为验证数学证明。这将通过通用证明检查器完成，作为定制（并行）ZK 电路实现。

随着区块链空间的指数级增长，黑客攻击和智能合约漏洞不断增加，从而需要更好的安全标准。因此，Runtime Verification 的基于 ZK rollup 的解决方案是消除这些阻碍采用的问题的关键工具，与主要用于提高第 1 层网络的可扩展性的替代方案不同。

由于与编程语言/虚拟机无关，它将使任何开发人员、用户和企业在其工作流程中利用 MultiversX 区块链的功能，轻松、无需信任地以编程方式验证正确性证明。

此举还使 MultiversX 生态系统成为初创公司和公司的主要候选者，这些初创公司和公司希望通过推出一个可访问的开发工具包来安全地部署高价值用例，以在设计阶段发现细微的错误和逻辑缺陷。

xDay活动在 Web3 领域掀起了新的增长浪潮，由将人工智能、金融科技、游戏等与世界上最强大、可扩展和安全的区块链架构连接起来的大规模合作伙伴关系推动。

关于运行时验证

过去 20 年来，运行时验证开创了软件开发的正式验证方法。它始于 NASA，并逐渐进入区块链领域，由于智能合约可组合性和区块链架构带来的复杂性不断增加，它可能是最需要的。

关于 MultiversX

一个高度可扩展、安全和去中心化的区块链网络，旨在为用户、企业、社会和新的元宇宙前沿提供全新的应用程序。