Alternatives and similar repositories for mysticeti

Users that are interested in mysticeti are comparing it to the libraries listed below

• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆135Updated this week
• parallelchain-io / hotstuff_rs
  Performant Byzantine Fault Tolerant State Machine Replication (BFT SMR) in Rust.
  ☆47Updated 5 months ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆56Updated last month
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆51Updated 6 months ago
• 0xPolygonZero / zk_evm
  ☆94Updated last month
• cosmos / ibc-proto-rs
  Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security
  ☆55Updated last week
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆69Updated 4 months ago
• zkmove / zkmove
  A zero-knowledge Move language runtime environment.
  ☆81Updated last month
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆73Updated 4 months ago
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆25Updated 7 months ago
• crate-crypto / rust-verkle
  ☆123Updated 8 months ago
• lambdaclass / era_vm
  EraVM implementation
  ☆19Updated 9 months ago
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆102Updated last week
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆57Updated 2 weeks ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆84Updated 3 months ago
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆101Updated this week
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated last year
• EspressoSystems / HotShot
  ☆140Updated 3 months ago
• succinctlabs / gnark-plonky2-verifier
  ☆99Updated 10 months ago
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆103Updated last month
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆115Updated this week
• ava-labs / avalanche-rs
  Avalanche APIs/VM SDK in Rust
  ☆44Updated last year
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆71Updated this week
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆124Updated this week
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆96Updated this week
• arnaucube / poseidon-rs
  Poseidon hash function
  ☆76Updated 2 years ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆98Updated last week
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆37Updated last week
• reddio-com / reddio
  Parallel EVM layer2
  ☆36Updated last week
• privacy-scaling-explorations / snark-verifier
  ☆152Updated last year