1. 引言

本文主要摘自 RISC0（RISC ZERO） 创始人Brian Retford在Compiler and Composability in ZKP 上的演讲内容。

2. 何为ZKVM？

3. 密集型计算加速策略

4. MLIR

参考资料

[1] Compiler and Composability in ZKP