NilFoundation / solana-consensus-proofLinks
In-EVM Solana Light Client State Verification
☆35Updated last year
Alternatives and similar repositories for solana-consensus-proof
Users that are interested in solana-consensus-proof are comparing it to the libraries listed below
Sorting:
- Arkworks circuits for verifiable time-lock encryption☆89Updated 2 years ago
- ☆25Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Cryptographic protocols☆39Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- ☆20Updated 10 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- PoC of Revm execution in a Nitro Enclave☆29Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- On-chain Ethereum light client built with SP1☆53Updated this week
- ☆39Updated 2 years ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆43Updated last year
- ☆45Updated last month
- A toy Cairo VM implementation in Rust™☆73Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- circom runtime☆19Updated 7 months ago
- Solidity verifier for Plonk☆42Updated 9 months ago
- Ethereum Virtual Machine implementation from scratch in Rust☆26Updated 3 years ago
- Splitting seed phrases into shares☆63Updated 3 years ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- ☆27Updated last month
- A standalone consensus networking service for listening to events☆54Updated last year
- Rust PLONK implementation☆38Updated 9 months ago
- Crypto Gadgets for Plonky2☆71Updated last year
- Repository for research on Suave.☆23Updated last year
- ☆33Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago