Investigadores han desarrollado un método innovador para compilar circuitos clásicos arbitrarios en circuitos tolerantes a fallos. Este avance permite que el circuito realice la computación deseada incluso cuando un número casi lineal de bits es seleccionado y corrompido de manera adversaria en cada paso de tiempo. La capacidad de un sistema para funcionar correctamente a pesar de errores intencionados o aleatorios es crucial para la fiabilidad de la computación, especialmente en entornos donde la integridad de los datos puede ser comprometida.

Una variante de este esquema de tolerancia a fallos, que se enfoca en la detección de corrupciones en lugar de su corrección, ha permitido la construcción de Pruebas Probabilísticamente Comprobables (PCPs) para problemas en la clase de complejidad NP. Estas PCPs presentan una complejidad de consulta polilogarítmica, lo que representa una mejora significativa en la eficiencia de la verificación de pruebas computacionales. Los PCPs son herramientas fundamentales en complejidad computacional y criptografía, permitiendo verificar la corrección de un cálculo con solo examinar una pequeña parte de la prueba.

Esta construcción de PCPs a partir de la tolerancia a fallos es particularmente relevante porque ofrece un camino prometedor para la cuantificación. Trabajos recientes han proporcionado una hoja de ruta para la construcción de PCPs cuánticos a través de la tolerancia a fallos. El desarrollo de PCPs cuánticos es un objetivo clave en la computación cuántica, con implicaciones para la verificación de cálculos cuánticos complejos y la seguridad de los protocolos cuánticos. Este avance clásico, por tanto, sienta bases importantes para futuras investigaciones en el ámbito cuántico.