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

• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated last year
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆56Updated 8 months ago
• crytic / secureum-medusa
  ☆46Updated last year
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 3 months ago
• supernovahs / zk-sunade
  Groth16 verifier on Arbitrum Stylus
  ☆25Updated last year
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 7 months ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Updated 5 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆84Updated last year
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• duoxehyon / evm-neural-network
  MNIST image classification neural network implemented entirely on the EVM
  ☆29Updated 4 months ago
• franz101 / mev-olympics
  MEV Olympics
  ☆44Updated 8 months ago
• SecurFi / zkProver
  ☆31Updated last year
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆60Updated 4 years ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated 2 years ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆80Updated 3 years ago
• jtriley2p / bigbrainchad-eth
  ☆23Updated 10 months ago
• ZK-University / ZKU
  Zero-Knowledge University
  ☆33Updated 11 months ago
• cryptosubtlety / 00
  Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award
  ☆68Updated 2 years ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆41Updated 2 years ago
• Philogy / evm-glue
  ☆81Updated 6 months ago
• sigp / multiproof
  Generating Inputs for OZ's MultiProof and SingleProof
  ☆39Updated 8 months ago
• saucepoint / foundry-arbitrum
  Cross-chain message testing for Arbitrum with Foundry
  ☆66Updated 2 years ago
• RareSkills / noir-puzzles
  ☆58Updated last year
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆59Updated 2 years ago
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆76Updated 9 months ago
• abdk-consulting / audits
  Database of public audits made by ABDK Consulting
  ☆83Updated last week