The property of a cryptographic algorithm that ensures that a change in a few input bits leads to potential changes in many of the output bits.