Skip to main content

Erasure-Free Security

Definition

Erasure-free security refers to a cryptographic proof concept where the security argument does not rely on the ability of a simulator to rewind or “erase” the adversary’s actions. This is a stronger form of security proof compared to those relying on rewinding, as it more accurately models real-world adversarial capabilities where past interactions cannot be undone. Achieving erasure-free security often requires more sophisticated cryptographic techniques and assumptions. It provides a higher level of confidence in a protocol’s resilience against adaptive attacks.