Enabling stateless offline Bitcoin clients with STARKs
We will explore how to "compress" SPV proofs to make them self-sufficient, so that clients do not need to store Bitcoin block headers or maintain a connection to an RPC node in order to verify transaction inclusion.