Sovereign-Labs / solana-proofs
☆19Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for solana-proofs
- Deterministic executor + network sim for tokio-based systems.☆14Updated last month
- Starknet sequencer built with Tendermint Core☆53Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆39Updated last month
- An implementation of a namespaced merkle tree in Rust.☆26Updated 2 months ago
- groth16 verifier implementation with solana altbn syscalls☆24Updated 2 months ago
- Common infrastructure used by multiple Mysten projects☆36Updated last year
- Ethereum Virtual Machine implementation from scratch in Rust☆26Updated 3 years ago
- ☆57Updated this week
- ☆26Updated 2 years ago
- solana + risc0☆59Updated this week
- Solana SVM, modularized.☆49Updated 7 months ago
- ☆15Updated 10 months ago
- A research-only integration of Sovereign with Celestia☆20Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆59Updated 3 months ago
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- A searcher of searchers☆51Updated 9 months ago
- Pure Move implementation of U256 numbers☆28Updated 8 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Pessimistic proof for the AggLayer.☆26Updated 4 months ago
- ☆21Updated 3 months ago
- Fast implementation of Ethereum RLP serialization☆88Updated 2 weeks ago
- Secure and optimized communication layer for rollups using EigenDA.☆15Updated this week
- ☆17Updated this week
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆16Updated 10 months ago
- ☆20Updated 3 weeks ago
- The digital asset standard for Sui. (Deprecated; see /capsules instead.)☆15Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- Rust implementation of the Agglayer.☆73Updated this week
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago