Stav dette: From proof complexity to circuit complexity via interactive protocols