Optimistic Execution: acordar lo inacordable

¿Es la Mona Lisa el cuadro más bello del mundo? ¿Es este artículo el mejor que se ha escrito nunca? Estas preguntas, como tantas otras que nos hacemos a diario, son subjetivas. Las opiniones sobre estos temas pueden variar mucho de una persona a otra, y eso hace difícil alcanzar un consenso.

Las blockchains no pueden procesar esta subjetividad, porque solo procesan las llamadas transacciones deterministas. Las preguntas subjetivas, en cambio, son no deterministas: puedes recibir un resultado distinto incluso con la misma entrada.

Subjetividad y no determinismo

Tu blockchain de siempre no puede responder si la Mona Lisa es el cuadro más bello del mundo. Tampoco puede manejar ningún otro escenario no determinista, como leer datos de una fuente que cambia sin parar, por ejemplo la web. ¡Hace falta un nuevo tipo de blockchain para conseguirlo!

¿Puede GenLayer resolver este problema no determinista? Pero antes, ¿cómo llegamos a este «problema»?
(Spoiler: sí puede)

El enfoque optimista: equilibrio entre eficiencia y fiabilidad

Veamos el problema no determinista, o «problema subjetivo», desde la perspectiva de GenLayer y recordemos lo que sabemos hasta ahora. GenLayer está formado por muchos validadores, cada uno con algunos tokens GEN en staking y acceso a un gran modelo de lenguaje.

Descubre más sobre el mecanismo de consenso entre los validadores de GenLayer.

Relación entre el líder y los validadores

En GenLayer, la validación de las transacciones es optimista: no hace falta que todos los validadores validen cada transacción. Por defecto, se asigna a cada transacción un grupo de cinco validadores elegidos al azar para verificarla. Pero en GenLayer son los desarrolladores quienes hacen la magia: pueden aumentar el número mínimo de validadores que quieren para su proyecto y conseguir así mayores garantías de seguridad, a cambio de un coste más alto por transacción.

Este enfoque optimista permite procesar las transacciones de forma eficiente, porque solo hace falta un pequeño subconjunto de validadores para alcanzar el consenso. Pero, en la práctica, ¿cómo pueden ponerse de acuerdo sobre transacciones no deterministas?

Cómo resolver el no determinismo con la equivalencia

El Principio de Equivalencia es la pieza central del mecanismo de consenso de GenLayer. Este principio es esencial para manejar la naturaleza no determinista de las transacciones basadas en LLM.

Volvamos a la pregunta subjetiva (y no determinista) de la introducción: ¿es la Mona Lisa el cuadro más bello del mundo? Si se la planteamos a distintos LLM, pueden darnos respuestas diferentes, cada una con su propia justificación.

• Sí, porque los colores encajan a la perfección.
• Sí, porque la Mona Lisa tiene la sonrisa más bonita.
• No, «La noche estrellada» de Van Gogh es más bonita.

¿Cómo encontrar un consenso en una situación así sin determinar qué se considera igual?

Como siempre, en GenLayer, damos a los desarrolladores el poder de decidir: el Principio de Equivalencia les permite definir qué se considera una respuesta aceptable para su caso de uso concreto.

Una balanza como símbolo de la equivalencia

Pensemos, por ejemplo, en una plataforma de seguros paramétricos construida sobre GenLayer que paga indemnizaciones en función de acontecimientos del mundo real. El desarrollador puede configurar el Principio de Equivalencia para que las respuestas de los validadores que consultan distintas fuentes de noticias se consideren equivalentes si coinciden en que se está produciendo un huracán. La respuesta de un validador, «sí, hay un huracán», podría considerarse equivalente a la de otro validador, «sí, un huracán está tocando tierra».

Es una diferencia menor, pero importante. Como quizá ya sepas, en GenLayer podrías construir una plataforma de seguros paramétricos que pague a los asegurados cuando se produce una catástrofe. Y saber si el huracán tocó tierra o no podría ser un detalle muy importante.

Descubre más sobre qué se considera equivalente en GenLayer.

El mecanismo de consenso: validar la propuesta del líder

Cuando se envía una transacción a la red, se elige como líder a uno de los validadores seleccionados. El líder ejecuta la transacción y propone un resultado, que los demás validadores evalúan después con los Principios de Equivalencia que ha fijado el desarrollador. El consenso dentro del Principio de Equivalencia establecido está garantizado, porque el número de validadores siempre es impar.

Cada validador procesa la transacción por su cuenta y compara sus resultados de cada llamada no determinista con las propuestas del líder. Si la mayoría de los validadores está de acuerdo con los resultados del líder, la transacción se considera válida. Este proceso garantiza que los resultados, aunque no sean idénticos, sean equivalentes en el contexto de los requisitos del proyecto.

El proceso de apelación: hasta el tribunal supremo

Como el número de validadores siempre es impar, normalmente se puede llegar a un acuerdo sobre la transacción, independientemente de cuántos validadores elegidos al azar hagan falta para el consenso. Aun así, existe la posibilidad de que haya transacciones indeterminadas, de las que hablaremos en otro artículo.

Cualquiera que no esté de acuerdo con la decisión del conjunto inicial de validadores puede enviar una solicitud de apelación durante el plazo de apelación. El plazo de apelación es el tiempo, contado desde que se envía una transacción, durante el que se puede presentar una solicitud de apelación sobre ella. Con cada nueva apelación, el plazo se reinicia.

Proceso de apelación

En cada apelación, un conjunto mayor de validadores vuelve a evaluar la transacción. En el caso estándar, con un mínimo de cinco validadores, el conjunto de validadores pasaría a 11. Se elige un nuevo líder y se duplica el número de validadores que no son líderes.

Este proceso continúa hasta que se alcanza un consenso o hasta que han participado todos los validadores. Conviene saber que un usuario puede pagar por adelantado el coste del gas para que todos los validadores se pongan de acuerdo sobre una transacción concreta, si quiere asegurarse una alta fiabilidad. Todo el proceso de apelación se puede comparar con un sistema judicial, en el que también se pueden apelar las decisiones hasta llegar a la última instancia, por ejemplo, el tribunal supremo. Igual que se puede hacer participar a todos los validadores en una transacción desde el principio, una persona cuyos derechos constitucionales se han vulnerado puede acudir directamente al tribunal supremo.

Cualquiera puede iniciar una apelación aportando tokens GEN adicionales para cubrir los costes del gas. Este sistema de apelación abierto garantiza que el sistema pueda corregirse a sí mismo. Es comparable al papel del apelante en un sistema judicial: tiene que asumir los costes del proceso de apelación para que una instancia superior examine su caso.

Resultados definitivos frente a capacidad de procesamiento

GenLayer no se centra en competir con otras blockchains en velocidad de transacción ni en capacidad de procesamiento. La plataforma da prioridad a la precisión y la fiabilidad, como un sistema judicial que antepone la justicia a la eficiencia.

Las transacciones en GenLayer se consideran definitivas cuando termina el plazo de apelación sin que nadie las haya impugnado. Este plazo da tiempo suficiente a las partes interesadas para revisar la transacción y plantear sus objeciones si es necesario. En el ejemplo del seguro paramétrico, el plazo de apelación permitiría a las partes interesadas impugnar la afirmación de que el huracán tocó tierra antes de que se hagan los pagos.

Aunque con este enfoque una transacción pueda tardar más que en otras redes en ser definitiva, garantiza que cada transacción pase por un proceso de validación riguroso. La capacidad de procesamiento y la latencia de la red se equilibran con la necesidad de precisión y seguridad.

Cómo encontrar el consenso en un mundo subjetivo

El modelo de Optimistic Execution (ejecución optimista) de GenLayer, basado en el Principio de Equivalencia y en el proceso de apelación, ofrece una solución sólida para alcanzar un consenso sobre transacciones subjetivas y no deterministas. Como permite a los desarrolladores definir qué se considera un resultado aceptable para su caso de uso, GenLayer hace posible una amplia gama de aplicaciones que eran imposibles en las plataformas blockchain tradicionales.

A medida que nos adentramos en un mundo cada vez más subjetivo, GenLayer ofrece las herramientas y la estructura necesarias para construir sistemas fiables y sin terceros de confianza, capaces de afrontar los retos del no determinismo.

Nota del editor: este artículo es de marzo de 2024. Para ver cómo decide hoy GenLayer cuándo dos respuestas cuentan como la misma, explora la guía de investigación de GenLayer Labs.

¡Únete a nuestra misión!

Web | Blog | Discord | X (antes Twitter) | Telegram | Simulator | Documentación | Whitepaper