NilFoundation / solana-consensus-proof
In-EVM Solana Light Client State Verification
☆34Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for solana-consensus-proof
- Rescue and Poseidon hash function implementations☆42Updated 3 months ago
- Remote Attestation VErification☆29Updated 3 months ago
- KZG commitments over BLS12-381☆32Updated 2 years ago
- A toy Cairo VM implementation in Rust™☆71Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Cryptographic protocols☆37Updated last year
- ☆32Updated 10 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- Solidity verifier for Plonk☆41Updated 3 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- Using folding schemes for a provable bitcoin light client☆28Updated 6 months ago
- Crypto Gadgets for Plonky2☆71Updated 6 months ago
- Arkworks circuits for verifiable time-lock encryption☆86Updated 2 years ago
- ☆30Updated 3 weeks ago
- Batch ECDSA in circom☆32Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated this week
- Delve into low-level RISC Zero machine☆27Updated 10 months ago
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆36Updated this week
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆49Updated this week
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- ☆40Updated 3 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- An observatory fork of SP1 (contact: @huitseeker)☆48Updated this week
- ☆31Updated 8 months ago
- ☆34Updated last year
- PoC of Revm execution in SGX☆81Updated last year