Linea Prover, un sistema de pruebas zk-EVM, explicado de una manera amigable para estudiantes de secundaria con conocimientos previos en criptografía.
Flujo de Linea Prover
Para probar que una transacción ha ocurrido en la red Linea, el proceso se divide en varios pasos. El primero se llama arithemetización. En términos simples, podemos decir que es el proceso de convertir programas informáticos en lenguaje matemático para que la prueba zk-proof lo entienda.
Piensa en ello como traducir un libro de instrucciones de cocina a un conjunto de ecuaciones químicas. De esta forma, el sistema puede verificar si los pasos se realizaron correctamente. Un ejemplo de keyword long-tail sería “proceso de arithmetización en zk-EVM”.
Luego de la arithmetización, se utiliza un sistema de prueba interno que comprime gradualmente la prueba hasta llegar a un paso final de compresión en un sistema de prueba externo. En este artículo, nos centraremos en el sistema de prueba interno de Linea: Vortex y Arcane.
Vortex y Arcane: el sistema de prueba interno de Linea
La tecnología de Linea se diferencia de otras zk-EVM en su esquema de arithmetización y sistema de prueba interno. Para demostrar una transacción en Linea, queremos demostrar que ciertos rastros (un registro del proceso computacional) cumplen con ciertas restricciones. Pero primero debemos convertir el conjunto de restricciones en algo más manejable para el sistema de pruebas.
Aquí entra en juego Arcane, que compila la arithmetización en un modelo de Prueba de Oráculo Interactivo (IOP). Un IOP es una prueba interactiva donde el verificador no necesita leer todo el mensaje del probador. En su lugar, hay un “oráculo” (un tercero que conoce lo que sabe el probador) al que el verificador consulta aleatoriamente para obtener información.
Después de Arcane, en lugar de simplemente saber si los rastros satisfacen o no un conjunto de restricciones, podemos evaluar polinomios correspondientes a los rastros, lo cual es una forma mucho más adecuada para las pruebas desde un punto de vista matemático.
A continuación, para no depender de un tercero de confianza, se utilizan suposiciones criptográficas y pequeñas transformaciones iterativas para reemplazar el oráculo con un esquema de compromiso polinomial. Un compromiso polinomial es básicamente un hash sofisticado de los rastros que se envía como parte de la prueba. Esta información permite al verificador saber si las evaluaciones cumplen con ciertas propiedades y se realizan correctamente. Para Linea, esto se basa en la criptografía basada en celosías y códigos de corrección de errores.
Este artículo te ha brindado una introducción al funcionamiento básico de Linea Prover. Ten en cuenta que este es un tema complejo y esta explicación se ha simplificado para fines educativos. A medida que vayas avanzando en tu aprendizaje sobre blockchain y las criptomonedas, podrás profundizar en los detalles técnicos del sistema.