# SECBIT 安比实验室作者 - 初识「零知识」与「证明」 - SECBIT Blog (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**:: [[SECBIT 安比实验室作者]] **Full Title**:: 初识「零知识」与「证明」 - SECBIT Blog **Category**:: #articles #readwise/articles **Category Icon**:: 📰 **Document Tags**:: #zero-knowledge-proof **URL**:: [sec-bit.github.io](https://sec-bit.github.io/blog/2019/07/31/zero-knowledge-and-proof/) **Host**:: [[sec-bit.github.io]] **Highlighted**:: [[2020-02-01]] **Created**:: [[2022-09-26]] ## Highlights - 零知识证明是打通链上数据与链下计算的关键技术，也是实现链上数据隐私保护的重要途径 - 证明不仅仅是一个严格推理，而且凝结了似乎很难机械化的创造性思维。证明中蕴含了大量的「知识」，每一次的突破，都将我们的认知提升到一个新的高度。 - [3] 马丁, 戴维斯, 张卜天. 逻辑的引擎[M]. 湖南科学技术出版社, 2012. - [6] Pierce, Benjamin C., et al. “Software foundations.” - [8] Goldwasser, Shafi, Silvio Micali, and Charles Rackoff. “The knowledge complexity of interactive proof systems.” *SIAM Journal on computing* 18.1 (1989): 186-208. - [9] zkPoD: 区块链，零知识证明与形式化验证，实现无中介、零信任的公平交易. 安比实验室. 2019. - [11] Gennaro, Rosario, et al. “Quadratic span programs and succinct NIZKs without PCPs.” Annual International Conference on the Theory and Applications of Cryptographic Techniques. Springer Berlin, Heidelberg, 2013. - [12] Ben-Sasson, Eli, et al. “Scalable, transparent, and post-quantum secure computational integrity.” *IACR Cryptology ePrint Archive* 2018 (2018): 46. - [13] Bünz, Benedikt, et al. “Bulletproofs: Short proofs for confidential transactions and more.” 2018 IEEE Symposium on Security and Privacy (SP). IEEE, 2018.