proof-of-exploit / cli

Related projects ⓘ

Alternatives and complementary repositories for cli

• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated last year
• RareSkills / noir-puzzles
  ☆50Updated last year
• Jesserc / Secp256k1-huff
  Secp256k1 Elliptic Curve Library Written In Huff
  ☆5Updated last year
• manuj-mishra / zkdiffpriv
  Zero knowledge proofs of differential privacy mechanisms
  ☆22Updated last year
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆31Updated 8 months ago
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 7 months ago
• moodlezoup / huffidity-poc
  ☆63Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆72Updated 2 years ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆59Updated last year
• flashbots / rollup-boost
  Sidecar to Enable Rollup Extensions
  ☆55Updated this week
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆42Updated 10 months ago
• 0xPARC / zk-learning-resources
  ☆19Updated 2 years ago
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 2 years ago
• wighawag / forge-exec
  Execute programs from forge with an open 2-way communication channel between both
  ☆56Updated 5 months ago
• AmadiMichael / Zyclone
  2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
  ☆75Updated last year
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆22Updated last year
• AmadiMichael / p256-verifier-huff
  Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation
  ☆26Updated 11 months ago
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated 6 months ago
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated last year
• pmuens / cairo-by-example.org
  Learn Cairo and StarkNet Smart Contract programming with example code
  ☆23Updated 2 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆54Updated 2 years ago
• bbresearcher / ZK
  ☆19Updated 4 months ago
• anna-carroll / 3074
  Template using EIP-3074 - AUTH and AUTHCALL in Solidity
  ☆29Updated 11 months ago
• verklegarden / crysol
  secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations
  ☆57Updated 3 weeks ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated last year
• sigp / multiproof
  Generating Inputs for OZ's MultiProof and SingleProof
  ☆37Updated last week
• geometryxyz / secp256k1_hash_to_curve
  ☆32Updated last year
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆39Updated 2 years ago