This section contains a detailed description of all the libraries that can be used in EVM Execution Environments.