o1-labs / snarky

OCaml DSL for verifiable computation

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

remove constraint system from backend (or most of it)

o1-david opened this issue · comments

Stale issue message