Skip to content

Back to the catalog

Formalization of the Invariant Duality Theorem
ethereum-magicians.orgthread

Formalization of the Invariant Duality Theorem

An Ethereum Magicians forum post formalizes an "Invariant Duality Theorem": in a permissionless network, a protocol cannot simultaneously achieve Perfect Indistinguishability (traffic statistically indistinguishable from white noise under DPI) and Resource Exhaustion Resistance (O(1) early rejection of junk packets). The proof sketch argues that indistinguishable traffic forces receivers to run expensive deobfuscation on all packets including attacker-generated noise (enabling DoS), while any cheap early-filter function, by Kerckhoffs's principle, becomes a public signature a censor can hardware-implement to block the protocol. This is a theoretical tradeoff relevant to designing or attacking covert/anti-censorship transport protocols.

TL;DR Forum post formalizes a proof that perfect DPI-resistant traffic obfuscation and cheap DoS-filtering are mutually exclusive in permissionless networks.

Organisations named here

  • Deep Packet Inspection
  • Kerckhoffs's principle

Technologies named here

  • Ethereum

Techniques named here

  • Resource Exhaustion