Alternatives and similar repositories for brevis-sdk

Users that are interested in brevis-sdk are comparing it to the libraries listed below

• Lagrange-Labs / lgn-coprocessor
  Hyper-parallel ZK coprocessing.
  ☆15Updated last month
• risc0 / demos
  ☆60Updated last month
• 0xMiden / miden-node
  Reference implementation of the node for the Miden blockchain
  ☆75Updated this week
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆123Updated 2 weeks ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆116Updated 3 weeks ago
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆138Updated 3 months ago
• succinctlabs / starkyx
  ☆64Updated last year
• succinctlabs / sp1-blobstream
  Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
  ☆28Updated 2 weeks ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆78Updated 4 months ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆62Updated 5 months ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆72Updated last month
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆107Updated 5 months ago
• eigerco / lumina
  Wasm friendly Celestia light node implementation in Rust
  ☆160Updated last week
• succinctlabs / vectorx
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆45Updated last year
• NilFoundation / zkEVM1
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Updated last year
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆82Updated last year
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆110Updated this week
• Eclipse-Laboratories-Inc / zk-bpf
  zero-knowledge execution of eBPF bytecode
  ☆92Updated 2 years ago
• 0xMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆120Updated last week
• lita-xyz / reth-valida
  revm/reth block proving on Valida
  ☆15Updated 8 months ago
• base / bridge
  ☆91Updated last week
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆54Updated last year
• celestiaorg / celestia-zkevm-ibc-demo
  ☆22Updated 2 months ago
• EspressoSystems / cape
  Configurable Asset Privacy for Ethereum
  ☆101Updated last year
• skip-mev / feemarket
  Plug-and-play fee market module for Cosmos SDK chains
  ☆30Updated 3 months ago
• 0xPolygon / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆82Updated 4 months ago
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 6 months ago
• 0xMiden / miden-base
  Core components of the Miden protocol
  ☆90Updated this week
• PufferFinance / rave
  Remote Attestation VErification
  ☆34Updated last year
• ChainSafe / Spectre
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆61Updated last year