可证明的无状态 ZK-EVM

这里包含了一个使用 Plonky2 实现的无状态、递归 ZK-EVM 客户端的实现。它目前支持完整的 Merkle-Patricia Trie，并实现了所有 Cancun 操作码。

性能

此实现能够提供交易级别的证明，然后递归地聚合到区块证明中。这意味着区块的证明可以有效地分布在一组计算机中。由于这些证明使用 Plonky2，它们受 CPU 和内存限制。通过横向扩展交易来提高系统性能的能力可以显著提高总体性能。目前正在进行端到端工作流程，以支持针对实时 evm 网络的这种证明模式。

此外，实现本身高度优化，可以在一般可用的云实例上提供快速证明时间，并且不需要 GPU 或特殊硬件。

以太坊兼容性

此模块的目标是最初提供完整的以太坊兼容性。它目前完全兼容 Cancun HF。

审计

对 ZK-EVM 的审计将从 2023 年 11 月 27 日起开始。请参阅 Audit RC1 Milestone。审计开始时，此 README 将更新正确的分支和哈希。

文档/规范

当前的规范位于 /docs/arithmetization 目录中，最新的 PDF 文件可在 此处 获取。未来几个月将提供更多文档。

许可证

版权所有 (c) 2023 PT Services DMCC

许可证下之一

• Apache许可证第2版，(LICENSE-APACHE 或 https://apache.ac.cn/licenses/LICENSE-2.0)
• MIT许可证 (LICENSE-MIT 或 http://opensource.org/licenses/MIT)

根据您的选择。

此项目的SPDX许可证标识符为 MIT OR Apache-2.0。

贡献

除非您明确声明，否则任何您有意提交以包含在作品中的贡献，根据Apache-2.0许可证定义，应双重许可如上所述，没有任何附加条款或条件。