README
摘要
前言
1.
简介
2.
证明的媒介
3.
多项式的非交互式零知识
3.1.
证明多项式的知识
3.2.
因式分解
3.3.
模糊求值
3.3.1.
同态加密
3.3.2.
模运算
3.3.3.
强同态加密
3.3.4.
加密多项式
3.4.
限制多项式
3.5.
零知识
3.6.
非交互性
3.6.1.
加密值的乘法
3.6.2.
可信任参与方设置
3.6.3.
信任多个参与方中的一个
3.7.
多项式知识的简洁非交互式论证
3.7.1.
结论
4.
通用零知识证明
4.1.
计算
4.2.
单一运算
4.2.1.
多项式的算术性质
4.3.
执行运算
4.4.
运算证明
4.5.
多个运算
4.5.1.
多项式插值
4.5.2.
多运算多项式
4.6.
变量多项式
4.6.1.
单变量操作数多项式
4.6.2.
多变量操作数多项式
4.7.
结构属性
4.7.1.
常数系数
4.7.2.
无成本加法
4.7.3.
加法、减法和除法
4.8.
示例计算
4.9.
可验证计算协议
4.9.1.
操作数和输出的不可互换性
4.9.2.
跨操作数的变量一致性
4.9.3.
变量和变量一致性多项式的非延展性
4.9.4.
变量值一致性检查的优化
4.10.
约束
4.11.
公开输入和一
4.12.
计算的零知识证明
4.13.
zk-SNARK 协议
5.
结论
参考文献
Light
Rust
Coal
Navy
Ayu
zk-SNARK 为什么以及如何工作
通用零知识证明
我们已经用一个简单而充分的例子铺平了道路，它包含了大部分 zk-SNARK 的内在机制，现在我们继续完善该方案，使它能执行零知识程序。