登录后可观看高清视频
ZK白板系列 - 模块二:构建 SNARK
5次播放
9小时前
在本段视频中,讲解了如何构建一个简洁非交互式知识论证(SNARK)的基本组件和流程。视频的核心内容包括:
-
SNARK的构建框架:构建SNARK的过程主要结合了两种概念:功能承诺方案和交互式Oracle证明(IOP)。功能承诺方案允许证明者承诺一个函数,而交互式Oracle证明则用于验证证明者是否知道某个满足特定条件的证据。
-
关键论据和信息:
- 计算模型:使用算术电路作为计算模型,电路通过模P的加法和乘法门进行运算,输出有限域中的元素。
- 预处理步骤:在SNARK的构建中,首先需要对电路进行预处理,生成公用参数供证明者和验证者使用。
- 证明过程:证明者通过承诺某个函数并生成证明,验证者则通过查询和验证这些承诺来决定是否接受证明。
- 功能承诺的性质:功能承诺需要满足绑定性(即一旦承诺,证明者不能更改承诺内容)和可选的隐藏性(即承诺内容对验证者不可见)。
- 多项式承诺方案:视频特别强调了多项式承诺方案(PCS),它允许证明者承诺一个多项式,并在后续阶段证明该多项式在特定点的值。
- KZG承诺方案:KZG方案是一个具体的多项式承诺方案,具有高效的承诺和验证过程,但需要信任的设置。
- 交互式Oracle证明的结构:交互式Oracle证明通过随机值的交互来确保证明的安全性,验证者在承诺后选择随机值,防止证明者伪造证明。
视频最后提到,下一段将深入探讨如何构建多项式交互式Oracle证明,并结合功能承诺方案形成最终的SNARK。