登录 后可观看高清视频

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

a16z Crypto a16z Crypto
14次播放
14小时前

视频 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 存在安全漏洞,需要进一步改进以确保其安全性。
零知识虚拟机  zkVM  SNARK  Jolt  区块链  密码学