kimchi topic
List
kimchi repositories
trafficstars
proof-systems
375
Stars
84
Forks
Watchers
The proof systems used by Mina
noname
178
Stars
46
Forks
Watchers
Noname: a programming language to write zkapps