search

axiom-crypto / snark-verifier

Apache License 2.0
94 stars 36 forks source link

feat: update to halo2-lib new types #10

Closed jonathanpwang closed 1 year ago

jonathanpwang commented 1 year ago

Now assign_point always checks point is on curve or is infinity