https://hazecrypto.net/audit/antiample