【零知识证明】Groth16

一 相关介绍

1 Groth16

Groth16是一种用于零知识证明系统中的简洁非交互式知识论证(SNARK)协议，是一种表示计算的方式，在算术电路上操作，使用加法和乘法门。使用配对友好的椭圆曲线来实现高效的证明生成和验证。

Groth16的主要特点包括:

--1. 简洁性:生成的证明非常小，通常只有几百字节。

--2. 高效验证:验证过程计算量小，速度快。

--3. 非交互式:证明者只需发送一个证明，无需与验证者进行多轮交互。

--4. 通用性:可以用于各种计算问题的零知识证明。

--5. 安全性:基于一些标准的密码学假设。

2 Powers of Tau

Powers of Tau是零知识证明系统中的一个重要概念，特别是在zk-SNARKs（零知识简洁非交互式知识论证）中。它是一个多方计算（MPC）仪式，用于生成zk-SNARK系统的初始可信设置。旨在创建一个通用的加密"材料",可以用于后续的零知识证明。这个名字来源于希腊字母τ(tau)，在这个过程中，计算τ的不同幂次(powers)。主要特点包括:

--1.安全性：只要参与仪式的至少一方是诚实的,整个系统就是安全的。

--2.可累积：多个参与者可以依次贡献自己的随机性。

--3.通用性：生成的结构可以用于多个不同的电路和证明。

二 Groth16设置

Phase 1 

1 启动一个新的Powers of Tau仪式

使用snarkjs工具创建Powers of Tau仪式的初始文件

snarkjs powersoftau new bn128 12 ceremoy_0000.ptau -v

• snarkjs: 用于生成和验证零知识证明的JavaScript库。
• powersoftau: snarkjs中的一个子命令，用于执行Powers of Tau仪式。
• new: 表示我们要创建一个新的Powers of Tau仪式。
• bn128: 指定使用的椭圆曲线类型。BN128(也称为BN254)是一种常用于零知识证明的配对友好曲线。
• 12: 多项式的最大幂次，决定了电路的最大大小。2^12 = 4096，意味着这个设置最多可以支持4096个约束。
• ceremoy_0000.ptau: 输出文件的名称，将数字附加到仪式词的末尾是传统做法，这样就可以跟踪哪些参与者为这个仪式文件贡献了随机性。。
• -v: 表示"verbose"模式，会输出更详细的信息。

2 贡献阶段

多个参与者依次对ceremony文件进行贡献，其步骤为：

--1 下载当前的ceremony文件

--2 添加自己的随机性

--3 上传修改后的文件

snarkjs powersoftau contribute ceremoy_0000.ptau ceremoy_0001.ptau -v

输入随机数或者文字完成后，删除 ceremoy_0000.ptau ，继续提供随机性。

snarkjs powersoftau contribute ceremoy_0001.ptau ceremoy_0002.ptau -v

…… 

3 验证贡献

为确保该文件贡献随机性之前，仪式文件没有以任何方式被破坏，获取到仪式文件时可以验证完整性。

snarkjs powersoftau verify ceremoy_0001.ptau

打印出[INFO] snarkJS: Powers of Tau Ok!，则意味着仪式文件正确。

4 最终文件

文件随机性贡献完成后，生成最终文件：

snarkjs powersoftau prepare phase2 ceremoy_0002.ptau ceremoy_final.ptau -v

验证最后的生成文件：

snarkjs powersoftau verify ceremoy_final.ptau  

Phase 2

针对特定电路的设置过程

1 准备电路

首先，准备好想要证明的具体电路，MIMC5哈希电路为例。

pragma circom 2.0.0;

// y = (x + k + c) ^ 5
// 输入信号x, k ，常量c
// base = x + k + c
// base2 = base * base
// base4 = base2 * base2
// base5 = base *base4
// 输出 y

template MIMC5(){
    signal input x;
    signal input k;
    signal output y;

    var nRounds = 10;
    
    signal lastOutput[nRounds + 1];
    signal base[nRounds];
    signal base2[nRounds];
    signal base4[nRounds];

    var c[nRounds] = [
        0,
        108628498564530119400845211344465696619893215909509348621394122327540108068425,
        97918840674612490766260259917122040983322146107578572117133348745818718934238,
        37080288021783359382631708635481166595643657187023815953993753410034258263757,
        73837458841121413400840196415753404416336899430626860296277530990112251638375,
        14175455430092778326653438909353750763438980656611040223157546655455727686661,
        85678297215287832106125129972569780982362546197552607669873965012182303538395,
        37616746480726794097353991145016865625300747892258420087145463257639176364046,
        96407012155233017139473625567546330731938257866046827176139377315631058571917,
        35426948207998228380140847549475429358133108689610886291038432834368020538887
    ];

    lastOutput[0] <== x;
    
    for(var i = 0; i < nRounds; i++){
        base[i] <== lastOutput[i] + k + c[i];
        base2[i] <== base[i] * base[i];
        base4[i] <== base2[i] * base2[i];
        lastOutput[i+1] <== base[i] + base4[i]; 
    }
}

component main = MIMC5();

2 生成zkey文件

编译电路，生成circuit.r1cs文件并导入Phase 1（即之前运行的Powers of Tau命令）的输出

circom circuit.circom --r1cs

 启动Phase 2设置，使用编译后的电路和Phase 1输出的ptau文件生成一个初始的zkey文件。

snarkjs groth16 setup circuit.r1cs ceremoy_final.ptau setup_0000.zkey

zkey文件包含了特定于circuit.circom电路的证明和验证密钥

3 贡献随机性

与Phase 1类似，多方可以为zkey文件贡献随机性，以增加安全性。（可以重复多次）

snarkjs zkey contribute setup_0000.zkey setup_final.zkey

4 验证设置

完成贡献后，和Phase 1类似，需要验证最终的zkey文件以确保其正确性。

snarkjs zkey verify circuit.r1cs ceremoy_final.ptau setup_final.zkey

Phase 3

1 生成证明

先为电路添加输入x和k的值：

# 新建一个input.json文件
{
    "x" : "156345341",
    "k" : "28965346"
}

再编译电路为WebAssembly形式，用于生成证明。

circom circuit.circom --wasm

使用编译后的电路、输入数据和最终的zkey文件来生成证明。

snarkjs groth16 fullprove input.json circuit_js/circuit.wasm setup_final.zkey proof.json public.json

2 导出Solidity验证器合约

创建一个Solidity合约，可以在以太坊上验证证明

snarkjs zkey export solidityverifier setup_final.zkey Verifier.sol

3 生成验证调用数据

生成可以用来调用验证器合约的数据。

snarkjs zkey export soliditycalldata public.json proof.json

 ["0x05fe0d95b181b07d383313d4b458ff17ac2ab3e7ae8433fa4e3c5869875d653c", "0x28e17a78038c2cd2685f9c536c2be7423dd6e23f7e2061b6e27c5071b3f58c36"],[["0x0e5e1552b27bbd45dbf8bbfbcaee1bdc71fa6a9c016654dff27a1beea7b2f57d", "0x03160fb7373a40993cbc74d121ccd75f4910c543c75c65934f93fdde1a16cb6a"],["0x221e506d697c36f9d1bf5b2f12dd1b83986a3f479360f31faf17e215f982681f", "0x227a10c7abfa2c835fe9a3c42e63dc2a67dadb8556942f42e913c943d3e96e75"]],["0x095e86f10679e5f4d96220678e98dbb8cbbd6ec613568ae372e955d088304dce", "0x03c00703bd4dc41af417765c411c84d0a61f9d76b82e22a3215f9889f5edab42"],["0x0000000000000000000000000000000000000000000000000000000000000000"]

4 在合约中验证:

最后，可以将生成的验证器合约部署到以太坊，并使用生成的调用数据来验证证明。

这个过程的美妙之处在于，一旦Phase 1和Phase 2完成，就可以重复使用setup_final.zkey文件来为相同电路的不同输入生成多个证明，而不需要重新进行可信设置。