1. 引言 SP1为SuccictLab开源的，基于Plonky3构建的zkVM。 开源代码见： https://github.com/succinctlabs/sp1（Rust） 当前暂未实现onchain-verifier，但会采用标准的STARK->SNARK verifier。 SP1 zkVM基于的指令集为： riscv32im（与RISC Zero的指令集一样） 在SP1

1. 引言 本文基本结构为： 编程语言背景介绍RISC-V虚拟机作为zkVM电路为何选择RISC-V？ 2. 编程语言背景介绍 高级编程语言不专门针对某个架构，其便于人类编写。高级编程语言代码，经编译器编译后，会生成针对专门某架构的汇编代码，汇编代码是供机器使用的。 也可以直接编写汇编代码： 以上汇编代码示例中： 蓝色框表示：所编码的数据和指令。黄色框：为对蓝色框的反汇编。黑色框：

1. 引言 主要参考Yuncong Zhang等人2023年论文《Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines》。 在设计zkvm时，需检查其所有组件的功能一致性，包括： instruction fetcher寄存器文件算术化逻辑单元内存 其中最具挑战的技术协议为Memory

1. 引言 本文主要参考： 2023年9月ZKSummit10 Wei Dai @1k(x) & Terry Chung @1k(x)分享视频 ZK10: Analysis of zkVM Designs - Wei Dai & Terry Chung 当前有各种zkVM，其设计思想各有不同，且各有取舍，本文重点对现有各zkVM设计进行分析。 zkVMs寒武纪大爆发： 2020年之前的z