proof-of-exploit/cli external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

proof-of-exploit/cli

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/proof-of-exploit/cli)

Close

proof-of-exploit / cliView on GitHubMore

• External links
• Readme badge

Prove knowledge of smart contract bugs using zkEVM

☆43Sep 20, 2024Updated last year

Alternatives and similar repositories for cli

Users that are interested in cli are comparing it to the libraries listed below

• delendum-xyz / starkvm-compiler

  View on GitHub
  compiler tooling for Stark-based zkVMs
  ☆16Feb 6, 2023Updated 3 years ago
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆51Mar 7, 2024Updated 2 years ago
• VictorColomb / stark-snark-recursive-proofs

  View on GitHub
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆103Sep 12, 2023Updated 2 years ago
• Dhole / polyexen

  View on GitHub
  Polynomial Expression Engine
  ☆35Feb 13, 2024Updated 2 years ago
• 0xkitetsu-dineshsm / Huff-Challenge

  View on GitHub
  ☆18Aug 31, 2022Updated 3 years ago
• recmo / goldilocks

  View on GitHub
  A library for fast NTTs over the Goldilocks prime field
  ☆80Sep 25, 2024Updated last year
• succinctlabs / plonky2x-example

  View on GitHub
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Aug 30, 2023Updated 2 years ago
• perama-v / archors

  View on GitHub
  A tool for single Ethereum archival block state proofs.
  ☆35Oct 19, 2023Updated 2 years ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• refcell / orbits

  View on GitHub
  A collection of practical circom circuits
  ☆14May 19, 2022Updated 3 years ago
• noir-lang / acvm-backend-barretenberg

  View on GitHub
  ☆41Aug 31, 2023Updated 2 years ago
• SoraSuegami / halo2-rsa

  View on GitHub
  RSA verification circuit using halo2 library.
  ☆58Apr 26, 2023Updated 2 years ago
• devtooligan / curta-elohim

  View on GitHub
  A puzzle for Curta CTF
  ☆26Sep 5, 2023Updated 2 years ago
• NilFoundation / zkllvm-blueprint

  View on GitHub
  Circuit components definition library for zkLLVM circuit compiler
  ☆42Sep 7, 2024Updated last year
• 0xPolygonZero / plonky2-ecdsa

  View on GitHub
  ECDSA gadgets for plonky2
  ☆19Oct 20, 2023Updated 2 years ago
• emo-eth / l1-block-snapshotter

  View on GitHub
  Historical L1Block snapshotter for OP Stack chains
  ☆16Jul 12, 2023Updated 2 years ago
• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• scroll-tech / poseidon-circuit

  View on GitHub
  Poseidon hash circuit
  ☆107Oct 30, 2024Updated last year
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated 2 years ago
• maxgillett / halo2-fri-gadget

  View on GitHub
  A FRI verifier circuit for the Halo2 proof system
  ☆77Feb 22, 2023Updated 3 years ago
• jtguibas / halo2-merkle-tree

  View on GitHub
  ☆18Mar 28, 2023Updated 2 years ago
• succinctlabs / telepathy-circuits

  View on GitHub
  zkSNARK circuits for the Telepathy protocol
  ☆53Aug 28, 2023Updated 2 years ago
• axiom-crypto / axiom-eth

  View on GitHub
  ☆94Aug 19, 2024Updated last year
• zhenfeizhang / pasta-solidity

  View on GitHub
  A Solidity implementation of Halo2's Pasta curves
  ☆50Mar 30, 2023Updated 2 years ago
• 0xsomnus / curta-archive

  View on GitHub
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Jul 29, 2023Updated 2 years ago
• jbaylina / nova-circom-verifier

  View on GitHub
  Nova Verifier in Circom so it can be verified onChain
  ☆59Jun 9, 2023Updated 2 years ago
• privacy-ethereum / chiquito

  View on GitHub
  DSL for Halo2 circuits
  ☆188Nov 4, 2024Updated last year
• therealyingtong / plonkathon

  View on GitHub
  ☆11Jan 28, 2023Updated 3 years ago
• yi-sun / circom-pairing

  View on GitHub
  ☆203Nov 25, 2023Updated 2 years ago
• kadenzipfel / labyrinth

  View on GitHub
  Curta CTF #12
  ☆20Oct 13, 2023Updated 2 years ago
• hrkrshnn / tstore-template

  View on GitHub
  ☆42Sep 21, 2023Updated 2 years ago
• ElliotFriedman / forge-proposal-simulator

  View on GitHub
  standardized framework to simulate governance proposals with forge
  ☆58May 30, 2023Updated 2 years ago
• emilianobonassi / curve-whitehack-example

  View on GitHub
  Example of the whitehack for Curve exploit 30/07/23
  ☆19Aug 3, 2023Updated 2 years ago
• geometryxyz / semacaulk

  View on GitHub
  Gas-efficient and blazing fast proving for private signaling
  ☆81Feb 3, 2024Updated 2 years ago
• franz101 / mev-olympics

  View on GitHub
  MEV Olympics
  ☆44Dec 1, 2024Updated last year
• orenyomtov / code-is-law-2

  View on GitHub
  Solidity CTF challenge from BSides TLV 2022
  ☆14Jul 8, 2022Updated 3 years ago
• guberti / witness-encryption-demos

  View on GitHub
  World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
  ☆36Jan 12, 2022Updated 4 years ago
• lambdaclass / noir_backend_using_gnark

  View on GitHub
  A Noir's backend implementation using Gnark
  ☆35Mar 8, 2024Updated 2 years ago