2 results found Sort:

o1-labs
proof-systems o1-labs
108
426
apache-2.0
27
The proof systems used by Mina
plonk kimchi zksnarks bulletproofs recursive-zkps zero-knowledge-proofs
Created 2019-12-09
9,102 commits to master branch, last one 2 days ago
zksecurity
noname zksecurity
59
205
unknown
10
Noname: a programming language to write zkapps
kimchi zkapps circuit zero-knowledge
Created 2022-06-06
683 commits to main branch, last one 7 days ago