2 results found Sort:

o1-labs
proof-systems o1-labs
115
435
apache-2.0
27
The proof systems used by Mina
plonk kimchi zksnarks bulletproofs recursive-zkps zero-knowledge-proofs
Created 2019-12-09
9,410 commits to master branch, last one 3 days ago
zksecurity
noname zksecurity
60
210
unknown
11
Noname: a programming language to write zkapps
kimchi zkapps circuit zero-knowledge
Created 2022-06-06
683 commits to main branch, last one 2 months ago