Client that verifies headers and proofs without storing full chain state; ideal for wallets and bridges.