Programmable Economic and Insured Security for Lightweight Blockchain Clients

This work introduces a light client protocol for Proof-of-Stake blockchains that provides programmable economic security and an optional insured security feature. The protocol ensures the cost of corrupting data provided to light clients outweighs the potential profit, deterring malicious actors. It also enables light clients to customize their security level and purchase insurance against potential losses.