De una pregunta ambigua
a una decisión en la que
el mundo puede confiar.

GenLayer se basa en un mecanismo de consenso que no se parece a nada de lo que ha usado una blockchain hasta ahora. En lugar de competir por resolver un rompecabezas, los validadores usan su capacidad de razonar para evaluar una afirmación.

En la primera ronda se sortean siempre exactamente 5 validadores entre todos los de la red. Uno de ellos, el líder, ejecuta el Intelligent Contract y propone una respuesta. Los demás la vuelven a evaluar de forma independiente según el Principio de Equivalencia. Si más del 50 % está de acuerdo, la respuesta se acepta de forma optimista y pasa a ser definitiva en minutos.

Si alguien la impugna durante el plazo de apelación, el caso escala: cada ronda de apelación amplía el conjunto de validadores a 2n+1, de modo que 5 pasan a ser 11, luego 23, luego 47, y así sucesivamente. El conjunto casi se duplica en cada ronda y surgen puntos de Schelling, porque los incentivos del staking atraen a los validadores hacia la verdad y hacen del acuerdo honesto el camino más rentable. En el peor caso, que es poco frecuente, la escalada llega hasta el máximo de unos 1000 validadores (en la práctica, todos los validadores activos). Lo habitual es que la respuesta sea definitiva en unos 30 minutos; una escalada completa hasta el conjunto máximo tarda unas tres horas.

Los contratos inteligentes tradicionales son puro código: deterministas, inflexibles y ciegos al mundo real. Los Intelligent Contracts son distintos. Combinan código Python, especificaciones en lenguaje natural y la capacidad de obtener datos del mundo real desde la web. Un contrato puede leer un sitio web, analizar un PDF, consultar el estado de un vuelo o interpretar una cláusula de un acuerdo de servicio.

El propio contrato establece qué resultados cuentan como equivalentes. Los desarrolladores escriben reglas como esta: «Si la entrega se hizo como máximo 24 horas después de la fecha prometida, considérala puntual». Cuando los validadores evalúan el contrato, aplican tanto la lógica del código como su razonamiento sobre el lenguaje y las pruebas. Así, cualquier situación ambigua del mundo real se convierte en algo que la red puede resolver con credibilidad.

GenVM es el entorno aislado en el que se ejecutan los Intelligent Contracts. Funciona en cada nodo validador y ofrece un entorno seguro y controlado para combinar computación determinista y no determinista. Las operaciones deterministas (aritmética, verificación criptográfica, lecturas de estado) se ejecutan de forma idéntica en todos los nodos. Las no deterministas (llamadas a LLM, consultas a la web, lecturas de marcas de tiempo) están permitidas, pero quedan registradas.

GenVM no solo registra la respuesta final, sino también el razonamiento que llevó a ella: qué fuentes web se consultaron, qué llamadas a LLM se hicieron y qué devolvió el modelo. Cuando los validadores discrepan, pueden examinar el razonamiento de los demás, y la red puede rastrear dónde surgió la divergencia. Esta transparencia da sentido al proceso de apelación: si el razonamiento de un validador fue descuidado o sesgado, un conjunto mayor de validadores lo detectará.

El Greyboxing es la defensa de GenLayer contra las entradas manipuladas. El nombre no es casual: no es una caja negra (sin transparencia) ni una caja de cristal (sin protección). Es una caja gris. Si se confía en un único modelo de IA para juzgar un contrato, un atacante puede preparar un ataque de inyección de prompts: una pregunta redactada con cuidado o una instrucción oculta que engaña al modelo para que dé una respuesta falsa.

Para impedirlo, el Greyboxing exige un conjunto diverso de modelos desconocidos. Cada validador ejecuta un LLM distinto, o el mismo modelo con otros prompts de sistema, otras semillas aleatorias, otros ajustes de temperatura u otros datos de entrenamiento. Un atacante no puede saber de antemano qué modelos se seleccionarán, cómo estarán configurados ni qué razonamiento seguirán. Aunque un ataque funcione con un modelo, falla con los demás. La diversidad se convierte en seguridad.