EVM Toolkit (`etk`)

etk is a collection of tools for writing, reading, and analyzing EVM bytecode.

Documentation

The etk book is the most comprehensive guide to using etk.

There are also several examples in the etk-asm/tests/asm directory. For further questions, join us on Telegram.

etk requires the latest rustc from the stable channel.

cargo install --features cli etk-asm etk-dasm

contract.etk:

push1 42
push1 13
add
pop

$ eas contract.etk out.hex
$ disease --hex-file out.hex
   0:   push1 0x2a
   2:   push1 0x0d
   4:   add
   5:   pop

ecfg requires z3 to build Ubuntu Installation Instructions (example):

sudo apt-get update -y
sudo apt-get install -y z3
sudo apt-get install -y libz3-dev

Check the system logs to confirm that there are no related errors.