eth-sri / zapper
☆18Updated 2 years ago
Related projects: ⓘ
- Libra zero knowledge proof system☆47Updated last year
- Xscope: Hunting for Cross-Chain Bridge Attacks☆12Updated 2 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆105Updated 6 months ago
- ☆188Updated 9 months ago
- ☆39Updated this week
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆81Updated 8 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆60Updated 3 months ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆101Updated 2 years ago
- Geth-in-SGX provides an example of running go-ethereum in SGX☆69Updated 6 months ago
- ☆58Updated last year
- ☆9Updated last year
- Automated verification of uniqueness property for ZKP circuits☆65Updated 6 months ago
- ☆81Updated last year
- ☆60Updated 2 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆92Updated last year
- Circom Circuits Library for Machine Learning☆161Updated 3 months ago
- ED25519 implementation in Circom☆106Updated last year
- An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer☆23Updated 3 weeks ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆69Updated last year
- ☆36Updated 2 weeks ago
- ☆58Updated last year
- ☆54Updated 2 years ago
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆13Updated 2 weeks ago
- ☆55Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆109Updated 6 months ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆50Updated 2 years ago
- ☆23Updated 2 years ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆117Updated this week
- Demo of ML for MNIST classification in a zero knowledge proof☆115Updated last year
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆28Updated last year