You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We focus on verifying the Paris version of the EVM. We will start with the arithmetic.py file that describes the primitive arithmetic operations. The relevant files are:
We focus on verifying the Paris version of the EVM. We will start with the
arithmetic.py
file that describes the primitive arithmetic operations. The relevant files are:The goal of this task is to complete the simulation file to have a definition for rest of the functions:
add
sub
mul
div
sdiv
mod
smod
addmod
mulmod
exp
signextend
This might require adding some definitions for functions in other files as well, when they are called. For now, only the
add
function is defined.The text was updated successfully, but these errors were encountered: