零知识证明分享_北京_12.pdf

零知识证明算法之zkSNARKs 李康 中科院计算技术研究所 零知识证明是什么？ 零知识证明是指⼀⽅(证明者) 向另⼀⽅(验证者)证明⼀个陈述 是正确的，⽽⽆需透露除该陈述是正确外的任何信息 零知识证明分类 • 交互式：证明者与验证者需进⾏多轮通信 • ⾮交互式：证明者按照协议向验证者发送⼀次消息，验证 者根据协议即可验证。以 zkSNARKs 算法最为成熟实⽤， zcash 采⽤的便是 zkS