search

zksecurity / noname

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

disable clippy ci until we fixed them all #53

Closed katat closed 5 months ago