Zero-Knowledge Proofs/零知识证明

零知识证明zero-knowledge proofs，简写为ZKPs，最初由 S.Goldwasser、S.Micali 及 C.Rackoff 在 1985 年的论文《互动证明系统的知识复杂性》提出，指的是证明者能够在不向验证者提供任何有用信息的情况下，使验证者相信某个论断是正确的。

最早使用此技术在区块链的是Zcash，使用了zk-SNARK（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge）来证明满足有效的交易条件，且不用泄露发送者、接收者、交易金额等资讯。以太坊（Ethereum）上的智慧合约目前也已经可以运用zk-SNARKs（算法），其可使矿工们不用重新计算交易，只要对方提得出证明。它实现了zk-SNARKs作为拜占庭升级的一部分。人们可能在无需透露个人信息的情况下达成金融协议、创建在线账户或验证身份。但目前遇到的瓶颈在于运算时间太长、运算量太大。