文档摘要

5.4 零知识证明：不亮底牌的自证 零知识证明（ZKP）是证明者让验证者确信某陈述为真、却不泄露陈述之外的任何信息的协议，需同时满足完备性（真陈述总能说服人）、可靠性（假陈述几乎无法蒙混）与零知识性（验证者学不到额外信息）。工程主线是把计算编译成电路，再压缩成短证明（zk-SNARKs）或抗量子的透明证明（zk-STARKs）。本节用洞穴传说与两个可运行的协议复现三性质，再拆现代流水线。 会员。《5.4 零知识证明：不亮底牌的自证（zk-SNARKs 与 zk-STARKs）》收录于灏天文库文集《区块链与密码学：共识、匿名与隐私保护》，原作者/来源：灏天文库，整理自「灏天文库」，提供技术教程、实践指南与问题解决方案，支持在线阅读、全文检索与知识沉淀，助力开发者系统化学习。

该文档为会员专享，请先登录或注册后再查看

登录 注册

---

作者与出处

原作者： 灏天文库

来源：灏天文库

原文： https://aiknowledge.cn/collection/525-%E5%8C%BA%E5%9D%97%E9%93%BE%E4%B8%8E%E5%AF%86%E7%A0%81%E5%AD%A6%E5%85%B1%E8%AF%86%E5%8C%BF%E5%90%8D%E4%B8%8E%E9%9A%90%E7%A7%81%E4%BF%9D%E6%8A%A4

整理： 灏天文库整理

由灏天文库平台收录，内容或由平台用户上传，仅供学习交流