# 李辰星​​ - 区块链学习笔记 (1)：零知识证明的江湖 - 知乎 (Highlights) ![rw-book-cover|256](https://readwise-assets.s3.amazonaws.com/static/images/article3.5c705a01b476.png) ## Highlights - 第一类协议中，在零知识证明协议部署前，需要一台机器生成一些初始参数，这些参数将在每一次证明与验证中被用到。参数生成后，参数生成算法运行中使用的所有数据必须销毁，否则整个协议将不安全。协议的安全性依赖于一台机器的数据销毁，那么最简单粗暴的想法就是在所有人的见证下毁掉这台机器。 - [4] Parno, Bryan, et al. "Pinocchio: Nearly practical verifiable computation." Security and Privacy (SP), 2013 IEEE Symposium on. IEEE, 2013. - [6] Giacomelli, Irene, Jesper Madsen, and Claudio Orlandi. "ZKBoo: Faster Zero-Knowledge for Boolean Circuits." IACR Cryptology ePrint Archive 2016 (2016): 163.