NilFoundation / solana-consensus-proof
In-EVM Solana Light Client State Verification
☆35Updated 9 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
- ☆24Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆54Updated last year
- Remote Attestation VErification☆31Updated 7 months ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- ☆33Updated last year
- PoC of Revm execution in SGX☆79Updated last year
- ☆44Updated last year
- solve scripts for all 3 of @0xhana's paradigm ctf challs!☆20Updated 2 years ago
- On-chain Ethereum light client built with SP1☆39Updated 2 weeks ago
- Arkworks circuits for verifiable time-lock encryption☆89Updated 2 years ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 7 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Implementation of ethereum's `ssz`☆104Updated 5 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 6 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- Cryptographic protocols☆37Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Crypto Gadgets for Plonky2☆72Updated 9 months ago
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- ☆23Updated 2 months ago
- Using folding schemes for a provable bitcoin light client☆32Updated 9 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆32Updated 4 months ago
- ☆37Updated 4 months ago
- ☆33Updated this week
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated 2 years ago
- Halo2 Merkle tree circuits☆32Updated 3 years ago