Alternatives and similar repositories for solvency-proofs:

Users that are interested in solvency-proofs are comparing it to the libraries listed below

• MystenLabs / dapol
  DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees
  ☆16Updated last year
• MystenLabs / anemo
  ☆44Updated 5 months ago
• MystenLabs / mysten-sim
  Deterministic executor + network sim for tokio-based systems.
  ☆16Updated 2 weeks ago
• MystenLabs / mysten-infra
  Common infrastructure used by multiple Mysten projects
  ☆36Updated 2 years ago
• bmwill / anemo
  ☆13Updated 9 months ago
• rust-blockchain / evm-tests
  ☆12Updated last year
• ChorusOne / tendermint-light-client
  Implementation of tendermint light client in rust can be compiled to wasm.
  ☆28Updated 4 years ago
• MystenLabs / truncator
  Compress cryptographic outputs via mining
  ☆23Updated 2 years ago
• celo-org / snark-setup
  ☆18Updated last year
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆64Updated 8 months ago
• matter-labs / ff
  Traits and utilities for working with finite fields
  ☆17Updated 6 months ago
• corestario / HERB
  Homomorphic Encryption Randomness Beacon
  ☆13Updated 5 years ago
• NilFoundation / solana-consensus-proof
  In-EVM Solana Light Client State Verification
  ☆35Updated 9 months ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 2 weeks ago
• penumbra-zone / decaf377
  decaf377 is a prime-order group designed for use in SNARKs over BLS12-377
  ☆15Updated 3 months ago
• Sovereign-Labs / solana-proofs
  ☆24Updated last year
• rozbb / ct-merkle
  An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)
  ☆35Updated 3 months ago
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated last year
• jpopesculian / ed25519-dalek-bip32
  Simplified ed25519 BIP32 derivations
  ☆24Updated last year
• cosmos / ibc-proto-rs
  Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security
  ☆51Updated last month
• Irys-xyz / rust-sdk
  ☆21Updated 6 months ago
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated 3 months ago
• axic / zkoisc
  Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.
  ☆13Updated 3 years ago
• arkworks-rs / sponge
  This library is archived; see crypto-primities for the latest version of this code
  ☆22Updated 2 years ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 7 months ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆24Updated 5 years ago
• aurora-is-near / sputnikvm
  Aurora EVM implementation based on fork of SputnikVM.
  ☆17Updated 2 weeks ago
• celestiaorg / test-infra
  Testing infrastructure for the Celestia Network
  ☆25Updated 7 months ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆29Updated 5 months ago
• arkworks-rs / accumulation
  Rust library for accumulation schemes
  ☆23Updated 2 years ago