We prove that the extension complexity of independence polytope every regular matroid on [Formula: see text] elements is text]. Past results Wong and Martin extended formulations spanning tree a graph imply bound for special case (co)graphic matroids. However, general was open, despite recent attempts. also consider circuit dominants matroids, which we give bound.