Se busca verificar que cierto dispositivo lleva a cabo una transformacion unitaria $\mathcal U$, sin embargo, lo que en realidad lleva a cabo es un canal desconocido $\Lambda$.

Fuente: Efficient verification of quantum gates with local operations