eth-sri / zapperLinks
☆20Updated 2 years ago
Alternatives and similar repositories for zapper
Users that are interested in zapper are comparing it to the libraries listed below
Sorting:
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆89Updated last year
- ☆25Updated 11 months ago
- Libra zero knowledge proof system☆53Updated 2 years ago
- ☆67Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- Compile circom code to llvm partially☆12Updated 2 years ago
- ☆25Updated 3 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆111Updated 3 years ago
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆18Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆85Updated last year
- ☆59Updated 3 years ago
- AES-GCM implementation in Circom☆38Updated 2 years ago
- ☆50Updated 4 months ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆37Updated last year
- ☆200Updated last year
- Prototype implementations of various Collaborative zkSNARKs.☆126Updated 2 months ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆52Updated last week
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 8 months ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆18Updated 4 years ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆84Updated 2 years ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆68Updated 2 years ago
- Efficient and Interactive Zero-Knowledge Proofs☆96Updated last year
- Xscope: Hunting for Cross-Chain Bridge Attacks☆15Updated 3 years ago
- Zero-Knowledge Proof Toolbox☆34Updated 3 years ago
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Updated last year
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆106Updated 2 years ago
- ☆62Updated 2 years ago
- zkp-co-learning☆65Updated 8 months ago
- Zero Knowledge Proof for Schnorr☆12Updated 5 months ago
- SMT 2023 Submission; license pending☆56Updated 8 months ago