zksecurity / noname

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

try fixing permission on book ci #98

Closed katat closed 1 month ago