Sovereign-Labs / solana-proofsLinks
☆26Updated last year
Alternatives and similar repositories for solana-proofs
Users that are interested in solana-proofs are comparing it to the libraries listed below
Sorting:
- ☆28Updated last month
- solana + risc0☆79Updated last month
- In-EVM Solana Light Client State Verification☆35Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- ☆29Updated 2 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆57Updated 2 months ago
- ☆35Updated 3 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆77Updated last month
- On-chain Ethereum light client built with SP1☆60Updated last week
- groth16 verifier implementation with solana altbn syscalls☆50Updated last month
- ☆47Updated 3 months ago
- ☆23Updated last month
- Solana SVM, modularized.☆57Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated last month
- Avalanche APIs/VM SDK in Rust☆44Updated last year
- Solana list of zk shiz☆22Updated last year
- Common infrastructure used by multiple Mysten projects☆37Updated 2 years ago
- A minimal reimplementation of Tendermint in Rust☆25Updated last month
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆17Updated last year
- A searcher of searchers☆51Updated last year
- ☆18Updated last year
- Repository for research on Suave.☆23Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- run a chain inside a chain☆26Updated 4 months ago
- Tower-based ABCI interface.☆76Updated 5 months ago
- Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security☆55Updated 3 weeks ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 10 months ago
- SimpleSerialize (SSZ) implementation optimised for speed and security☆25Updated last month
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆55Updated 2 years ago
- Efficient cryptographic primitives for arbitrary cryptography on Secp256k1 in SVM☆18Updated 7 months ago