NilFoundation / solana-consensus-proof
In-EVM Solana Light Client State Verification
☆35Updated 8 months ago
Alternatives and similar repositories for solana-consensus-proof:
Users that are interested in solana-consensus-proof are comparing it to the libraries listed below
- ☆23Updated last year
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆87Updated 2 years ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 2 years ago
- Cryptographic protocols☆37Updated last year
- Solidity verifier for Plonk☆41Updated 5 months ago
- Cross-zk-rollup aggregation☆59Updated last year
- A toy Cairo VM implementation in Rust™☆72Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated 11 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆52Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Crypto Gadgets for Plonky2☆71Updated 8 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- FHE in the Risc0 zkVM☆25Updated last year
- ☆33Updated last year
- Remote Attestation VErification☆30Updated 6 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆62Updated 6 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 5 months ago
- PoC of Revm execution in SGX☆80Updated last year
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- PoC of Revm execution in a Nitro Enclave☆29Updated last year
- An implementation of a namespaced merkle tree in Rust.☆29Updated 4 months ago
- ☆44Updated last year
- On-chain Ethereum light client built with SP1☆32Updated 2 weeks ago
- RISC-V interactive fault proof tech☆99Updated this week
- Implementation of Plonk by Hand in rust☆60Updated 11 months ago
- Rust PLONK implementation☆38Updated 4 months ago