Boojum：zkSync的高性能去中心化STARK证明系统

最新推荐文章于 2024-09-01 18:25:58 发布

mutourend

最新推荐文章于 2024-09-01 18:25:58 发布

阅读量1.2k

点赞数

分类专栏：零知识证明文章标签：零知识证明

本文链接：https://blog.csdn.net/mutourend/article/details/131770996

版权

341 篇文章 141 订阅

订阅专栏

1. 引言

2023年7月17日zkSync官方twitter Say hello to Boojum宣称在不regenesis的情况下，将zkSync Era迁移至Boojum证明系统。

Boojum为STARK证明系统（Plonk+FRI），开源代码见：

其特点为：

采用PLONK形式的算术表示：使得ZK电路相对易于开发、审计、维护和升级。
采用FRI多项式承诺方案：基于Goldilocks域 $p=2^{64}-2^{32}+1$ 。
提供了自动并行化witness generation，且witness generation函数定义简洁，如|(a, b)| a + b。witness generation用时在考虑Prover性能时不可忽略。
易于扩展：用户可以多种方式添加自定义门类型，如如增加一些特别的多项式，或复用某些“通用列”。根据自定义电路的扩展接口，可自动化生成prover、verifier、recursive verifier。从而提供高效的开发流程。
单一技术栈：以Rust语言来表示。对于GPU prover的重计算部分，采用CUDA C++编写，但提供了Rust bindings。
性能卓越，Prover仅要求16GB RAM，从而促进未来Prover的去中心化。

Celer Network的https://github.com/celer-network/zk-benchmark中，专门对SHA256做了benchmark，具体场景为：

定义一个电路，用于计算 $N=2^k$ 个字节数据的sha256，其中：
- 一个隐私输入 $x$ ：其中 $\text{len}(x)=N=2^k$
- 一个公开输入： $h=\text{sha256}(x)$

func benchmark(x, h):
    assert(sha256(x) == h)

在测试报告中，对如下方案进行了对比：【本轮测试未启用GPU加速】

其中不同方案的参数为：

框架	算术表示	承诺方案	域	其它配置
Circom + snarkjs/rapicsnark	R1CS	Groth16	BN254 Scalar域
gnark	R1CS	Groth16	BN254 Scalar域
arkworks	R1CS	Groth16	BN254 Scalar域
Halo2(KZG)	Plonkish	KZG	BN254 Scalar域
Plonky2	Plonk	FRI	Goldilocks域	blowup factor = 8proof of work bits = 16query rounds = 28num_of_wires = 60 num_routed_wires = 60
Starky	AIR	FRI	Goldilocks域	blowup factor = 2proof of work bits = 10query rounds = 90
Boojum	Plonk	FRI	Goldilocks域

当取N=64KB时，各方案的约束数为：

测试机器有2种：

对比结果为：