Baseline adjustment in a randomized trial with a binary endpoint

See here for the derivation of a robust and efficient estimator for comparing two proportions using baseline covariates. The estimator exploits the randomness of the group allocation to ensure robustness to a possible mispecification of the effect of the baseline variables.