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 4 months ago
• succinctlabs / sp1-contract-call
  Generates zero-knowledge proofs of Ethereum smart contract execution.
  ☆41Updated last week
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆28Updated last year
• paradigmxyz / frontiers
  A two-day event focused on high-performance, bleeding edge crypto infrastructure. By open source engineers, for open source engineers.
  ☆38Updated 2 months ago
• shutter-network / rolling-shutter
  A threshold encryption framework for L1 & L2 EVM-compatible chains.
  ☆36Updated last week
• clabby / brisc
  A simple RISC-V runtime.
  ☆32Updated last month
• init4tech / zenith-rs
  rust types and services for Zenith 🎀
  ☆29Updated 7 months ago
• sigp / milhouse
  Persistent binary merkle tree
  ☆24Updated last month
• 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.
  ☆28Updated this week
• availproject / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆16Updated last week
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• celestiaorg / celestia-node-client-rs
  🦀 celestia-node REST client in Rust.
  ☆18Updated 3 years ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆56Updated last year
• astriaorg / dev-cluster
  Configuration and scripts for running Astria
  ☆21Updated last year
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 6 months ago
• celestiaorg / celestia-zkevm-ibc-demo
  ☆22Updated 3 months ago
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated last year
• noir-lang / acvm-backend-barretenberg
  ☆41Updated 2 years ago
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 8 months ago
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆32Updated 4 months ago
• ithacaxyz / exp-0003
  Subscriptions using Porto.
  ☆26Updated 4 months ago
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆55Updated last year
• rkdud007 / xxfunc
  Serverless function on Reth
  ☆73Updated last year
• Blobscan / blobscan-indexer.rs
  Blobscan's indexer rewritten in Rust.
  ☆43Updated last week
• Gaon3 / ethers-literal
  ☆13Updated 2 years ago
• manifoldfinance / mevETH2
  mevETH LST Protocol - Repo has migrated see link
  ☆26Updated last year
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆25Updated last year
• bmorphism / risc0-cosmwasm-example
  CosmWasm + zkVM RISC-V EFI template
  ☆23Updated 3 years ago