=无;Foundation 推出自动化 zkEVM 编译器以增强以太坊扩容安全性
Summary:
=无;Foundation 为以太坊虚拟机 （zkEVM） 创建了一个 1 类零知识编译器，以解决类似以太坊扩展解决方案中已识别的安全问题。在一次采访中，首席执行官Misha Komarov概述了该技术允许将高级编程代码自动编译到zk-SNARKS电路中。这种方法为交易和智能合约提供了直接的以太坊虚拟机兼容性。该基金会的方法使用其两年前的电路编译器从以太坊的 EVM 中自动执行 zkEVM 编译器。这确保了更好的安全性、高效的实施和对 EVM 更新的适应性。基金会于12月12日分享了其原型代码库和规范。
=无;Foundation 是一家专门从事零知识技术的公司，它推出了一种用于以太坊虚拟机 （zkEVM） 的新型 1 类零知识编译器。这一发展是为了应对类似的零知识驱动的以太坊扩展解决方案中已确定的安全挑战。在接受Cointelegraph的独家采访时，=nil的首席执行官兼联合创始人Misha Komarov;基金会强调，这项新开发的技术强调安全性，并有助于将高级编程代码自动编译为零知识简洁非交互式知识论证（zk-SNARKS）电路。该组织的 zkEVM 旨在与 evmone 同步，evmone 是以太坊根执行环境的 C++ 演绎版。
值得注意的特点是，应用程序的编码经过处理并捆绑到证明中，这些证明以类似于其 EVM 的格式呈现给以太坊。这种兼容性保证了增强的安全性和更快速的执行，因为它使用相同的字节码，从而消除了对冗长且成本密集型代码验证的需要。此外，这种方法为交易和智能合约提供了直接的以太坊虚拟机兼容性。
2023 年，业界推出了几款著名的 zkEVM。这些第 2 层协议旨在容纳大量交易并协助以太坊的智能合约操作。Consensys、Polygon、StarkWare 和 Matter Labs 等大公司推出了 ZK-rollup 解决方案，为去中心化应用程序、服务和网络用户提供高吞吐量和负担得起的价格。
科马罗夫解释说=无;Foundation 的方法以自动编译器为中心，将其与其他手动描绘电路的 zkEVM 区分开来。他批评现有的策略费力，过于复杂，并且容易受到人为错误的影响。在 Matter Labs 的 zkSync Era 主网中使用的 ZK 电路中发现健全性错误时，此问题就出现了。安全公司 ChainLight 发现了该漏洞，并于 2023 年 9 月从 Matter Labs 获得了 50,000 美元的美元硬币 （USDC） 奖励。该漏洞可能允许攻击者为执行不当的区块编造证据，而以太坊主网的智能合约验证器本应接受这些证据。
回顾最近的发现，科马罗夫透露，“Vitalik Buterin开始讨论对电路安全的担忧，比如电路中断的可能性。他继续说道，“经过进一步调查，很明显这些电路是手动编写的。人们花费数年时间开发它们，但从本质上讲，他们手动复制了 EVM 在其电路表示中的作用。
在Komarov看来，这种手动方法使代码审计变得复杂。在 zkSync 中检测到的 bug 就是此类潜在错误的一个示例。=nil 设计的解决方案;Foundation 使用其两年前的电路编译器从以太坊的 EVM 中自动执行编译器。科马罗夫坚持认为，这种方法确保了“电路的安全性与以太坊的原始实现相匹配”。
开发的解决方案还旨在灵活地进行与以太坊未来发展相一致的 EVM 更新，为 zkEVM 提供弹性编译器，由于其自动化设计，不需要大量时间和资源投资进行升级。因此，它使 zkEVM 能够在实施时采用最新的以太坊改进提案。该基金会于 12 月 12 日分享了其原型代码库和规范。
Published At
12/12/2023 6:00:00 PM
Disclaimer: Algoine does not endorse any content or product on this page. Readers should conduct their own research before taking any actions related to the asset, company, or any information in this article and assume full responsibility for their decisions. This article should not be considered as investment advice. Our news is prepared with AI support.
Do you suspect this content may be misleading, incomplete, or inappropriate in any way, requiring modification or removal?
We appreciate your report.