Example program

This page helps illustrate the program schema's key concepts by offering a fictional pseudo-code example and its hypothetical compiled program.

Assume this fictional [somewhat] high-level language expects one contract per source file, where each contract defines its storage layout, high-level logic, and other metadata as top-level statements or blocks.

The following source code might be used to define a contract that increments a state variable if the caller pays at least 1 finney (0.001 ETH).

Interactive example

Source contents

Compiled opcodes

0x00: PUSH6 0x02ba7def3000 (hexadecimal for 3 finney)
0x07: CALLVALUE
0x08: LT
0x09: PUSH1 0x13
0x0b: JUMPI (jump to end unless sufficient fee)
0x0c: PUSH0 (push stack slot of state variable)
0x0d: SLOAD
0x0e: PUSH1 0x01
0x10: ADD
0x11: PUSH0
0x12: SSTORE
0x13: JUMPDEST

Details

tip

Select an instruction offset to see associated ethdebug/format debugging information.