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

• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Updated 7 months ago
• crytic / secureum-medusa
  ☆46Updated 2 years ago
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated 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
  ☆60Updated 4 years ago
• chainlight-io / publications
  ☆88Updated last month
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated 2 years ago
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 9 months ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆52Updated 3 years ago
• saucepoint / foundry-arbitrum
  Cross-chain message testing for Arbitrum with Foundry
  ☆67Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 5 months ago
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• jtriley2p / bigbrainchad-eth
  ☆23Updated last year
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆42Updated 2 years ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆88Updated last year
• xorddotcom / SHIELD
  Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…
  ☆60Updated 2 years ago
• sigp / multiproof
  Generating Inputs for OZ's MultiProof and SingleProof
  ☆39Updated 10 months ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 3 years ago
• gnosischain / reth_gnosis
  ☆43Updated this week
• ZK-University / ZKU
  Zero-Knowledge University
  ☆33Updated last year
• SecurFi / zkProver
  ☆31Updated last year
• 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
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆56Updated 10 months ago
• supernovahs / zk-sunade
  Groth16 verifier on Arbitrum Stylus
  ☆25Updated last year
• pcaversaccio / tornado-cash-exploit
  This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…
  ☆59Updated last week
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year