zkVM

zk 技术堆栈有哪些技术可用，介绍每个层级的示例工具/技术

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

文章介绍了Jolt，一个新的SNARK设计方法，其在性能和可扩展性上优于现有zkVM，速度提升可达2倍。Jolt通过采用sum-check协议和多变量多项式来解决当前zkVM设计的复杂性和低效问题，旨在提升SNARK的开发体验，降低错误概率，并简化扩展工作。

本文介绍了两项新技术——Lasso和Jolt，它们通过改善SNARK设计，提高了开发者体验和审计能力，显著提升了计算性能。Lasso通过承诺更少更小的值来降低证明成本，而Jolt则为zkVMs提供了一种新框架，从而推动Web3应用的构建与扩展。

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

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

本文讨论了零知识虚拟机（zkVM）在安全性和性能方面面临的重大挑战，并提出了一系列分阶段的安全和性能目标，以指导zkVM的开发与进步。尽管zkVM具有 democratize SNARKs 的潜力，但目前仍存在高复杂度、错误和性能慢的问题，需要数年时间才能实现基本目标。

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

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

本文深入探讨了零知识证明（ZKP）的不同应用，包括ZK支付、ZK硬件加速和zkVMs，强调了如何通过ZK技术提升区块链交易的隐私性和效率。文章详细介绍了ZK支付中的私密交易机制、使用特定硬件加速证明生成的优势，以及zkVM的通用性和实现原理，展现了零知识技术的广泛应用潜力。

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

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

该报告详细分析了零知识证明（ZKP）技术的发展，重点介绍了zkVM和zkCoprocessor在以太坊及更广泛区块链领域的应用。报告深入探讨了Brevis Network的产品和技术，包括Pico zkVM, Pico Prism，ZK Data Coprocessor等，并分析了其在DeFi、RWA、AI等领域的应用，以及其性能，市场竞争，潜在风险和未来发展方向。

本文详细分析了零知识证明技术在区块链扩展解决方案中的应用，特别是 zkVM（零知识虚拟机）和 zkEVM（零知识以太坊虚拟机）之间的区别与联系。文章探讨了这两种技术的架构差异、实施挑战及其在去中心化金融（DeFi）和传统行业中的实际应用，指出如何通过这些技术提高交易的可扩展性、安全性和隐私性。

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