  We prove a conjecture of K. Marton, widely known as the polynomial
Freiman--Ruzsa conjecture, in characteristic $2$. The argument extends to odd
characteristic, with details to follow in a subsequent paper.
