Exact Formula for RX-Differential Probability Through Modular Addition for All Rotations
This work presents an exact and compact formula for the probability of rotation-xor differentials (RX-differentials) through modular addition, for arbitrary rotation amounts, which has been a long-standing open jake wire tighteners problem.The formula comes with a rigorous proof and is also verified by extensive experiments.Our formula uncovers err