MystenLabs / solvency-proofsLinks
Cryptographic Solvency Proofs (schemes, standards, links, edu material)
☆14Updated 3 years ago
Alternatives and similar repositories for solvency-proofs
Users that are interested in solvency-proofs are comparing it to the libraries listed below
Sorting:
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆17Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- This library is archived; see crypto-primities for the latest version of this code☆21Updated 2 years ago
- ☆42Updated 4 years ago
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆38Updated 2 years ago
- Rust implementation for zcash/pasta☆84Updated 9 months ago
- In-EVM Solana Light Client State Verification☆36Updated last year
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆41Updated 6 years ago
- A battleship game using ZKPs☆43Updated 2 years ago
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated 2 years ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 3 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆38Updated 10 months ago
- ☆18Updated last year
- circom runtime☆20Updated last year
- Celestia derivation pipeline and proof crate built with kona☆15Updated last month
- ☆76Updated 2 years ago
- ☆17Updated 3 years ago
- ☆38Updated 4 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆83Updated 8 months ago
- Deterministic executor + network sim for tokio-based systems.☆20Updated last week
- EigenTrust - A distributed reputation system☆115Updated 2 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆59Updated 2 years ago
- Elliptic curve group traits and utilities.☆99Updated 9 months ago
- Implementation of the Zcash Orchard Protocol☆64Updated 2 months ago
- ☆45Updated 9 months ago
- CosmWasm + zkVM RISC-V EFI template☆23Updated 3 years ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆84Updated 2 years ago
- Aggregatable Distributed Key Generation☆49Updated 3 years ago