halo2
翻译说明
术语表
1.
相关概念
1.1.
证明系统
1.2.
PLONK化算术化
1.3.
芯片
1.4.
小工具
2.
用户手册
2.1.
开发者工具
2.2.
简单例子
2.3.
查找表
2.4.
小工具
2.5.
小技巧
3.
设计
3.1.
证明系统
3.1.1.
查找证明
3.1.2.
置换证明
3.1.3.
电路承诺
3.1.4.
消退证明
3.1.5.
多点打开证明
3.1.6.
内积证明
3.1.7.
与其他工作的比较
3.2.
协议描述
3.3.
实现
3.3.1.
证明
3.3.2.
域
3.4.
小工具
3.4.1.
SHA-256
3.4.1.1.
16-比特表芯片
4.
背景资料
4.1.
域
4.2.
多项式
4.3.
群
4.4.
椭圆曲线
4.5.
使用内积参数的多项式承诺
4.6.
递归
Light (default)
Rust
Coal
Navy
Ayu
The halo2 Book
组件
在这一章节,我们记录一些 Halo 2 中常用 gadget 和 chip 的设计样例。
注意:这些 gadget 和它们的实现方式都没有经过 review ,不应用于生产环境中。