1. 引言 本文主要摘自 RISC0(RISC ZERO) 创始人Brian Retford在Compiler and Composability in ZKP 上的演讲内容。 2. 何为ZKVM? 3. 密集型计算加速策略 4. MLIR 参考资料 [1] Compiler and Composability in ZKP