Add testing for verify proof!

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 9 months ago

The PR go through the road to successfully verify a simple circuit proof.

nanne007 commented 9 months ago

remaining todo: