ziemen4 / zkpoexLinks
Zero-Knowledge Proof of Exploit
☆38Updated last month
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☆79Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 3 years ago
- an introduction to noir, with simple examples☆44Updated last year
- A Brainfuck zkVM with Circom.☆60Updated 2 years ago
- Ethereum stateless tools☆45Updated 7 months ago
- Smart contracts for on-chain anonymous settlement.☆122Updated 2 months ago
- Axiom smart contracts☆26Updated 2 years ago
- ☆42Updated last year
- Solidity contracts for a next-gen rollup system.☆70Updated 3 weeks ago
- Email verification circuit in halo2☆68Updated last year
- MNIST image classification neural network implemented entirely on the EVM☆29Updated 8 months ago
- ☆26Updated last month
- ☆70Updated last year
- Like Safe... but secret 🥷🏽☆63Updated 10 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆93Updated 2 years ago
- ☆30Updated last year
- My personal notebook for various zk-related topics☆48Updated 10 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated last year
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 3 years ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆35Updated last year
- Crypto Gadgets for Plonky2☆74Updated last year
- Noir implementation of BattleZips circuits☆28Updated 2 years ago
- Honk Verifier in Solidity☆50Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 8 months ago