Title: Theoretical Treatment of Blockchain Scaling Protocols