On a conjecture of Marton

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.