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

add fr_from_u512 #34

Closed nanne007 closed 11 months ago

nanne007 commented 11 months ago

fix squeeze_challenge , close #29