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

scalar and curve point #11

Closed nanne007 closed 11 months ago

nanne007 commented 11 months ago

implement bn254 algebra using aptos primitives.

nanne007 commented 11 months ago

we can close this. tracked in #22