acad2

Thanks for your kind reply. I found two implementations for GIFT-128: 1. [Github/Qantik](https://github.com/qantik/The-Area-Latency-Symbiosis) has 4 implementations (differences among which are not clear). There seems to be a minor typo in...

OK, thanks for the reply. Just to be sure, for the Gift-128 12-round case the program (which does not seem to terminate) should actually terminate and print 'no distinguisher'?