Alternatives and similar repositories for reddio:

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

• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆21Updated this week
• ethstorage / pm
  ☆10Updated 3 weeks ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆64Updated 8 months ago
• informalsystems / sovereign-ibc
  Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups
  ☆22Updated 8 months ago
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆43Updated last year
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated last year
• zkmove / zkmove-lite
  A fast zero-knowledge proof friendly Move language runtime environment.
  ☆48Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆48Updated 2 months ago
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• EDGDrummond / EF-grant
  ☆23Updated last year
• lita-xyz / rust-examples
  ☆17Updated 2 months ago
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆23Updated 2 months ago
• zksecurity / stark-book
  STARK book
  ☆20Updated 4 months ago
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆115Updated this week
• crate-crypto / go-ipa
  A Go implementation of cryptographic primitives for Verkle Trees
  ☆33Updated 6 months ago
• danielxiangzl / Block-STM
  Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
  ☆23Updated 6 months ago
• MystenLabs / dapol
  DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees
  ☆16Updated last year
• Layr-Labs / eigenpod-proofs-generation
  ☆21Updated this week
• deltadevsde / indexed-merkle-tree
  an implementation of indexed merkle trees based on descriptions from the paper by tzialla et al https://eprint.iacr.org/2021/1263.pdf
  ☆11Updated 6 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 3 weeks ago
• iden3 / circuits
  Circom circuits used by the iden3 core protocol.
  ☆87Updated 3 weeks ago
• emmaguo13 / zk-blind
  JWT verification with zero knowledge proofs
  ☆48Updated last year
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆65Updated last week
• MystenLabs / mysten-sim
  Deterministic executor + network sim for tokio-based systems.
  ☆16Updated 2 weeks ago
• zkmove / zkmove
  A zero-knowledge Move language runtime environment.
  ☆79Updated last month
• radiusxyz / delay-encryption-in-halo2
  ☆11Updated last year
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 5 months ago
• 0xyicheng / Awesome-Modular-Blockchain
  📃 List of articles and materials about Modular Blockchain
  ☆22Updated 2 years ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆27Updated last week
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆24Updated this week