search

o1-labs / snarky

OCaml DSL for verifiable computation
MIT License
492 stars 73 forks source link

Constraint_system_intf.{num_constraints,to_asm} #843

Open emberian opened 5 months ago

emberian commented 5 months ago

Helpful for visualizing.