Alternatives and similar repositories for mysticeti:

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

• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆49Updated 4 months ago
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆124Updated this week
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated last year
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆71Updated 2 months ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆51Updated this week
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆24Updated 4 months ago
• zkmove / zkmove
  A zero-knowledge Move language runtime environment.
  ☆79Updated 3 months ago
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆34Updated this week
• crate-crypto / rust-verkle
  ☆123Updated 5 months ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆67Updated 2 months ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆83Updated last month
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆61Updated this week
• parallelchain-io / hotstuff_rs
  Performant Byzantine Fault Tolerant State Machine Replication (BFT SMR) in Rust.
  ☆44Updated 3 months ago
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆96Updated this week
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 7 months ago
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆120Updated 2 years ago
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆72Updated 11 months ago
• succinctlabs / vectorx
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆45Updated 10 months ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated last year
• EspressoSystems / HotShot
  ☆142Updated last month
• 0xPolygonZero / zk_evm
  ☆92Updated 4 months ago
• succinctlabs / starkyx
  ☆63Updated 11 months ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆30Updated this week
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 3 weeks ago
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆90Updated this week
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated 11 months ago
• MystenLabs / anemo
  ☆45Updated last month
• cosmos / ibc-proto-rs
  Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security
  ☆53Updated this week
• privacy-scaling-explorations / snark-verifier
  ☆150Updated last year
• zkmove / halo2-verifier.move
  A set of tooling of halo2 circuits verification in Move environments
  ☆16Updated 8 months ago