eth-sri / zapper
☆18Updated 2 years ago
Alternatives and similar repositories for zapper:
Users that are interested in zapper are comparing it to the libraries listed below
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆83Updated last year
- Libra zero knowledge proof system☆48Updated last year
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Updated 10 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆120Updated 10 months ago
- ☆21Updated 5 months ago
- ☆67Updated 2 weeks ago
- ☆59Updated 2 years ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆32Updated last year
- ☆10Updated 3 months ago
- ☆57Updated 3 years ago
- ☆59Updated 2 years ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆73Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆109Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆71Updated 10 months ago
- Zero-Knowledge Proof Toolbox☆33Updated 3 years ago
- ☆14Updated this week
- ☆13Updated 3 years ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated last month
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆43Updated this week
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆17Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆67Updated 6 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 10 months ago
- ☆81Updated last year
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆36Updated last year
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆23Updated last year
- ☆23Updated 2 years ago
- Xscope: Hunting for Cross-Chain Bridge Attacks☆13Updated 2 years ago
- ☆24Updated 2 years ago
- ☆18Updated 2 weeks ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆100Updated last month