电路设计Halo2是基于PLONK算法的零知识证明框架，使用Rust语言。在Halo2中要证明你掌握斐波那契数列，例如Fib(10)=55。则需要将你的每一步计算过程(秘密的)罗列出来。并由程序(电路)来进行验证，生成证明。在PLONK算法里，我们使用表格来进行计算跟踪，例如：abc112123235358581381321132134

电路设计Halo2是基于PLONK算法的零知识证明框架，使用Rust语言。在Halo2中要证明你掌握斐波那契数列，例如Fib(10)=55。则需要将你的每一步计算过程(秘密的)罗列出来。并由程序(电路)来进行验证，生成证明。在PLONK算法里，我们使用表格来进行计算跟踪，例如：abr112123

Halo2简介[[Halo2]]是使用[[Rust]]语言开发，基于[[PLANK算法]]的，一款开源交互式([[STARKs]])，[[零知识证明(ZKP)]]的[[证明系统]]。GitHub仓库地址：halo2不同于普通的开发框架，Halo2中的功能开发称为电路(Circuit)开发，电路开发使用表格来设计并记录运算，并包含一系列的约束来验证

角色flowchartLR证明者-->|输入/输出/证明|验证者