I. Introduction
Decentralization and security properties of blockchains have led to their applications in a wide variety of fields [1]– [7]. A blockchain is an immutable ledger of transaction blocks. Full nodes in a blockchain system store the entire ledger and validate transactions. However, for better scalability, blockchains also run light nodes who store the header of each block and cannot validate transactions. Light nodes rely on honest full nodes for fraud proofs [8] in order to reject invalid blocks.