RISC-V

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

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

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

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

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

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

本文介绍了SP1 zkVM的设计原理，重点分析了zkVM如何执行用户程序，并生成零知识证明。文章详细解释了zkVM的编译器、指令集架构、以及证明系统的核心代码实现，帮助读者理解这一前沿技术的运作机制。

EVM 变 RISC-V？聊聊 RISC-V 的前世今生和 Web3 领域的应用