2 results found Sort:

o1-labs
proof-systems o1-labs
115
429
apache-2.0
27
The proof systems used by Mina
plonk kimchi zksnarks bulletproofs recursive-zkps zero-knowledge-proofs
Created 2019-12-09
9,291 commits to master branch, last one 21 hours ago
zksecurity
noname zksecurity
59
207
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 27 days ago