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.
  ☆20Updated 3 months ago
• ethstorage / pm
  ☆10Updated this week
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆62Updated 6 months ago
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated 11 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆42Updated last year
• zkmove / zkmove
  A zero-knowledge Move language runtime environment.
  ☆77Updated this week
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆60Updated 3 months ago
• reddio-com / itachi
  A high performance decentralized modular sequencer for Starknet
  ☆19Updated 4 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.
  ☆22Updated 5 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
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆114Updated last week
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 3 years ago
• zkmove / smt-circuit
  A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
  ☆17Updated 2 months ago
• zkmove / zkmove-lite
  A fast zero-knowledge proof friendly Move language runtime environment.
  ☆48Updated last year
• ava-labs / avalanche-rs
  Avalanche APIs/VM SDK in Rust
  ☆44Updated 7 months ago
• MystenLabs / mysten-sim
  Deterministic executor + network sim for tokio-based systems.
  ☆14Updated 2 weeks ago
• informalsystems / sovereign-ibc
  Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups
  ☆22Updated 6 months ago
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• Conflux-Chain / confura
  Ethereum infura like service to provide RPC endpoints for Conflux network.
  ☆28Updated this week
• zksecurity / stark-book
  STARK book
  ☆20Updated 3 months ago
• succinctlabs / zkvm-perf
  ☆19Updated 3 months ago
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆23Updated last month
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 4 months ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆41Updated last month
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆58Updated 8 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆46Updated last month
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 4 months ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆26Updated this week
• zkmove / halo2-verifier.move
  A set of tooling of halo2 circuits verification in Move environments
  ☆16Updated 5 months ago
• fabrizio-m / TyPLONK
  Rust PLONK implementation
  ☆38Updated 4 months ago