2 results found Sort:

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