Den teoretiske modellen for [[Kvantedatamaskiner]] først introdusert av [[David Deutsch]], dog visstnok et helvete å jobbe med, takket være unitaritetskravet (ifølge [[Scott Aaronson]] – kan jeg finne hvor han sa dette?). Som et resultat har mesteparten av forskningsmiljøet gått over til å benytte [[Kvantekretsmodellen]].