分享百科

零知识虚拟机

视频 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 存在安全漏洞，需要进一步改进以确保其安全性。
71
0
0
6天前
视频 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 在这方面有所改进。
73
0
0
6天前
视频 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）共享相同的底层指令实现。
68
0
0
6天前
第46期 利用 zkWASM 技术链接浏览器端应用
320
0
0
2024-03-01 13:00
登链社区