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
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- PoC of Revm execution in a Nitro Enclave☆29Updated last year
- ☆40Updated 10 months ago
- Arkworks circuits for verifiable time-lock encryption☆86Updated 2 years ago
- Crypto Gadgets for Plonky2☆71Updated 5 months ago
- Cryptographic protocols☆37Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆48Updated 2 years ago
- Halo2 Merkle tree circuits☆32Updated 3 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- ☆31Updated 8 months ago
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- A toy Cairo VM implementation in Rust™☆71Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Remote Attestation VErification☆29Updated 3 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- PoC of Revm execution in SGX☆81Updated last year
- Delve into low-level RISC Zero machine☆27Updated 10 months ago
- ☆32Updated 10 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- KZG commitments over BLS12-381☆32Updated 2 years ago
- ethers-rs middleware and signer for Fireblocks' APIs☆48Updated 7 months ago
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 2 years ago
- Solidity verifier for Plonk☆41Updated 2 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆59Updated 3 months ago
- ☆26Updated 11 months ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated last year
- Cross-zk-rollup aggregation☆59Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Implementation of ethereum's `ssz`☆103Updated last month