chainlight-io / zksync-era-write-query-poc
PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
☆34Updated last year
Alternatives and similar repositories for zksync-era-write-query-poc:
Users that are interested in zksync-era-write-query-poc are comparing it to the libraries listed below
- My personal notebook for various zk-related topics☆47Updated last week
- A curated list of resources on zkECDSA☆37Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- MEV Olympics☆44Updated last month
- ☆51Updated last year
- ☆23Updated 4 months ago
- ☆39Updated last year
- Generating Inputs for OZ's MultiProof and SingleProof☆37Updated 2 months ago
- Reproduce ZKP vulnerabilities☆45Updated 3 months ago
- Learn Cairo and StarkNet Smart Contract programming with example code☆23Updated 2 years ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Mutation testing tool for circom☆16Updated last year
- ☆45Updated last year
- Write-ups submitted by CTF participants☆34Updated last year
- A Brainfuck zkVM with Circom.☆58Updated last year
- SMT 2023 Submission; license pending☆53Updated 2 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆82Updated last year
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆78Updated last year
- Database of public audits made by ABDK Consulting☆56Updated last month
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- Zero-Knowledge University☆31Updated 5 months ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆30Updated 2 months ago
- ☆14Updated 11 months ago
- A Symbolic Execution Tool for Cairo☆49Updated 2 years ago
- Collection of past CTFs to play and practice locally.☆49Updated 4 months ago
- Blog☆22Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago