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.
  ☆27Updated last month
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Updated 8 months ago
• NilFoundation / zkEVM1
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Updated last year
• succinctlabs / sp1-contract-call
  Generates zero-knowledge proofs of Ethereum smart contract execution.
  ☆34Updated last week
• sigp / milhouse
  Persistent binary merkle tree
  ☆24Updated 3 months ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• celestiaorg / celestia-node-client-rs
  🦀 celestia-node REST client in Rust.
  ☆18Updated 3 years ago
• init4tech / zenith-rs
  rust types and services for Zenith 🎀
  ☆29Updated 3 months ago
• paradigmxyz / forge-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆48Updated 5 months ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆25Updated 9 months ago
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆36Updated this week
• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆31Updated last year
• shutter-network / rolling-shutter
  A threshold encryption framework for L1 & L2 EVM-compatible chains.
  ☆31Updated last week
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• nerolation / eth-gas-limit-analysis
  This repo hosts the code for an analysis on Ethereum gas limit.
  ☆18Updated last year
• HerodotusDev / hdp-sp1
  Herodotus Data Processor using SP1 as backend
  ☆17Updated 8 months ago
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆30Updated last month
• iqlusioninc / iqkms
  Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices
  ☆17Updated 2 years ago
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• axiom-crypto / axiom-apps
  ☆34Updated last year
• realbigsean / mock-relay
  ☆21Updated last year
• FuelLabs / sway-lib-std
  Sway standard library.
  ☆24Updated 3 years ago
• succinctlabs / sp1-blobstream
  Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
  ☆26Updated 2 weeks ago
• conduitxyz / optimism-tutorial
  Build your first app on Optimism!
  ☆26Updated 2 years ago
• noir-lang / acvm-backend-barretenberg
  ☆39Updated last year
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 8 months ago
• emo-eth / the-circus
  Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.
  ☆30Updated 2 years ago
• manifoldfinance / mevETH2
  mevETH LST Protocol - Repo has migrated see link
  ☆26Updated last year
• spire-labs / based-stack
  The Spire Based Stack
  ☆18Updated last week