chainlight-io / zksync-era-write-query-poc

Related projects ⓘ

Alternatives and complementary repositories for zksync-era-write-query-poc

• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆56Updated this week
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆39Updated last year
• chainlight-io / publications
  ☆83Updated 4 months ago
• RareSkills / noir-puzzles
  ☆50Updated last year
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 7 months ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆14Updated last year
• ZK-University / ZKU
  Zero-Knowledge University
  ☆31Updated 3 months ago
• franz101 / mev-olympics
  MEV Olympics
  ☆44Updated 2 years ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated last year
• 0xrusowsky / etheasy
  Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.
  ☆23Updated 5 months ago
• crytic / secureum-medusa
  ☆43Updated last year
• kopy-kat / MinimalAccount
  The most gas optimized ERC-4337 account - written in Huff
  ☆42Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆81Updated last year
• sherlock-audit / 2023-01-optimism-judging
  ☆24Updated last year
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆126Updated 2 years ago
• saucepoint / foundry-arbitrum
  Cross-chain message testing for Arbitrum with Foundry
  ☆61Updated last year
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆85Updated 10 months ago
• AmadiMichael / Zyclone
  2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
  ☆75Updated last year
• 0xJCN / Damn-Vulnerable-DeFi-V3-CTF
  Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff
  ☆25Updated last year
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆59Updated 2 weeks ago
• zksecurity / zkbugs
  Reproduce ZKP vulnerabilities
  ☆43Updated last month
• sigp / multiproof
  Generating Inputs for OZ's MultiProof and SingleProof
  ☆37Updated this week
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year
• SecurFi / zkProver
  ☆28Updated 5 months ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆49Updated 2 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆52Updated this week
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆18Updated last week