Alternatives and similar repositories for contracts-v1

Users that are interested in contracts-v1 are comparing it to the libraries listed below

• 0xPolygon / zkevm-testvectors
  ☆31Updated 5 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 3 weeks ago
• ethereum-optimism / lib-keccak
  Keccak-f[1600] permutation in the EVM
  ☆28Updated 9 months ago
• conduitxyz / optimism-tutorial
  Build your first app on Optimism!
  ☆26Updated 2 years ago
• MystenLabs / truncator
  Compress cryptographic outputs via mining
  ☆24Updated 3 years ago
• matter-labs / era-zkEVM-assembly
  The zkEVM assembly tools
  ☆11Updated last year
• ethpandaops / assertoor-test
  ☆16Updated 2 weeks ago
• base / fault-proof-monitors
  Hexagate monitors for OP-Stack fault proofs
  ☆17Updated 7 months ago
• AztecProtocol / aztec-verifier-contracts
  ☆27Updated 2 years ago
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Updated last year
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 9 months ago
• base / nitro-validator
  AWS Nitro enclave attestation verifier in Solidity, used by:
  ☆24Updated 2 months ago
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆36Updated this week
• NilFoundation / zkEVM1
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Updated last year
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆25Updated last year
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated last year
• ConsenSysDiligence / sol-dbg
  Solidity source debugger built around EthereumJS
  ☆25Updated this week
• matter-labs / era-boojum-cuda
  A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.
  ☆25Updated last year
• scroll-tech / stateless-block-verifier
  ☆54Updated this week
• availproject / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆16Updated 3 weeks ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆29Updated 3 months ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• kmbarry1 / fund-eq-of-dai-certora
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Updated last year
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 7 months ago
• optimism-java / hildr
  Hildr is an OP Stack rollup client written in latest Java.
  ☆47Updated 10 months ago
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆31Updated 3 weeks ago
• astriaorg / dev-cluster
  Configuration and scripts for running Astria
  ☆21Updated last year
• trianglesphere / rnode
  ☆21Updated 2 years ago
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated 2 years ago