ZKP Part 2：Paradigms

本部分主要介绍ZKP底层的一些概念，包括信息论证明系统和密码学编译器之类的