2 results found Sort:

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
z-prize
2022-entries z-prize
22
52
unknown
2
ZPrize 2022 - All qualified entries
zkp zkproof zksnarks zero-knowledge zkproof-prover
Created 2022-12-07
12 commits to main branch, last one about a year ago