LCP

El LCP (Light Client Proxy) es un middleware que realiza una verificación ligera de clientes para una cadena que se va a verificar (Upstream) en nombre de una cadena de verificación (Downstream) y genera pruebas que permiten a la parte descendente verificar la validez de Upstream a bajo costo. Existen varios esquemas de verificación para la comunicación entre cadenas, entre los que se incluyen: El método HTLC para un intercambio atómico de fichas. Esquema de validadores externos confiables que consiste en una o varias partes ajenas a la cadena. El método Light Client que verifica el consenso de cada cadena. El #1 está especializado en permutas atómicas y no es versátil. #2 tiene muchas variantes, como el uso de garantías o de Oracle. Sin embargo, todas ellas requieren suposiciones de confianza adicionales para las partes ajenas a la cadena. #3 es superior en términos de aplicabilidad y no requiere suposiciones de confianza adicionales, pero adolece de una baja escalabilidad debido a los altos costos de implementación y los altos costos de verificación. El coste de verificación del esquema de cliente ligero depende del algoritmo de consenso de cada cadena y de la disponibilidad de soporte para las primitivas criptográficas necesarias para la verificación. Por este motivo, el elevado coste de ejecución (coste del gas) del proceso de verificación suele ser un problema, especialmente en el caso de las cadenas basadas en EVM. Además, cada combinación de cadenas requiere una implementación sencilla por parte de los clientes, lo que dificulta su escalabilidad. Un intento de mejorar los problemas anteriores es ibc-proxy, que introduce una cadena de proxy que verifica el flujo ascendente en nombre del servidor descendente, y la cadena descendente verifica la cadena de proxy. Por lo tanto, no es necesario que cada cadena implemente un cliente ligero para su objetivo de comunicación. Sin embargo, esta arquitectura requiere un supuesto de confianza adicional para la cadena de proxy. El TEE (Trusted Execution Environment) es un entorno aislado en un procesador, también denominado Enclave. Los desarrolladores pueden configurar programas arbitrarios y ejecutarlos en el Enclave. Intel SGX y AMD SEV, dos implementaciones de TEE, también ofrecen una función llamada atestación remota, que permite a terceros verificar el entorno de ejecución, incluidos el hardware y sus programas. Proponemos el Light Client Proxy (LCP) como un nuevo esquema de proxy que permite realizar una verificación sencilla de los clientes en el Enclave mediante TEE y permitir la verificación a bajo costo de una cadena objetivo. Este esquema solo requiere la implementación de un cliente ligero para cada cadena objetivo del Enclave, lo que aumenta la extensibilidad. Además, en lugar de realizar una verificación sencilla de los clientes en cadena, una cadena de verificadores solo realiza la verificación de firmas con las claves generadas en el Enclave. Esto puede reducir significativamente el costo de la verificación normal en cadena. Además, al usar TEE como proxy en lugar de una cadena intermedia, puedes minimizar el supuesto de confianza.