zkmove / zkmove-lite

Related projects ⓘ

Alternatives and complementary repositories for zkmove-lite

• zkmove / zkmove
  A zero-knowledge Move language runtime environment.
  ☆77Updated 11 months ago
• zkmove / smt-circuit
  A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
  ☆17Updated 2 weeks ago
• rooch-network / smt
  Sparse Merkle Tree
  ☆13Updated last year
• fabrizio-m / TyPLONK
  Rust PLONK implementation
  ☆38Updated 2 months ago
• nulltea / tss-libp2p
  Rust-libp2p transport for {t,n}-threshold signature schemes
  ☆33Updated 2 years ago
• Origin-Byte / originmate
  Library of module building blocks for Sui
  ☆14Updated last year
• arnaucube / poseidon-rs
  Poseidon hash function
  ☆73Updated last year
• Antalpha-Labs / baby-plonk
  Simplified educational python plonk implementation
  ☆38Updated 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
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆91Updated last year
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆56Updated 5 months ago
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated 9 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆71Updated 2 years ago
• succinctlabs / plonky3
  ☆24Updated 7 months ago
• privacy-scaling-explorations / poseidon
  ☆40Updated 3 months ago
• rooch-network / flexEmu
  General purpose bytecode emulator with per-step proof
  ☆35Updated last year
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated 3 months ago
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆95Updated last week
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• EDGDrummond / EF-grant
  ☆23Updated last year
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆55Updated last month
• aszepieniec / stark-brainfuck
  Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…
  ☆48Updated 3 months ago
• w3f / apk-proofs
  ☆56Updated 11 months ago
• zksecurity / stark-book
  STARK book
  ☆21Updated last month
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 11 months ago
• zisequkuai / zk
  zk Library
  ☆12Updated last year
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆18Updated last month
• octopus-network / octopus-pallets
  Collection of pallets used in Octopus Network
  ☆22Updated 11 months ago
• arkworks-rs / std
  A standard library wrapper for use in the `arkworks` ecosystem
  ☆37Updated 3 weeks ago