FlyClient: Super-Light Clients for Cryptocurrencies