o1-labs / snarky

OCaml DSL for verifiable computation

implement tests for all custom gates

o1-david opened this issue a year ago · comments

o1-david commented a year ago

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.