reddio-com / reddio

Related projects ⓘ

Alternatives and complementary repositories for reddio

• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆56Updated 5 months ago
• zksecurity / stark-book
  STARK book
  ☆21Updated last month
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆18Updated last month
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• ethstorage / pm
  ☆9Updated 3 weeks ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆36Updated this week
• kurtpan666 / awesome-circlestark
  A curated list of awesome things related to learning Circle STARK.
  ☆20Updated last month
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆57Updated 7 months ago
• argumentcomputer / sphinx
  An observatory fork of SP1 (contact: @huitseeker)
  ☆48Updated this week
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆70Updated 3 weeks ago
• MystenLabs / dapol
  DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees
  ☆16Updated 10 months ago
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 2 months ago
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆49Updated this week
• summa-dev / halo2-experiments
  For practice to using halo2
  ☆22Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• privacy-scaling-explorations / poseidon
  ☆40Updated 3 months ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 11 months ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆32Updated 2 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated last year
• scroll-tech / ceno
  Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆49Updated this week
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 2 months ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆38Updated 4 months ago
• iosis-tech / swiftness
  Cairo-VM STARK Verifier Rust implementation
  ☆37Updated last month
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆32Updated 2 years ago
• sigma0-dev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆28Updated 2 months ago
• Antalpha-Labs / baby-plonk
  Simplified educational python plonk implementation
  ☆38Updated last month
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated 3 months ago