MystenLabs / mysticeti

Related projects ⓘ

Alternatives and complementary repositories for mysticeti

• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆74Updated this week
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆49Updated this week
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆39Updated last week
• argumentcomputer / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆69Updated last week
• succinctlabs / vectorx
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆45Updated 5 months ago
• parallelchain-io / hotstuff_rs
  Rust implementation of the HotStuff consensus algorithm.
  ☆39Updated last week
• argumentcomputer / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆80Updated last week
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆36Updated this week
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated 9 months ago
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆22Updated this week
• argumentcomputer / sphinx
  An observatory fork of SP1 (contact: @huitseeker)
  ☆48Updated this week
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆53Updated this week
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 11 months ago
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 2 months ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆70Updated 3 weeks ago
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆79Updated 7 months ago
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• MystenLabs / mysten-sim
  Deterministic executor + network sim for tokio-based systems.
  ☆14Updated last month
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 3 months ago
• commonwarexyz / monorepo
  Commonware Library Primitives and Examples
  ☆51Updated this week
• alloy-rs / rlp
  Fast implementation of Ethereum RLP serialization
  ☆88Updated 3 weeks ago
• zkmove / halo2-verifier.move
  A set of tooling of halo2 circuits verification in Move environments
  ☆16Updated 3 months ago
• MystenLabs / dapol
  DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees
  ☆16Updated 10 months ago
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆95Updated last week
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• vacp2p / zk-explorations
  ☆32Updated 7 months ago
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆55Updated last month
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆38Updated 4 months ago
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆18Updated last month