2 results found Sort:

o1-labs
proof-systems o1-labs
94
413
apache-2.0
27
The proof systems used by Mina
plonk kimchi zksnarks bulletproofs recursive-zkps zero-knowledge-proofs
Created 2019-12-09
8,435 commits to master branch, last one 5 days ago
zksecurity
noname zksecurity
48
188
unknown
9
Noname: a programming language to write zkapps
kimchi zkapps circuit zero-knowledge
Created 2022-06-06
587 commits to main branch, last one a day ago