Rumata888 / buggy-asm-solution

Buggy asm solution

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