A light client lets a user independently verify on-chain information using only a small set of block headers and cryptographic proofs, without downloading and storing the entire blockchain, and without blindly trusting a data provider.