ziemen4 / zkpoexLinks
Zero-Knowledge Proof of Exploit
☆35Updated 3 months ago
Alternatives and similar repositories for zkpoex
Users that are interested in zkpoex are comparing it to the libraries listed below
Sorting:
- PoC of Revm execution in SGX☆81Updated last year
- Arkworks circuits for verifiable time-lock encryption☆91Updated 2 years ago
- Basic Noir private proof of membership☆90Updated 5 months ago
- A Brainfuck zkVM with Circom.☆59Updated 2 years ago
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Smart contracts for on-chain anonymous settlement.☆115Updated 2 weeks ago
- Crypto Gadgets for Plonky2☆73Updated last year
- Email verification circuit in halo2☆68Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Solidity contracts for a next-gen rollup system.☆66Updated 2 weeks ago
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- ☆25Updated 2 weeks ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated last year
- A consensus client for Reth☆43Updated this week
- ☆70Updated last year
- MNIST image classification neural network implemented entirely on the EVM☆29Updated 5 months ago
- ☆103Updated 2 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆112Updated 5 months ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆92Updated 2 years ago
- On-chain Ethereum light client built with SP1☆67Updated 2 weeks ago
- an introduction to noir, with simple examples☆44Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆59Updated last year
- ZK Erdos Numbers using recursive SNARKs☆80Updated 2 years ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆77Updated 10 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆54Updated 4 months ago
- Axiom smart contracts☆26Updated 2 years ago
- Noir implementation of BattleZips circuits☆27Updated 2 years ago