zksecurity / noname

Noname: a programming language to write zkapps
https://zksecurity.github.io/noname/
178 stars 44 forks source link

binding supported backends to cmd arguments #68

Closed katat closed 3 months ago