Error Correction of Transversal cnot Gates for Scalable Surface-Code Computation | Synapse