2 results found Sort:

o1-labs
proof-systems o1-labs
87
386
apache-2.0
28
The proof systems used by Mina
plonk kimchi zksnarks bulletproofs recursive-zkps zero-knowledge-proofs
Created 2019-12-09
7,164 commits to master branch, last one 15 hours ago
zksecurity
noname zksecurity
33
145
unknown
4
Noname: a programming language to write zkapps
kimchi zkapps circuit zero-knowledge
Created 2022-06-06
387 commits to main branch, last one a day ago