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

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

• Introduction
• Usage
  • eas
  • disease
• Language & Syntax

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

• etk-Foundry Template

• vim-etk

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.