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 2 years ago
• crytic / secureum-medusa
  ☆47Updated 2 years ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated 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
  ☆61Updated 4 years ago
• spo0ds / Zero-to-ZKP
  As I learn more about ZKP and its use cases in blockchain, I'll be updating this repository with new resources and insights to help you s…
  ☆42Updated last year
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 9 months ago
• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Updated 8 months ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆42Updated 2 years ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 6 months ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆52Updated 3 years ago
• franz101 / mev-olympics
  MEV Olympics
  ☆44Updated 10 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆89Updated last year
• chainlight-io / publications
  ☆87Updated last month
• ZK-University / ZKU
  Zero-Knowledge University
  ☆34Updated last year
• SecurFi / zkProver
  ☆31Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆56Updated 11 months ago
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆23Updated 2 years ago
• saucepoint / foundry-arbitrum
  Cross-chain message testing for Arbitrum with Foundry
  ☆67Updated 2 years ago
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆81Updated 3 years ago
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆75Updated 3 months ago
• ZK-Hack / puzzle-zero-sum-game
  ☆36Updated 2 years ago
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆78Updated last year
• open-dust / cairo-foundry
  Foundry like framework for starknet contracts
  ☆77Updated 2 years ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated 2 years ago
• sigp / multiproof
  Generating Inputs for OZ's MultiProof and SingleProof
  ☆39Updated 11 months ago
• duoxehyon / evm-neural-network
  MNIST image classification neural network implemented entirely on the EVM
  ☆29Updated 7 months ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆59Updated 2 years ago