Z3ncoder z3ncoder is a simple script made for encoding addresses using the subtraction technique described here and here and the z3 theorem solver Install $ git clone https://github.com/marcosValle/z3ncoder $ cd z3ncoder $ pip install z3-solver $ python3 solve.py Example
