Alternatives and similar repositories for smt:

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

• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 3 years ago
• pontem-network / u256
  Pure Move implementation of U256 numbers
  ☆29Updated 11 months ago
• DelphinusLab / zkWasm-prover
  ☆20Updated last week
• AstarNetwork / plonk
  ☆16Updated 2 years ago
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• pontem-network / sp-move-vm
  ⚙️ Diem's Move VM for WASM Runtime.
  ☆20Updated 2 years ago
• fluentlabs-xyz / rwasm
  rWASM related crates including VM and AOT compilers
  ☆10Updated this week
• MystenLabs / dapol
  DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees
  ☆16Updated last year
• Sovereign-Labs / Jupiter
  A research-only integration of Sovereign with Celestia
  ☆20Updated last year
• paritytech / arber
  Merkle-Mountain-Range library
  ☆17Updated 2 years ago
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated 3 months ago
• MystenLabs / truncator
  Compress cryptographic outputs via mining
  ☆23Updated 2 years ago
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆21Updated this week
• base / nitro-validator
  AWS Nitro enclave attestation verifier in Solidity, used by:
  ☆12Updated this week
• ethereum-optimism / batch-submitter
  [Optimism] Batches go zoom
  ☆13Updated 3 years ago
• ora-io / zkgraph
  Template for zkGraph.
  ☆19Updated 11 months ago
• SuccinctPaul / awesome-zk-verifier
  ☆13Updated this week
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• qizhou / research
  ☆17Updated 2 months ago
• nikkolasg / snarkpack
  snarkpack for arkwork
  ☆21Updated last year
• taoheorg / taohe
  Move smart contracts implementing nestable resources on MoveVM blockchains
  ☆18Updated 2 years ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 7 months ago
• Ferret-san / fuelmint
  ☆15Updated last year
• zkmove / smt-circuit
  A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
  ☆17Updated 3 months ago
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• ZenGo-X / rust-elgamal
  Rust implementation of ElGamal encryption
  ☆14Updated last year
• ethereum-optimism / regenesis
  [Optimism] State Dumps & Regenesis Automation
  ☆13Updated 3 years ago
• privacy-scaling-explorations / zkevm-docs
  AppliedZKP's zkEVM Documentation
  ☆25Updated 7 months ago
• lambdaclass / aleo_lambda_blockchain
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆16Updated 2 years ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆27Updated 2 weeks ago