登录 后可观看高清视频

zkForge训练营 - 关于zkVM的一切

12次播放
16小时前

视频 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 的架构包括主机代码、访客代码和收据,收据包含程序的结果以及证明。