RISC-V

文章探讨了以太坊协议的简化，旨在提高其可扩展性和弹性。核心观点包括简化共识层（如采用3-slot finality）、用更简单高效的虚拟机（如RISC-V）替代EVM，以及在协议的不同部分之间共享标准，如统一的擦除码、序列化格式和树结构。通过这些简化措施，以太坊有望降低开发和维护成本，减少漏洞风险，并实现更广泛的社区参与。

这篇文章探讨了在区块链世界中，SNARKs（简洁非交互式知识论证）的安全性和正式验证的重要性，尤其是在Jolt这一用于RISC-V的zkVM的上下文中。文章概述了Jolt推出以来在性能和功能上的提升，并详细描述了为实现正式验证所采取的具体步骤与未来计划。作者强调了当前工具链中存在的风险，呼吁在广泛使用之前确保其安全性。

本文介绍了a16z的Jolt项目，这是一个新的SNARK设计方法，已实现比当前技术快2倍，并探讨了其性能、架构以及未来发展。文中详细比较了Jolt与其他zkVM的性能优缺点，尤其是在指令集架构和承诺方案方面的不同选择及其对项目的影响。

本文介绍了Veridise与RISC Zero在zkVM安全方面的合作，强调通过自动化零知识验证工具Picus实现持续的安全验证，确保RISC Zero开发的zkVM具备正式的安全保证。文中详细描述了三种关键漏洞及其修复方法，展现了如何通过深度合作提高零知识系统的安全标准。

本文深入探讨了 RISC Zero 的 zkVM 证明系统设计，重点介绍了 RISC-V zkVM 的架构及其优化策略。

ZKsync 发布了 Airbender，这是一个高性能的通用 ZK 证明器，旨在满足互操作性、去中心化和可扩展性的实际需求。Airbender 是最快的开源 RISC-V zkVM，其性能优于其他领先系统，例如在单个 GPU 上证明以太坊区块的时间少于 35 秒，并通过利用 ZKsync OS，能够在大约 17 秒内证明平均以太坊区块的执行。

本文提出了一项激进的想法，即用 RISC-V 替代 EVM 作为智能合约的虚拟机语言，旨在提高以太坊执行层的效率和简洁性，解决主要扩展瓶颈。现有的EVM合约和新的RISC-V合约可以互相兼容，开发者仍然可以使用Solidity和Vyper编写智能合约。

本文介绍了a16z加密团队发布的Jolt zkVM的初始实现及其性能和可用性的改进，包括验证成本的显著降低，集成折叠技术以提升多项式承诺方案和简单性。此外，文章详细描述了Jolt的各项新特性和未来的发展方向，包括对RISC-V的支持、开源贡献者所做的改进与正式验证的进展。

Vitalik Buterin 提议用 RISC-V 指令集替换以太坊虚拟机（EVM），以提高性能并简化零知识证明（ZK）的实现。此举旨在为以太坊的长期可扩展性提供更高效的途径，尽管短期内对以太坊的开发路线图和价值主张没有直接影响。RISC-V 作为一种更易于 ZK-EVM 和通用 ZK 虚拟机证明的指令集，有望在未来提升以太坊的性能。

本文介绍了如何在本地环境中搭建PolkaVM的开发环境，并使用Rust语言编写智能合约。PolkaVM兼容EVM且架构更优，利用Substrate框架的强大功能，为Web3开发者提供了一个有吸引力的选择。文章提供了详细的步骤，包括运行substrate节点、eth-rpc节点，以及如何编译和部署Rust智能合约。

本文档是一个关于 zkVM（零知识虚拟机）的精选列表，zkVM 是一种允许在不泄露隐私数据的前提下进行计算的技术。该列表包含 zkVM 项目、技术细节、性能基准、相关论文、资源、教程和工具，旨在为开发者、研究人员和对零知识证明技术感兴趣的受众提供有价值的参考。

本文介绍了零知识虚拟机（zkVMs）的概念，zkVMs 利用零知识证明（ZKPs）来验证在特定指令集架构上执行的计算的正确性。文章回顾了zkVMs的基本原理，并讨论了多个对zkVMs的设计和发展产生重大影响的项目，包括vnTinyRAM、Cairo、RISC Zero zkVM、Jolt等，并且 zkSecurity 正在开发 zkVM 的形式化验证框架。

本文详细介绍了Jolt zkVM 的工作原理，它是一个为 RISC-V 架构设计的零知识虚拟机，由 a16z 开发，并采用 Lasso 查找参数来证明 VM 执行的正确性，文章详细解释了指令查找、离线内存检查和 Rank-1 约束系统 (R1CS) 三个主要组件，以及它们如何协同工作以确保 VM 执行的正确性。

本文分析了多种虚拟机/指令集架构（VM/ISA）在以太坊长期发展中的优劣势，包括EVM、RISC-V、MIPS、WASM、eBPF、CairoVM、Valida和PetraVM，并从设计简洁性、执行性能、生态系统、工具、智能合约开发体验以及ZK友好性等方面进行评估，最终作者倾向于通过 WASM 进入自定义 RISC-V 扩展的优化路径。

zkSecurity 团队与 a16z 合作，对 Jolt zkVM 进行了深入研究，发现了多个严重的安全漏洞，如执行跟踪验证、输出检查和内存布局约束等方面的问题。这些漏洞可能允许恶意证明者绕过验证。Jolt 团队已经修复了这些问题, 并通过这次合作显示了对 zkVM 进行安全审计的重要性。