总部位于伊利诺伊州的安全审计公司 Runtime Verification 采用 NASA 首创的形式验证方法来提高计算系统的安全性、可靠性和正确性，该公司正在推出 PI Squared，这是一种使用 MultiversX 区块链作为共识层的通用 ZK Rollup。 在 MultiversX 组织的 xDay 会议第三天的首次发布会上透露，PI Squared 将把验证计算声明简化为验证数学证明。这将通过通用证明检查器完成，作为定制（并行）ZK 电路实现。 随着区块链空间的指数级增长，黑客攻击和智能合约漏洞不断增加，从而需要更好的安全标准。因此，Runtime Verification 的基于 ZK rollup 的解决方案是消除这些阻碍采用的问题的关键工具，与主要用于提高第 1 层网络的可扩展性的替代方案不同。 由于与编程语言/虚拟机无关，它将使任何开发人员、用户和企业在其工作流程中利用 MultiversX 区块链的功能，轻松、无需信任地以编程方式验证正确性证明。 此举还使 MultiversX 生态系统成为初创公司和公司的主要候选者，这些初创公司和公司希望通过推出一个可访问的开发工具包来安全地部署高价值用例，以在设计阶段发现细微的错误和逻辑缺陷。   活动在 Web3 领域掀起了新的增长浪潮，由将人工智能、金融科技、游戏等与世界上最强大、可扩展和安全的区块链架构连接起来的大规模合作伙伴关系推动。 xDay 关于运行时验证 过去 20 年来，运行时验证开创了软件开发的正式验证方法。它始于 NASA，并逐渐进入区块链领域，由于智能合约可组合性和区块链架构带来的复杂性不断增加，它可能是最需要的。 关于 MultiversX 一个高度可扩展、安全和去中心化的区块链网络，旨在为用户、企业、社会和新的元宇宙前沿提供全新的应用程序。

This is a PR written by or for the company mentioned within it. The writer has a vested interest in the company and products mentioned within.

Scale across the Multiverse. Build new apps, new economies, new worlds.

該音頻是用故事的原始語言製作的！

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

About Author

註釋

標籤

这篇文章刊登在

Related Stories

比特币 UTXO 模型，为独特的生态系统提供动力

HackerNoon Decoded: The Top 10 Countries Where HackerNoon Is the Most Active

看不见的层面：为什么用户访谈是不可替代的资产

释放人工智能的力量。前沿技术的系统评价：摘要与介绍

比特币 UTXO 模型，为独特的生态系统提供动力

HackerNoon Decoded: The Top 10 Countries Where HackerNoon Is the Most Active

看不见的层面：为什么用户访谈是不可替代的资产

释放人工智能的力量。前沿技术的系统评价：摘要与介绍

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps