零知识虚拟机

zkForge训练营 - 关于zkVM的一切

视频 AI 总结： 该视频主要介绍了零知识虚拟机（ZKVM）的概念、优势、组成部分以及工作流程，并对比了 ZKVM 与 ZKEVM 的区别。ZKVM 是一种允许在不泄露隐私数据的前提下验证计算的虚拟机，它通过将高级代码编译成低级代码，然后生成算术电路来实现。视频还讨论了证明系统中的关键组件，如承诺方案、交互式证明和算术化过程，并简要介绍了如何开始使用 ZKVM。 关键信息： 1. ZKVM 是一种分层架构，构建在 CPU 参数之上，可以复用已有的编译流程。 2. ZKVM 的优势包括无需手动定义约束、易于审计以及遵循标准开发流程。 3. ZKVM 的主要组成部分包括编译器、虚拟机、证明者和验证者。 4. ZKVM 的工作流程是将高级代码编译成低级代码，然后将低级代码约束化并生成算术电路。 5. 证明系统中的关键组件包括承诺方案、交互式证明和算术化过程。 6. ZKVM 与 ZKEVM 的区别在于，ZKVM 是通用零知识虚拟机，而 ZKEVM 专门为以太坊智能合约优化。 7. Resero 是一种 ZKVM，它使用 RISC-V 指令集，并通过 extendable linkable format (ELF) 二进制文件执行代码。 8. Resero 的架构包括主机代码、访客代码和收据，收据包含程序的结果以及证明。

717 0 0 2025-10-19 09:49

理论到代码：构建突破性的 zkVM Jolt

视频 AI 总结： 该视频讨论了零知识虚拟机（ZKVM）及其在区块链技术中的应用。ZKVM 是一种特殊的 SNARK，它允许开发者在不了解底层 SNARK 机制的情况下，编写程序并生成程序正确执行的证明。视频重点介绍了 Jolt，一种新型 ZKVM 设计，旨在提高性能、简化实现，并增强安全性。嘉宾们探讨了 ZKVM 的历史、SNARK 设计与计算机芯片架构之间的相似性，以及将理论研究转化为实际工程的挑战。 关键信息： * **ZKVM 的核心作用：** 允许在区块链上进行更复杂的计算，同时保持安全性和去中心化。 * **SNARK 的本质：** 一种密码学协议，允许不受信任的实体生成简短的证明，证明它们正确地完成了计算。 * **Jolt 的优势：** 提高了性能，简化了实现，并增强了安全性，降低了开发者编写错误程序的风险。 * **RISC-V 指令集：** Jolt 使用 RISC-V 指令集，因为它相对较小，易于管理，并且支持多种高级编程语言。 * **Sumcheck 协议：** Jolt 基于 Sumcheck 协议，该协议可以最小化 SNARK 中密码学的使用，从而提高效率。 * **Lookup 参数：** Jolt 使用 Lookup 参数，允许证明者以任何方式计算答案，而验证者只关心答案是否正确，从而提高了效率。 * **性能改进：** 通过更好的协议、更好的工程和专用硬件，可以进一步提高 ZKVM 的性能。 * **潜在应用：** 验证编译、去中心化社交媒体的算法透明度、去中心化应用商店等。 * **安全隐患：** 目前的 SNARK 存在安全漏洞，需要进一步改进以确保其安全性。

1302 0 0 2025-07-08 17:55

Jolt、zkVM 和加速区块链 | Justin Thaler

视频 AI 总结： 该视频介绍了 Jolt，一种新的零知识虚拟机（ZKVM），它允许证明者证明计算机程序的正确执行。Jolt 基于 RISC-V CPU，通过重复执行 CPU 的取指、解码、执行周期来实现。ZKVM 的优势在于其对开发者友好，无需了解复杂的 SNARK 或电路知识，并简化了形式验证过程。Jolt 的优势在于其更高的性能，更快的证明速度，以及更容易地修改虚拟机，例如添加新的指令集。ZKVM 的目标是普及零知识证明技术，让更多人可以在不了解底层复杂性的情况下使用 SNARK。虽然 ZKVM 在性能方面存在挑战，但 Jolt 在性能上有所提升，并有望在未来达到一个可以接受的水平，从而推动 ZKVM 的广泛应用。 关键信息： * Jolt 是一种新的 ZKVM，用于证明计算机程序的正确执行。 * Jolt 基于 RISC-V CPU，通过模拟 CPU 的取指、解码、执行周期来实现。 * ZKVM 的优势包括对开发者友好、简化形式验证。 * Jolt 的优势在于性能更高、证明速度更快、易于修改虚拟机。 * ZKVM 的目标是普及零知识证明技术。 * 性能是 ZKVM 的主要挑战，但 Jolt 在这方面有所改进。

1303 0 0 2025-07-08 17:38

Lasso + Jolt：工程概览

视频 AI 总结： 该视频介绍了 A16Z Crypto 团队开发的 LASSO 和 JOLT 技术，它们旨在提升零知识虚拟机（ZKVM）的效率和可访问性。LASSO 是一种更快的查找论证证明器，适用于大规模表格的查找，而 JOLT 则基于 LASSO，为构建 ZKVM 提供了一种新范式，可应用于 RISC-V、WASM 或 EVM 等指令集。核心目标是降低证明成本，简化开发体验，并提高可审计性。 关键信息： * LASSO 是一种快速的查找论证证明器，适用于大规模表格（例如 2 的 128 次方个条目）的查找，其成本与查找次数成正比，而不是表格大小。 * JOLT 基于 LASSO，为构建 ZKVM 提供了一种新范式，可应用于整个指令集（如 RISC-V、WASM、EVM）。 * JOLT 具有更快的证明器，更易于开发和审计。 * 视频详细解释了多线性扩展（MLE）在 LASSO 和 JOLT 中的应用，并展示了如何使用 Rust 实现 Jolt VM 的指令和子表。 * Jolt 通过将复杂操作分解为更小的子表查找，显著降低了计算复杂度。 * Jolt 的目标是创建一个共享的审计服务，并允许不同的虚拟机（如 EVM 和 Wasm）共享相同的底层指令实现。

1242 0 0 2025-07-08 17:37

第46期 利用 zkWASM 技术链接浏览器端应用

【第46期】利用 zkWASM 技术链接浏览器端应用 **大纲** 1. 什么是零知识虚拟机 2. 零知识虚拟机的bytecode选择 3. 如何集成零知识虚拟机到web2 浏览器应用程序 **主讲人** Sinka - [Delphinuslab ZKWASM](https://twitter.com/DelphinusLab) **视频回放** [B 站](https://www.bilibili.com/video/BV1Vm4y1K7aK/) | [Youtube](https://www.youtube.com/watch?v=elI9theRKtw) >直播时间：2023年9月6日

2504 0 0 2024-03-01 13:00