Alternatives and similar repositories for solana-consensus-proof:

Users that are interested in solana-consensus-proof are comparing it to the libraries listed below

• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated 2 years ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆38Updated 2 years ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆46Updated this week
• Sovereign-Labs / solana-proofs
  ☆25Updated last year
• DrPeterVanNostrand / halo2-merkle
  Halo2 Merkle tree circuits
  ☆32Updated 3 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year
• 0xprames / nitro-revm
  PoC of Revm execution in a Nitro Enclave
  ☆29Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 8 months ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆89Updated 2 years ago
• op-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆63Updated 8 months ago
• clvv / rcc
  ☆24Updated last year
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆73Updated 2 years ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆41Updated 4 months ago
• init4tech / ajj
  A simple, modern, ergonomic JSON-RPC router, using tower and axum
  ☆52Updated last week
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆34Updated 2 years ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated this week
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• gballet / verkle-block-sample
  ☆39Updated 2 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 2 years ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• personaelabs / merkle-tree
  ☆31Updated last year
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆61Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆49Updated last year
• yetanotherco / zkRust
  ☆40Updated 5 months ago
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 7 months ago
• RadiantAeon / solhana-ctf
  solve scripts for all 3 of @0xhana's paradigm ctf challs!
  ☆20Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year