Light Client Proof

Screenshots

Problem Statement

This project uses a general purpose zkVm to prove that the state transitions of blocks in a light client is done correctly. A proof is generated and a verifier is deployed on-chain. A relayer could use this data to post data on-chain for applications to be able to access them. This can potentially be used for bridging.

Solution

Experimenting with SP1 by Succinct Labs to prove state transition of two blocks have been done correctly. Tried using the Helios light client to do so. The updated block header can be put on a smart contract, where applications could then trustlessly prove data from Ethereum. This is just for personal experimentation.