ethereum-execution 2.18.0rc6.dev2__py3-none-any.whl

ethereum/forks/london/vm/instructions/bitwise.py

@@ -0,0 +1,245 @@
+"""
+Ethereum Virtual Machine (EVM) Bitwise Instructions.
+
+.. contents:: Table of Contents
+    :backlinks: none
+    :local:
+
+Introduction
+------------
+
+Implementations of the EVM bitwise instructions.
+"""
+
+from ethereum_types.numeric import U256, Uint
+
+from .. import Evm
+from ..gas import GAS_VERY_LOW, charge_gas
+from ..stack import pop, push
+
+
+def bitwise_and(evm: Evm) -> None:
+    """
+    Bitwise AND operation of the top 2 elements of the stack. Pushes the
+    result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    x = pop(evm.stack)
+    y = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    push(evm.stack, x & y)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def bitwise_or(evm: Evm) -> None:
+    """
+    Bitwise OR operation of the top 2 elements of the stack. Pushes the
+    result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    x = pop(evm.stack)
+    y = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    push(evm.stack, x | y)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def bitwise_xor(evm: Evm) -> None:
+    """
+    Bitwise XOR operation of the top 2 elements of the stack. Pushes the
+    result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    x = pop(evm.stack)
+    y = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    push(evm.stack, x ^ y)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def bitwise_not(evm: Evm) -> None:
+    """
+    Bitwise NOT operation of the top element of the stack. Pushes the
+    result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    x = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    push(evm.stack, ~x)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def get_byte(evm: Evm) -> None:
+    """
+    For a word (defined by next top element of the stack), retrieve the
+    Nth byte (0-indexed and defined by top element of stack) from the
+    left (most significant) to right (least significant).
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    byte_index = pop(evm.stack)
+    word = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    if byte_index >= U256(32):
+        result = U256(0)
+    else:
+        extra_bytes_to_right = U256(31) - byte_index
+        # Remove the extra bytes in the right
+        word = word >> (extra_bytes_to_right * U256(8))
+        # Remove the extra bytes in the left
+        word = word & U256(0xFF)
+        result = word
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def bitwise_shl(evm: Evm) -> None:
+    """
+    Logical shift left (SHL) operation of the top 2 elements of the stack.
+    Pushes the result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    shift = Uint(pop(evm.stack))
+    value = Uint(pop(evm.stack))
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    if shift < Uint(256):
+        result = U256((value << shift) & Uint(U256.MAX_VALUE))
+    else:
+        result = U256(0)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def bitwise_shr(evm: Evm) -> None:
+    """
+    Logical shift right (SHR) operation of the top 2 elements of the stack.
+    Pushes the result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    shift = pop(evm.stack)
+    value = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    if shift < U256(256):
+        result = value >> shift
+    else:
+        result = U256(0)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def bitwise_sar(evm: Evm) -> None:
+    """
+    Arithmetic shift right (SAR) operation of the top 2 elements of the stack.
+    Pushes the result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    shift = int(pop(evm.stack))
+    signed_value = pop(evm.stack).to_signed()
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    if shift < 256:
+        result = U256.from_signed(signed_value >> shift)
+    elif signed_value >= 0:
+        result = U256(0)
+    else:
+        result = U256.MAX_VALUE
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)

ethereum/forks/london/vm/instructions/block.py

@@ -0,0 +1,212 @@
+"""
+Ethereum Virtual Machine (EVM) Block Instructions.
+
+.. contents:: Table of Contents
+    :backlinks: none
+    :local:
+
+Introduction
+------------
+
+Implementations of the EVM block instructions.
+"""
+
+from ethereum_types.numeric import U256, Uint
+
+from .. import Evm
+from ..gas import GAS_BASE, GAS_BLOCK_HASH, charge_gas
+from ..stack import pop, push
+
+
+def block_hash(evm: Evm) -> None:
+    """
+    Push the hash of one of the 256 most recent complete blocks onto the
+    stack. The block number to hash is present at the top of the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    block_number = Uint(pop(evm.stack))
+
+    # GAS
+    charge_gas(evm, GAS_BLOCK_HASH)
+
+    # OPERATION
+    max_block_number = block_number + Uint(256)
+    current_block_number = evm.message.block_env.number
+    if (
+        current_block_number <= block_number
+        or current_block_number > max_block_number
+    ):
+        # Default hash to 0, if the block of interest is not yet on the chain
+        # (including the block which has the current executing transaction),
+        # or if the block's age is more than 256.
+        current_block_hash = b"\x00"
+    else:
+        current_block_hash = evm.message.block_env.block_hashes[
+            -(current_block_number - block_number)
+        ]
+
+    push(evm.stack, U256.from_be_bytes(current_block_hash))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def coinbase(evm: Evm) -> None:
+    """
+    Push the current block's beneficiary address (address of the block miner)
+    onto the stack.
+
+    Here the current block refers to the block in which the currently
+    executing transaction/call resides.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, U256.from_be_bytes(evm.message.block_env.coinbase))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def timestamp(evm: Evm) -> None:
+    """
+    Push the current block's timestamp onto the stack. Here the timestamp
+    being referred is actually the unix timestamp in seconds.
+
+    Here the current block refers to the block in which the currently
+    executing transaction/call resides.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, evm.message.block_env.time)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def number(evm: Evm) -> None:
+    """
+    Push the current block's number onto the stack.
+
+    Here the current block refers to the block in which the currently
+    executing transaction/call resides.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, U256(evm.message.block_env.number))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def difficulty(evm: Evm) -> None:
+    """
+    Push the current block's difficulty onto the stack.
+
+    Here the current block refers to the block in which the currently
+    executing transaction/call resides.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, U256(evm.message.block_env.difficulty))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def gas_limit(evm: Evm) -> None:
+    """
+    Push the current block's gas limit onto the stack.
+
+    Here the current block refers to the block in which the currently
+    executing transaction/call resides.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, U256(evm.message.block_env.block_gas_limit))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def chain_id(evm: Evm) -> None:
+    """
+    Push the chain id onto the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, U256(evm.message.block_env.chain_id))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)

ethereum/forks/london/vm/instructions/comparison.py

@@ -0,0 +1,177 @@
+"""
+Ethereum Virtual Machine (EVM) Comparison Instructions.
+
+.. contents:: Table of Contents
+    :backlinks: none
+    :local:
+
+Introduction
+------------
+
+Implementations of the EVM Comparison instructions.
+"""
+
+from ethereum_types.numeric import U256, Uint
+
+from .. import Evm
+from ..gas import GAS_VERY_LOW, charge_gas
+from ..stack import pop, push
+
+
+def less_than(evm: Evm) -> None:
+    """
+    Checks if the top element is less than the next top element. Pushes the
+    result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    left = pop(evm.stack)
+    right = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    result = U256(left < right)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def signed_less_than(evm: Evm) -> None:
+    """
+    Signed less-than comparison.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    left = pop(evm.stack).to_signed()
+    right = pop(evm.stack).to_signed()
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    result = U256(left < right)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def greater_than(evm: Evm) -> None:
+    """
+    Checks if the top element is greater than the next top element. Pushes
+    the result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    left = pop(evm.stack)
+    right = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    result = U256(left > right)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def signed_greater_than(evm: Evm) -> None:
+    """
+    Signed greater-than comparison.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    left = pop(evm.stack).to_signed()
+    right = pop(evm.stack).to_signed()
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    result = U256(left > right)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def equal(evm: Evm) -> None:
+    """
+    Checks if the top element is equal to the next top element. Pushes
+    the result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    left = pop(evm.stack)
+    right = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    result = U256(left == right)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def is_zero(evm: Evm) -> None:
+    """
+    Checks if the top element is equal to 0. Pushes the result back on the
+    stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    x = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    result = U256(x == 0)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)