Alternatives and similar repositories for programs

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

• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆28Updated 3 months ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• availproject / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆16Updated 3 weeks ago
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆35Updated this week
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated 2 years ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆24Updated last month
• malik672 / open-stylus
  openzepplin smart contracts written in rust for arbritum stylus
  ☆13Updated last year
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated last month
• aroralanuk / hyperlane-exex
  PoC of a hyperlane validator built on top of reth
  ☆13Updated 3 months ago
• celestiaorg / go-square
  A library for encoding blobs into a 2D square of evenly sized chunks designed for sampling and reconstruction
  ☆17Updated last week
• succinctlabs / sp1-contract-call
  Generates zero-knowledge proofs of Ethereum smart contract execution.
  ☆33Updated this week
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆29Updated last week
• ithacaxyz / exp-0003
  ☆26Updated this week
• NilFoundation / zkEVM1
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Updated last year
• succinctlabs / sp1-blobstream
  Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
  ☆23Updated last week
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Updated 7 months ago
• flashbots / andromeda-sirrah-contracts
  forge development env for SUAVE key management
  ☆19Updated 9 months ago
• conduitxyz / optimism-tutorial
  Build your first app on Optimism!
  ☆25Updated 2 years ago
• sigp / milhouse
  Persistent binary merkle tree
  ☆23Updated last month
• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆31Updated last year
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 11 months ago
• flashbots / suave-specs
  ☀️ SUAVE Alpha Protocol Specifications
  ☆38Updated 7 months ago
• paradigmxyz / state_growth
  ☆16Updated last year
• anna-carroll / 3074
  Template using EIP-3074 - AUTH and AUTHCALL in Solidity
  ☆29Updated last year
• matter-labs / eravm-spec
  EraVM specification.
  ☆17Updated this week
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• vacekj / air-fried-gyatt
  Breathe air
  ☆24Updated last year
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 3 months ago
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Updated 6 months ago
• succinctlabs / rsp-subblock
  ☆19Updated 2 weeks ago