计算模型

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

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