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 week
• 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…
  ☆25Updated 7 months ago
• zkpassport / noir_rs
  Rust crate to generate and verify proofs for Noir circuits
  ☆18Updated 3 weeks ago
• pluto / caratls
  Browser-based Remote Attestation to TDX
  ☆16Updated 6 months ago
• spire-labs / based-stack
  The Spire Based Stack
  ☆19Updated last week
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆78Updated 2 months ago
• celestiaorg / celestia-zkevm-ibc-demo
  ☆19Updated 2 weeks ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆64Updated last week
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆60Updated 3 months ago
• Dstack-TEE / dstack-examples
  examples and utilities of Dstack applications
  ☆17Updated last week
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆33Updated 3 months ago
• defi-wonderland / aztec-private-oracle
  ☆11Updated last year
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated last year
• PufferFinance / rave
  Remote Attestation VErification
  ☆33Updated last year
• NilFoundation / zkEVM1
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• succinctlabs / sp1-contract-call
  Generates zero-knowledge proofs of Ethereum smart contract execution.
  ☆37Updated 3 weeks ago
• liamzebedee / tendermint-rs
  A minimal reimplementation of Tendermint in Rust
  ☆25Updated 2 months ago
• lita-xyz / reth-valida
  revm/reth block proving on Valida
  ☆15Updated 6 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• Layr-Labs / eigenda-proxy
  Secure and optimized communication layer for rollups using EigenDA.
  ☆22Updated 3 weeks ago
• MystenLabs / dapol
  DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees
  ☆17Updated last year
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆73Updated last year
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• primitivefinance / mythic
  Mythic
  ☆23Updated 10 months ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated 2 years ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated 2 months ago
• iden3 / circom-witnesscalc
  ☆16Updated last week