search

zkmove / halo2-verifier.move

A set of tooling of halo2 circuits verification in Move environments
Apache License 2.0
16 stars 3 forks source link

evaluate expression #13

Closed nanne007 closed 11 months ago

nanne007 commented 11 months ago

implement expression with multivariate polys( #10 ) and implement gate evals and lookup evals.

guangyuz commented 11 months ago

the multivariate poly is pretty good. I have no other comments other than above.