Paged memory allocation for the EVM

Status history

1. Draft6 Mar 2021
2. ⋯Stagnantdate not observed

Abstract

Presently, the EVM charges for memory as a linear array starting at address 0 and extending to the highest address that has been read from or written to. This suffices for simple uses, but means that compilers have to generate programs that use memory compactly, which leads to wasted gas with reallocation of memory elements, and makes some memory models such as separate heap and stack areas…