# 李辰星​​ - 区块链学习笔记 (1)：零知识证明的江湖 - 知乎 (Highlights) ![rw-book-cover|256](https://readwise-assets.s3.amazonaws.com/static/images/article3.5c705a01b476.png) ## Metadata **Cover**:: https://readwise-assets.s3.amazonaws.com/static/images/article3.5c705a01b476.png **Source**:: #from/readwise **Zettel**:: #zettel/fleeting **Status**:: #x **Authors**:: [[李辰星​​]] **Full Title**:: 区块链学习笔记 (1)：零知识证明的江湖 - 知乎 **Category**:: #articles #readwise/articles **Category Icon**:: 📰 **Document Tags**:: #zero-knowledge-proof **URL**:: [zhuanlan.zhihu.com](https://zhuanlan.zhihu.com/p/31651393) **Host**:: [[zhuanlan.zhihu.com]] **Highlighted**:: [[2020-02-04]] **Created**:: [[2022-09-26]] ## 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.