Las soluciones de escalado de capa 2 siguen siendo una herramienta notable en la búsqueda de los desarrolladores de criptografía para resolver el trilema de la cadena de bloques.
Originalmente acuñado por el cofundador de Ethereum, Vitalik Buterin, el trilema describe los desafíos de trabajar para construir una infraestructura escalable, descentralizada y segura.
Las cadenas de bloques se han visto obligadas durante mucho tiempo a hacer concesiones en una de estas áreas. Sin embargo, muchos desarrolladores y arquitectos creen que es posible construir un proyecto que alcance los tres objetivos sin compromiso.
Las soluciones de escalado de capa 2, como los paquetes acumulativos, se han convertido en una herramienta fundamental para mejorar la velocidad y la eficiencia de una cadena de bloques subrayada.
Las soluciones de capa 2 se ejecutan sobre cadenas de bloques sofisticadas para optimizar funciones específicas y ayudar a desviar las transacciones de una red principal para mitigar la congestión.
Los rollups llevan a cabo el procesamiento de transacciones fuera de la cadena después de agrupar (enrollar) los datos y luego alimentan la información a la cadena de bloques. La idea es reducir los costos de transacción dividiéndolos entre muchos usuarios.
Los desarrolladores que confían en acumulaciones tienen dos opciones. La primera variedad se conoce como 'resumen optimista'. Esta solución asume que las transacciones dentro del resumen son válidas y otorga a los participantes de la red una cierta cantidad de tiempo para disputar las transacciones.
John Adler escribió la primera estructura de modelado viable mínima que describía lo que ahora se conoce como resúmenes optimistas en junio de 2019.
Según él, su naturaleza sin permiso a través del consenso fusionado, el énfasis en las pruebas de fraude no interactivas y el modelo de escala sostenible mediante el uso de cadenas de bloques como una disponibilidad de datos más tarde hacen que los acumulativos optimistas sean una herramienta prometedora.
ZK-Rollups (Zero-Knowledge) es el otro tipo de resumen. Estas herramientas se basan en pruebas de conocimiento cero para determinar la validez de la transacción con solo información mínima. Funcionan de manera similar a los resúmenes optimistas y confían en la prueba en lugar de asumir que las transacciones son válidas.
Apareciendo por primera vez en un trabajo de investigación de 1985, las pruebas de conocimiento cero son una forma de probar la validez de una determinada declaración sin revelar la declaración. Garantizan que la información confidencial permanezca confidencial al confiar en algoritmos que usan algunos datos y devuelven un resultado "verdadero" o "falso".
Después de acumular un paquete de transacciones, las transacciones únicas resultantes toman la forma de un argumento de conocimiento sucinto y no interactivo (SNARK) o un argumento de conocimiento sucinto y transparente (STARK). Ambos conceptos son los mismos que un hash de transacción criptográfica, lo que significa que los datos se pueden representar sin revelar la información en sí.
Como resultado, los ZK-SNARK se pueden verificar instantáneamente cuando se envían a una red principal de blockchain. Los fondos se pueden retirar tan pronto como se extrae el resumen.
La velocidad de ZK-Rollups para mover fondos hacia y desde la red principal ha llevado a Vitalik Buterin a predecir que la solución triunfará sobre Optimistic rollups como una solución de escalado más efectiva. En agosto de 2022, Buterin explicó: “En más de 10 años a partir de ahora o incluso más, espero que los Rollups sean básicamente todos ZK”.
Sin embargo, el cofundador de Ethereum admitió que la tecnología detrás de Optimistic rollups era más madura debido a los desafíos de construir con la tecnología ZK existente.