Halo2
Proof systems
statements
relation
Polynomial Constraints
Chips
Gadgets
Region
Advice values
計算途中の値
Halo 2ではprivate inputと合わせてwitnessと呼称している
PLONKish Arithmetization
PLONKish circuits
proving key, verification key
Chips
table, lookup
Floor Planner
Mock Prover
run内部でFloorPlannerの synthesize が実行される