Aviso legal : Esta publicación es una traducción realizada por un miembro de la Comunidad Fuel. Se realizan cuidadosos controles para garantizar la exactitud de las traducciones, pero éstas pueden contener errores u omisiones. Fuel Labs no se hace responsable de la exactitud, fiabilidad o actualidad de la información traducida. Enlace a la publicación original: Introducing Hybrid Proving
Teniendo un puente entre Optimistic y Zk-Rollups.
A finales de 2020 Fuel fue desplegado como una tecnologÃa escalable de capa 2 (L2) en Ethereum. Fuel fue el primer optimista y pionero de pruebas de fraude en la red principal de Ethereum. Desde ese momento fuel ha tenido un gran crecimiento y avance en el camino hacia Fuel V2, nuestra arquitectura de rollup de próxima generación, que ahora cuenta con más de 40 proyectos que están siendo construidos con el objetivo de ser parte de la próxima generación de aplicaciones descentralizadas en Ethereum.
En este nuevo artÃculo te presentamos FuelProver y la comprobación hÃbrida, un método clave que estamos convencidos que nos ayudara a explotar ventajas nunca antes utilizadas.
El Problema
El espacio de la capa 2 ha estado controlado por dos enfoques principales: los rollups optimistas (ORU) y los rollups de conocimiento cero (ZK). Aunque ambos han indicado ser prometedores, los dos tienen sus propias desventajas. Los rollups optimista (ORU) como Fuel V1, Arbitrum y Optimism, son bastante más sencillos en el caso optimista, sin costos adicionales para verificar las pruebas en las cadenas, pero están atados a largos periodos de retirada y a un complicado proceso de juego de verificación interactivo (IVG), que depende de las pruebas de fraude para garantizar la seguridad. Además las pruebas ZK (Conocimiento-cero) ofrecen un proceso de verificación instantánea y mejores técnicas de compresión de datos, pero necesitan una generación de pruebas y una verificación en la cadenas lentas y costosas.
ZK sera el futuro de la verificación de blockchain, pero la eficacia de la generación de pruebas aún no esta ahà para las arquitecturas de despliegue de miles de rollups TPS, por lo que convertir Fuel en un ZK Rollup completo no se adaptara a nuestras necesidades actuales.
Presentación de FuelProver: Una solución hibrida.
Presentamos FuelProver: Un ZK hibrido / optimista.
Reconociendo la superioridad del modelo de prueba de fraude de ronda única que fue introducido con Fuel V1 y también reconociendo la potencia que tienen las pruebas la potencia que tienen las pruebas ZK, prevemos un términos medio que combine lo mejor de ambos mundos.
FuelProver sera independiente de la arquitectura de verificación ZK, esto hara que sea compatible con todos los verificadores de propósito general más recientes. FuelProver quiere garantizar un sistema flexible y adaptable que pueda crecer junto con los últimos avances de la tecnologÃa ZK.
El planteamiento hÃbrido de FuelProver también permitirá reducir la ventana de retiro y lograr un alto rendimiento sin el inconveniente de realizar pruebas costosas para cada bloque que se transmite a los usuarios.
Esto se debe a que ahora tenemos un periodo de tiempo más predecible para demostrar la rapidez de un solo bloque. En el feliz camino optimista, podemos disminuir el tiempo de retiro de los 7 dÃas tÃpicos en un rollup optimista, a 8 horas (Pd: esto todavÃa esta en investigación activa, es importante tener en cuenta que estas cifras son aproximaciones y están sujetas a cambios)
Al combinar los puntos fuertes de ambos paradigmas de prueba, FuelProver servirá como trampolÃn para un futuro ZK inevitable, al tiempo que evita cualquier garantizando una solución flexible y optimo para los desarrolladores.
Pruebas hÃbridos y finalidad
El concepto de verificación hibridad viene de la fusion de las pruebas de fraude y la verificación ZK. Representa una nueva categorÃa de soluciones de escalabilidad a caballo entre los rollups optimistas y los rollups ZK. FuelProver es una aplicación de esta idea innovadora.
La verificación hÃbrida puede definirse además como una técnica que utiliza no uno, sino varios comprobadores para verificar la corrección, esto hace que no dependa de un único sistema ZK para revelar la corrección, teniendo que depender de varios sistemas. Esto es parecido a otros modelos optimistas de verificación de fraude, en la que se pretende aplicar varios tipos de sistemas de comprobación de fraude para disminuir la superficie de errores y garantizar la corrección. FuelProver utilizará principalmente un prover, con el objetivo de evolucionar hacia un modelo multiprover para mejorar la corrección. Con esto pretende un diferenciador clave y una mejora con respecto a otras implementaciones de esta idea (visite ZKFPs y Hybrid Rollups) Como también las multiples implementaciones de clientes de Ethereum en diferentes lenguajes, este modelo nos introduce diversidad y solidez al modelo de seguridad de Fuel. Dicho esto, creemos que la técnica de verificación hÃbrida se puede aplicar en cualquier parte del ecosistema de rollups de Ethereum.
Con rollups optimistas, la finalidad procesable en la cadena minimizada por la confianza suele tardar 7 dÃas. Esto quiere decir que el puente de confianza minimizada de los activos digitales de vuelta a la capa base puede tardar una semana o más en realizarse, esto depende de los posibles retrasos durante los juegos de desafÃo de fraude, la verificación hÃbrida experimenta una finalidad procesable en cadena más rápida, gracias a la disminución del número de rondas en el juego de verificación de fraude. Los sistemas ORU requieren de un plazo de espera para que las partes interactúen con tiempo suficiente para evitar la censura. Con una única ronda, el modelo de prueba hÃbrido no requiere esperar tanto tiempo durante las multiples rondas de interacción. En teorÃa, los juegos de pruebas hÃbridos deberÃan poder superar a los juegos de prueba de fraude de varias rondas, ya que cada ronda tiene varias horas de espera para garantizar la resistencia a la censura.
Un enfoque agnóstico
Fuel es un sistema operativo blockchain que adopta un enfoque agnóstico, esto quiere decir que pretende ser compatible con muchas arquitecturas subyacentes populares. Esto posibilita a los desarrolladores y proyectos aprovechar mejor las arquitecturas de uso general, al mismo tiempo que obtienen los beneficios de la VM, las herramientas y la ejecución paralela de transacciones de Fuel.
FuelProver pretende soportar multiples mecanismos de prueba, incluyendo Risc Zero , zkSync, Powdr, y otros. Aunque la comprobación hibrida tiene bastantes ventajas muy prometedoras, FuelProver también admitirá una opción completamente optimista que fue creada a partir de nuestra maquina virtual completamente fraudulenta.
Para el futuro, esto presentara un camino prometedor para que la pila de fuel acepte eventualmente un rollup ZK completo y puede lograr una finalidad casi instantánea en cuestión de minutos. Con la ayuda de varios equipos de ZK, este nuevo enfoque hibrido se presenta como una potente solución a corto plazo que ofrece lo mejor de ambos mundos y establece un camino para evolucionar junto con el panorama de ZK a medida que las cosas se vuelvan mas eficientes.
Inicia en este nuevo Paradigma en Ethereum
FuelProver marca un gran hito en la evolución de Fuel y las soluciones de escalabilidad de layer-2 para Ethereum. Con su modelo de comprobación hibrido, Fuel trabaja bajo un nuevo enfoque agnóstico y aditivo, desbloqueando nuevas posibilidades para desarrolladores y usuarios en el espacio Blockchain.
A medida que Fuel se integra en este nuevo paradigma de blockchains interconectadas, FuelProver sirve como una poderosa herramienta que permite una mezcla perfecta de eficiencia, escalabilidad y seguridad. Sobre la base de Fuel V1 y su introducción del rollup optimista, FuelProver da el siguiente paso para liberar el gran potencial de las aplicaciones descentralizadas.