4 results found Sort:

microsoft
Spartan microsoft
126
708
mit
16
Spartan: High-speed zkSNARKs without trusted setup
nizk zksnarks rust-library cryptography-library verifiable-computing zero-knowledge-proofs
Created 2019-12-16
52 commits to master branch, last one a day ago
sero-cash
go-sero sero-cash
41
139
lgpl-3.0
16
The Total Solution for Blockchain with Privacy Protecting
go zpk gero nizk sero privacy blockchain smart-contract
Created 2018-09-30
1,010 commits to master branch, last one 2 years ago
baro77
ZKbasicsCS baro77
7
119
unknown
1
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
zkp nizk proof prover argument verifier simulator soundness fiat-shamir completeness zero-knowledge proof-of-knowledge
Created 2022-06-20
15 commits to main branch, last one about a year ago
trailofbits
reverie trailofbits
6
60
agpl-3.0
27
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
zk nizk blake3 crypto rust-lang cryptography zkproof-prover
Created 2020-06-05
161 commits to master branch, last one 2 years ago