generate circuit-info - Githubissues

zkmove / halo2-verifier.move

A set of tooling of halo2 circuits verification in Move environments

Apache License 2.0

16 stars 4 forks source link

Closed nanne007 closed 9 months ago

nanne007 commented 10 months ago

The pr just layout the basic code for halo2 circuit info generation. still need to transform gate's expressions into multivariate polys.