evm v0.1.14 EVM.Builtin
Implements the built-in functions as defined in Appendix E of the Yellow Paper. These are contract functions that natively exist in Ethereum.
TODO: Implement and add doc tests.
Link to this section Summary
Link to this section Functions
Link to this function
run_ecrec(gas, exec_env)
run_ecrec(EVM.Gas.t, EVM.ExecEnv.t) :: {EVM.Gas.t, EVM.SubState.t, EVM.ExecEnv.t, EVM.VM.output}
Link to this function
run_id(gas, exec_env)
run_id(EVM.Gas.t, EVM.ExecEnv.t) :: {EVM.Gas.t, EVM.SubState.t, EVM.ExecEnv.t, EVM.VM.output}
Link to this function
run_rip160(gas, exec_env)
run_rip160(EVM.Gas.t, EVM.ExecEnv.t) :: {EVM.Gas.t, EVM.SubState.t, EVM.ExecEnv.t, EVM.VM.output}
Link to this function
run_sha256(gas, exec_env)
run_sha256(EVM.Gas.t, EVM.ExecEnv.t) :: {EVM.Gas.t, EVM.SubState.t, EVM.ExecEnv.t, EVM.VM.output}