RISC-V

以太坊正准备将其架构从EVM替换为RISC-V，以解决zkEVM中EVM的瓶颈问题。RISC-V具有精简指令集、成熟的LLVM生态系统和正式的SAIL规范，更适合ZK-first的未来。迁移分三个阶段进行：RISC-V作为预编译替换、双VM共存和EVM在RISC-V内部重新实现，生态系统将迎来开发者使用Rust/Go/Python库，用户获得更便宜的证明，最终实现大约100倍的效率提升。

一直对zkVM比较感兴趣。zkVM将零知识证明技术应用带入一个新的时代。几年前，应用零知识证明技术需要理解复杂的零知识证明算法，并且需要将证明业务逻辑描述成“电路”。zkVM将这些复杂的逻辑封装。基于zkVM，业务开发人员可以采用熟悉的高级语言轻松完成证明业务的描述。目前市面上zkVM层出不穷。先看

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

本文通过对比比特币的UTXO模型和以太坊的账户模型，深入解析了Nervos CKB的Cell模型设计。Cell兼具UTXO的离散状态和可编程性，其Lock Script是基于RISC-V的完整程序，可实现自定义加密验证，无需硬分叉。存储方面采用1 CKB = 1 Byte的容量模型，强制支付存储租金，避免了以太坊状态膨胀问题。作者分享了在CKB本地开发环境中的实践体验，指出Cell模型将所有权定义为程序而非数据库记录，提供了真正的状态并行性和可组合性。

本文深入介绍了Rialo区块链的证明携带计算（proof-carrying computation）模型。

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

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

本文提出了一种软件开发的新范式：使用AI代理直接编写RISC-V汇编代码，并在Lean证明助手中进行形式化验证，确保zkVM的guest程序无bug。作者认为，由于RISC-V汇编易于推理，且AI代理能自动编写代码和证明，这种方法比使用Rust、C等高级语言更可靠，避免了编译器优化带来的不确定性和未定义行为。文章比较了CompCert、CakeML、Rust等方案，并指出汇编+Lean是范畴论意义上的最终形式。

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

本文深入剖析了Succinct Labs与Nethermind对SP1 Hypercube RISC-V zkVM的形式化验证工作。作者详细解释了验证的范围、假设、公理以及各个芯片的定理，并指出尽管验证了51个操作码的正确性，但存在多个未覆盖或错误的情况。通过测试发现了JALR指令的bug（未清除最低位），并利用LLM审计发现了SLTI指令的空证明和加载指令的错误规范。文章最后对形式化验证的沟通和验证提出了建议，强调需要明确的规范、可重现性和更多的验证。

文章介绍了Jolt，这是一种开源的、基于RISC-V的零知识虚拟机（zkVM），它具有快速、安全和易于使用的特点。Jolt通过一种新颖的SNARK设计方法，将交易执行与验证分离，从而提高了效率和性能，并简化了开发者的使用流程，最终目标是使得零知识证明技术像加密和数字签名一样，成为数字基础设施的核心组成部分。

本文分析了以太坊向零知识证明（ZKP）技术转型的战略意义，旨在通过将验证模式从“执行区块”转变为“验证证明”，实现L1层每秒1Gigagas的吞吐量，并在此基础上构建一个拥有每秒1Teragas总吞吐量的L2生态系统。文章重点介绍了实时证明（Real-Time Proving）技术突破、以太坊基金会的战略调整，以及RISC-V架构在提升效率和简化协议中的作用，并探讨了该转型对以太坊生态系统的影响。

本文介绍了Vitalik Buterin提出的以太坊两项深度改造：采用二进制树（EIP-7864）和将EVM替换为RISC-V。这些改变旨在显著降低ZK证明成本，提高效率，并为以太坊的长期发展和客户端证明奠定基础，包括更短的证明、高效哈希、页面局部共置和状态过期管理。

本文探讨了在zkVM中，RISC-V的32个寄存器限制导致大量spill操作，增加证明成本的问题。作者通过让Claude修改LLVM，生成了支持1024个寄存器的RISC-V变体（RISCV-X），实验表明可消除函数内spill，减少约14%的trace单元，但调用约定导致的跨函数spill仍然存在。与powdr的crush方案对比，后者通过无限寄存器和帧分离更好地解决了此问题。结论：扩展寄存器对内部寄存器压力有效，但无法解决调用约定问题；AI辅助实验效率高。

本文是对SP1（一个零知识虚拟机）的全面安全审计指南，重点介绍了SP1的架构、安全注意事项和审计方法，SP1使用户能够证明任意Rust程序的执行，审计需要关注 untrusted host 和 trusted guest 之间的边界，需要对输入进行严格的校验，以防止恶意输入破坏系统，同时，还需要进行外部验证。