1. 引言
2012年论文《Practical Verified Computation with Streaming Interactive Proofs》
代码实现参见：
- https://github.com/pepper-project/pepper
- https://github.com/pepper-project/pequin
