proof-of-exploit / cli
Prove knowledge of smart contract bugs using zkEVM
☆43Updated last month
Related projects ⓘ
Alternatives and complementary repositories for cli
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- ☆61Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- A curated list of resources on zkECDSA☆35Updated last year
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated last year
- A Brainfuck zkVM with Circom.☆58Updated last year
- BigInt library for Aztec's noir language☆31Updated 7 months ago
- My personal notebook for various zk-related topics☆48Updated 6 months ago
- Axiom smart contracts☆27Updated last year
- RLN circuits in Circom☆29Updated 3 months ago
- ☆50Updated last year
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆57Updated last week
- ☆46Updated 8 months ago
- Honk Verifier in Solidity☆49Updated 3 weeks ago
- Sidecar to Enable Rollup Extensions☆48Updated this week
- ☆32Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- Extensive Huff Language Documentation, Tutorials, and Resources built with Vuepress and deployed at https://docs.huff.sh☆36Updated 9 months ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆126Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆73Updated 9 months ago
- ☆19Updated 2 years ago
- Zero knowledge proofs of differential privacy mechanisms☆22Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- ☆39Updated 2 years ago
- PoC of Revm execution in SGX☆80Updated last year
- ☆32Updated 10 months ago
- an introduction to noir, with simple examples☆42Updated 10 months ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- Make compressed 4337 bundles swole again☆45Updated 5 months ago