Se busca verificar que cierto dispositivo lleva a cabo una transformacion unitaria U\mathcal UU, sin embargo, lo que en realidad lleva a cabo es un canal desconocido Λ\LambdaΛ.
Fuente: Efficient verification of quantum gates with local operations