Provable cryptography avoids the situation of mere obfuscation that can be undone by a clever enough attacker / strategy — given the security assumption holds — and provides bounds and thus a guideline on how to choose parameters to guarantee a desired level of privacy. Algorithms invest a given privacy budget at privacy-critical steps. With this in mind, differential privacy is an additional design paradigm for cryptographic algorithms and protocols to keep in mind.

Link zur Quelle