Interactive Specification of Ethereum Rollups - View it on GitHub