Mainnet analysis

This section contains multiple analysis done on how stateless protocol changes would behave on mainnet. This helps to understand how different properties such as proof sizes, UX impact, and others would behave on mainnet state access patterns.