Rozumiem, że istnieje konstruktywny dowód, że dowolne bramy można aproksymować skończonym uniwersalnym zestawem bram, którym jest Twierdzenie Solovaya – Kitaeva . Jednak przybliżenie wprowadza błąd, który rozprzestrzenia się i kumuluje w długim obliczeniu. Prawdopodobnie byłoby to źle skalowane...