零知识证明（zero-knowledge proof, ZKP）是一个有用但较难理解的密码学工具，在近几十年的不断发展中，已经逐步从纯理论过渡到了实际应用，在区块链、安全通信、电子投票等方面均有着广泛的应用。本文将在不涉及复杂数学表示和理论描述的情况下，用简单通俗的语句来介绍零知识证明。
零知识证明，可以通俗的理解为在不透露秘密内容的情况下，去证明其他用户知道这个秘密，它是迄今为止最强大的工具之一，其由Shafi Goldwasser，Silvio Micali和Charles Rachoff在1985年的论文《The knowledge complexity of interactive proof-systems》中提出。那么什么是零知识证明呢？首先，考虑一下以下场景：
阿里巴巴洞穴实验是一个常用的零知识证明的例子，在例子中，阿里巴巴和四十大盗分别位于洞穴的入口处，二人都声称自己知道大门的密码，但是都不想直接告诉对方。为了证明自己知道这个秘密，一人进入洞穴，一人在门口等待，并让其根据自己的指令行进，通过对方是否出现在指定的出口来判断其是否知道洞穴大门的密码。阿里巴巴洞穴实验的完整过程如图1所示
当前，零知识证明被更广泛的研究应用于区块链领域，例如公有链上的匿名交易、智能合约中的数据隐私保护、区块链扩容等，更多零知识证明应用层面的相关介绍将在后续的推文中详细介绍，敬请期待！
关于我们
杭州量安科技有限公司（以下简称量安科技）成立于 2022年，由之江实验室孵化，专注于后量子密码、高性能国密和数据安全领域，为政务、金融、大型企业、军工、医疗等领域提供新一代密码产品和服务。量安科技成立之初即获得数十家知名投资机构青睐，目前已完成三轮融资，共计数千万元，并获杭州市余杭区顶尖人才政策支持。同时，公司牵头主持密码相关国家重点研发计划，并多次获得行业内重要奖项，包括2022 年全球数字贸易博览会先锋奖银奖（年度最高奖）、2022 第三届中国数字经济科技大会年度最具竞争力产品创新奖、2022 第三届中国数字经济科技大会年度数据安全金盾奖等。
往期回顾