etkpp is a fork of the original ETK, a collection of tools for writing, reading, and analyzing EVM bytecode, but with new features, tweaks and small modifications.
For the time being, you can refer to the original ETK documentation. We will soon publish a documentation adapted to the new features included in ETK++.
The etk book is the most comprehensive guide to using etk.
There are also several examples in the etk-asm/tests/asm directory.
etk++ requires the latest rustc from the stable channel.
cargo install --features cli etk-asm etk-dasmecfg 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-devCheck the system logs to confirm that there are no related errors.
While the original ETK developers are aware of the existence of this project, none of the design decisions, bugs or problems that may come along with the use of ETK++ should be associated with them. In the event that they consider that a feature of ETK++ should be adopted, it will be included and made available in the original project.