Cryptanalysis—the task of finding attacks against cryptographic schemes—sits at the intersection of mathematical reasoning …