ziemen4 / zkpoexLinks
Zero-Knowledge Proof of Exploit
☆35Updated 2 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☆80Updated last year
- 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
- ☆24Updated this week
- Smart contracts for on-chain anonymous settlement.☆115Updated last month
- Honk Verifier in Solidity☆50Updated 9 months ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 2 years ago
- On-chain Ethereum light client built with SP1☆63Updated 3 weeks ago
- Email verification circuit in halo2☆68Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- ☆41Updated 9 months ago
- A consensus client for Reth☆40Updated last week
- barretenburg in rust (here we go)☆98Updated last year
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 4 months ago
- Solidity contracts for a next-gen rollup system.☆66Updated this week
- ☆70Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Basic Noir private proof of membership☆90Updated 4 months 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
- an introduction to noir, with simple examples☆44Updated last year
- A Brainfuck zkVM with Circom.☆59Updated 2 years ago
- Like Safe... but secret 🥷🏽☆62Updated 7 months ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆90Updated 2 years ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆34Updated 8 months ago
- Crypto Gadgets for Plonky2☆73Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Breathe air☆25Updated last year
- RISC-V interactive fault proof tech☆103Updated 3 months ago
- Axiom smart contracts☆26Updated 2 years ago
- ☆103Updated 2 years ago