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