The Ultimate Form of Modular Blockchains: Separation and Recombination of Data Availability, Execution, and Consensus