文档摘要

6.5 零知识证明与隐私计算前沿 本节摘要：零知识证明让证明者说服验证者"某命题为真"，却不泄露命题之外的任何信息——完整性、可靠性、零知识三条性质构成这台机器的三根轴。本节用离散对数的交互协议亲手跑一遍证明流程，比较 SNARK 与 STARK 的取舍，并把同态加密与安全多方计算一并纳入"数据可用不可见"的版图。 证明我知道，但不告诉你是什么 传统证明的产出是"论证过程"，读者看完也就知道了全部。 会员。《6.5 零知识证明与隐私计算前沿》收录于灏天文库文集《密码学基础：从古典密码到现代加密》，原作者/来源：灏天文库，整理自「灏天文库」，提供技术教程、实践指南与问题解决方案，支持在线阅读、全文检索与知识沉淀，助力开发者系统化学习。本站整理收录，版权归原作者/开源协议所有。

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

登录 注册

---

作者与出处

原作者： 灏天文库

来源：灏天文库

原文： https://aiknowledge.cn/collection/536-%E5%AF%86%E7%A0%81%E5%AD%A6%E5%9F%BA%E7%A1%80%E4%BB%8E%E5%8F%A4%E5%85%B8%E5%AF%86%E7%A0%81%E5%88%B0%E7%8E%B0%E4%BB%A3%E5%8A%A0%E5%AF%86

整理： 灏天文库整理

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