This is the solution for the CTFZone task Buggy Asm (source here).
Run
docker build -t barretenberg-solution .
For fast solution using cached bug-inducing points:
docker run -t barretenberg-solution sage --python -u mal_client.py fast cryptotraining.zone 1353
For slow solution with SMT:
docker run -t barretenberg-solution sage --python -u mal_client.py slow cryptotraining.zone 1353