登录后可观看高清视频

ZK白板系列 - 模块二:构建 SNARK

zeroknowledgefm zeroknowledgefm
5次播放
9小时前

在本段视频中,讲解了如何构建一个简洁非交互式知识论证(SNARK)的基本组件和流程。视频的核心内容包括:

  1. SNARK的构建框架:构建SNARK的过程主要结合了两种概念:功能承诺方案和交互式Oracle证明(IOP)。功能承诺方案允许证明者承诺一个函数,而交互式Oracle证明则用于验证证明者是否知道某个满足特定条件的证据。

  2. 关键论据和信息

    • 计算模型:使用算术电路作为计算模型,电路通过模P的加法和乘法门进行运算,输出有限域中的元素。
    • 预处理步骤:在SNARK的构建中,首先需要对电路进行预处理,生成公用参数供证明者和验证者使用。
    • 证明过程:证明者通过承诺某个函数并生成证明,验证者则通过查询和验证这些承诺来决定是否接受证明。
    • 功能承诺的性质:功能承诺需要满足绑定性(即一旦承诺,证明者不能更改承诺内容)和可选的隐藏性(即承诺内容对验证者不可见)。
    • 多项式承诺方案:视频特别强调了多项式承诺方案(PCS),它允许证明者承诺一个多项式,并在后续阶段证明该多项式在特定点的值。
    • KZG承诺方案:KZG方案是一个具体的多项式承诺方案,具有高效的承诺和验证过程,但需要信任的设置。
    • 交互式Oracle证明的结构:交互式Oracle证明通过随机值的交互来确保证明的安全性,验证者在承诺后选择随机值,防止证明者伪造证明。

视频最后提到,下一段将深入探讨如何构建多项式交互式Oracle证明,并结合功能承诺方案形成最终的SNARK。

密码学  SNARK  功能承诺  交互式Oracle证明  计算模型  多项式承诺方案