dajuguan / halo2-in-action

Learn halo2 by examples

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

halo2-in-action

Learn halo2 by examples Halo2官方文档以及0xparc的系列视频教程已经很好了,但是对于初学者还是不够线性,刚开始就引入了chip等一些高级概念,对于初学Halo2不是特别友好;同时最新的0.3版本Halo2与视频采用的版本有些API已经不太一致,如FieldExt等。 本文打算从电路的角度出发,针对电路开发中遇到的实际问题(仅有单个门电路=>包含自定义门电路=>Chip=>具有动态Row的电路=>电路优化=>包含单列lookup的电路=>包含多列lookup),从小白的视角,,由浅入深学习和理解Halo2相关概念。

目录

  1. Simple example
  2. custom gates & chip
  3. gates with dynamic rows
  4. circuit optimization
  5. lookup
  6. multi-row lookup

About

Learn halo2 by examples


Languages

Language:Rust 100.0%