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 3 weeks ago
• succinctlabs / sp1-blobstream
  Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
  ☆28Updated last month
• succinctlabs / sp1-contract-call
  Generates zero-knowledge proofs of Ethereum smart contract execution.
  ☆40Updated last week
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆114Updated last week
• 0xMiden / miden-node
  Reference implementation of the node for the Miden blockchain
  ☆74Updated this week
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆70Updated last week
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆78Updated 3 months ago
• succinctlabs / starkyx
  ☆64Updated last year
• PufferFinance / rave
  Remote Attestation VErification
  ☆34Updated last year
• 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.
  ☆137Updated 2 months ago
• celestiaorg / celestia-zkevm-ibc-demo
  ☆22Updated last month
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆119Updated last week
• base / bridge
  ☆84Updated this week
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆110Updated this week
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆62Updated 4 months ago
• SeismicSystems / enclave
  Seismic's Trusted Execution Environment: client, server & cryptography
  ☆16Updated last month
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆82Updated last year
• yetanotherco / zkRust
  ☆42Updated 11 months ago
• automata-network / automata-sgx-sdk
  The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…
  ☆26Updated 9 months ago
• commonwarexyz / alto
  A minimal (and wicked fast) blockchain built with the Commonware Library.
  ☆69Updated 2 weeks ago
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 6 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• availproject / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆16Updated this week
• Layr-Labs / eigenda-proxy
  Secure and optimized communication layer for rollups using EigenDA.
  ☆22Updated 2 months ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• automata-network / automata-dcap-attestation
  This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems
  ☆44Updated this week
• NilFoundation / zkEVM1
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Updated last year
• 0xMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆116Updated this week
• liamzebedee / tendermint-rs
  A minimal reimplementation of Tendermint in Rust
  ☆25Updated 3 months ago
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆106Updated 4 months ago