[s1dev]

For a circuit of size C, the size of a fault tolerant circuit to compute the same thing is O(C polylog C)

https://arxiv.org/abs/quant-ph/9906129

[adastra22]

Technically correct is the best kind of correct.