Alternatives and similar repositories for dave

Users that are interested in dave are comparing it to the libraries listed below

• cartesi / machine-emulator
  The off-chain implementation of the Cartesi Machine
  ☆83Updated last week
• cartesi / rollups
  Cartesi Rollups
  ☆30Updated last year
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 2 years ago
• cartesi / rollups-contracts
  Smart Contracts for Cartesi Rollups
  ☆24Updated this week
• 0xPolygonHermez / zisk
  ☆79Updated this week
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• 0xFableOrg / xchain
  Cross-chain interop research, funded by Optimism Governance.
  ☆59Updated 3 weeks ago
• factorgroup / nightmarket
  ☆47Updated 2 years ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆105Updated 2 years ago
• protolambda / forkdiff
  CLI tool to generate documentation page of git fork diff
  ☆86Updated 11 months ago
• aragonzkresearch / noir-trie-proofs
  ☆65Updated 9 months ago
• axiom-crypto / axiom-eth
  ☆94Updated 8 months ago
• blockblaz / zeam
  Ethereum beam client in Zig
  ☆42Updated this week
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• 0xapriori / Suave-research
  Repository for research on Suave.
  ☆23Updated last year
• cartesi / machine-solidity-step
  The on-chain implementation of the Cartesi Machine
  ☆110Updated last month
• ethereum / L2-interop
  The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ether…
  ☆61Updated last week
• briqNFT / briq-protocol
  Cairo / Starknet files for the Briq protocol and the Briq builder
  ☆66Updated last year
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆98Updated last year
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆77Updated last year
• ind-igo / forge-safe
  ☆124Updated 2 months ago
• dasylang / dasy
  a lisp built on top of vyper
  ☆51Updated last year
• astraly-labs / Pragma
  Pricing anything, anywhere, anytime.
  ☆86Updated last week
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆97Updated 8 months ago
• ProjectOpenSea / seaport-core
  Core Seaport smart contracts
  ☆50Updated last year
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆98Updated 6 months ago
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆37Updated this week
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• outsider-analytics / ZK-Circuit-Performance-and-Security-Data
  To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …
  ☆60Updated 2 years ago
• auditless / cairo-template
  A minimal template for building smart contracts with Cairo 1.0
  ☆87Updated last year