Proof of AI: una nube open source que les paga a los desarrolladores con cuyo código corre

Dos problemas duros están debajo de cada pitch de «IA descentralizada», y la mayoría de los proyectos les hace un gesto a los dos.

El primero: ¿cómo confían en un resultado que ustedes no calcularon? Si una máquina remota dice «el modelo sacó X», ¿cómo saben que corrió el modelo, y no uno más barato, ni basura, ni una mentira cacheada?

El segundo es más quedo y, creemos, más importante: toda la pila de IA está construida sobre open source que casi nadie paga. Su servidor de inferencia, su tokenizer, su índice vectorial, su biblioteca cripto: escritos por gente que no ve nada del ingreso que genera su código.

Proof of AI (PoAI) es nuestra respuesta al primero. Nuestro compromiso de pago es la respuesta al segundo. Este post es un recuento honesto de lo que está vivo hoy, de lo que está cableado pero dormido, y de lo que sigue en el roadmap. Vamos a ser explícitos sobre cuál es cuál, porque el punto de todo esto es la verificabilidad.

Qué prueba de verdad Proof of AI

El cómputo de IA es famoso por lo difícil que resulta verificarlo, porque la matemática de punto flotante no es determinista: el mismo modelo, la misma entrada y la misma GPU pueden producir números un poco distintos según el orden de las operaciones y la planificación. No se puede llegar a consenso sobre un número que cambia cada vez que se lo calcula.

PoAI saca el no determinismo en lugar de intentar probar alrededor:

1. Inferencia solo con enteros. Los pesos y las activaciones se cuantizan a int8. La acumulación es int32, la escala es un desplazamiento aritmético a la derecha, las salidas saturan y las funciones trascendentes son tablas de lookup congeladas: nunca exp() ni rsqrt(). El resultado es un forward pass idéntico bit a bit en CPU, Metal, CUDA y AMD.

2. Recómputo, no confianza. El transformer de enteros se expone como un precompile de la EVM. El modelo de confianza es el más simple que existe: cada validador vuelve a correr el cómputo idéntico durante la ejecución del bloque. Si su salida no coincide con lo que produce la máquina de los demás, su bloque se rechaza. Sin comité, sin hardware especial, sin prueba que falsificar.

Esta es la variante de PoAI que nuestra investigación describió primero en Proof of AI: cómputo verificable como primitiva de consenso (ZIP-002), ahora entregada como código.

Esta parte está viva

La piedra angular es una multiplicación de matrices int8 determinista — gemm_i8 — implementada idéntica al byte en Go, Rust y C++, con kernels de GPU (Metal, CUDA, HIP) que pasan los mismos tests de respuesta conocida. La implementación en Go es un precompile de EVM registrado en la dirección 0x0300...0003, importado en blanco por las EVM de Lux, Zoo y Hanzo, así que el mismo camino de inferencia determinista se comparte entre las tres cadenas. Una secuencia golden de tokens se afirma en cada lenguaje como test:

prompt  1 7 13 2  →  4 28 21 17 2 19 43 35 36 15

Si ese vector llega a diferir entre dos máquinas, CI se pone en rojo. Eso es lo que «verificable» quiere decir en la práctica.

Esta parte es roadmap, dicho en serio

• Tamaño del modelo. El precompile on-chain corre hoy un transformer de referencia chico. El port de un modelo de producción (Qwen3-0.6B / zen-nano) está especificado y en curso: recomputar un modelo de frontera en cada validador no es la meta; sí lo son los modelos verificables chicos y la verificación por muestreo de los grandes.
• Pruebas criptográficas. Las pruebas zkML y la ejecución confidencial (TEE) están diseñadas y dejadas en stub para una entrega posterior. La garantía de hoy es determinismo que ustedes pueden volver a correr, una garantía real, solo que no una prueba sucinta.
• Atestación de hardware. Para los modelos demasiado grandes para recomputar on-chain, el ancla de confianza es una atestación de hardware. La atestación AMD SEV-SNP está implementada de punta a punta en nuestro stack (verificación completa de la cadena de certificados contra el servicio de claves de AMD); Intel TDX y el cómputo confidencial de GPU de NVIDIA tienen el andamio, no están terminados.

Preferimos contarles esto antes que publicar una diapositiva que diga «IA verificada con zk».

El pago open source: 25%, por diseño

Este es el compromiso, y está en nuestro código, no solo en un post: el 75% del ingreso atribuible de la nube se queda en la plataforma; el 25% se junta para los desarrolladores open source cuyos paquetes la nube realmente corrió.

Cómo funciona la atribución, de punta a punta:

Paso	Qué pasa
Armado	Cada imagen que produce nuestro sistema de build recibe una lista de materiales de software (syft → CycloneDX): el grafo exacto de dependencias de lo que salió.
Atributo	Un motor de git blame mapea cada dependencia a sus autores, línea por línea, y produce porcentajes de contribución por autor.
Medida	La nube ya mide el uso por organización para cobrar. Ese uso es la base del costo.
División	El uso se reparte sobre el grafo de dependencias, ponderado por la contribución, y el 25% del monto atribuible se reserva para los contribuyentes.
Paga	A los contribuyentes se les paga: para empezar, en créditos Hanzo que no vencen; los rieles de cripto y de fiat vienen después.

Estamos siendo precisos con el estado: el generador de SBOM, el motor de atribución, la división del 25%, la medición y el modelo de pago todos existen en el código hoy. Lo que estamos conectando ahora es el tejido: prender la ingesta de SBOM, programar la corrida del pago y rutear dinero real por el riel que ya paga a destinatarios arbitrarios. Los primeros pagos van a las dependencias sobre las que corre el propio Hanzo Cloud, como implementación de referencia.

Enlacen su repo y cobren

El estado final es de autoservicio: conecten un repositorio de GitHub, verifiquen que es suyo, elijan cómo quieren que se les pague y reciban una parte cada vez que Hanzo Cloud corra software que dependa del suyo. Ese flujo de alta es la pieza que estamos armando ahora. Cuando aterrice, va a ser el sujeto literal del título de este post, y van a poder verificar sus propias ganancias contra el SBOM que las produjo.

Correr un nodo y compartir la nube

Operadores de nodos. Hanzo Node deja que una máquina se enrole con una identidad criptográfica, anuncie lo que puede hacer, reciba trabajo por una red entre pares y cobre por eso con liquidación en stablecoin (x402). Ese ciclo es real hoy para trabajo de agentes y de herramientas. El mercado de cómputo medido del todo en hardware y atestiguado — donde ustedes venden tiempo de GPU bajo una atestación TEE y liquidan on-chain — es la dirección, construida sobre las primitivas de atestación y de liquidación de arriba, no un atajo alrededor de ellas.

Referidos y para compartir. Refieran a un desarrollador o a una organización y los dos ganan créditos; los afiliados ganan una parte por niveles del gasto referido. Esto está vivo en el sistema de cobro hoy, con traba antifraude y con pruebas: la misma maquinaria de reparto de ingresos sobre la que se construye el pago open source.

Por qué importa esto

Una nube de IA que no puede probar sus resultados está pidiendo confianza ciega. Una nube de IA que gana con el open source sin devolverle nada no se sostiene. Proof of AI atiende lo primero con el mecanismo más aburrido y más robusto que hay — el recómputo determinista — y nuestro pago del 25% atiende lo segundo con un número que escribimos en el código.

El marcador honesto: el núcleo de inferencia verificable está entregado y probado; el conducto de pagos está armado y se está prendiendo; las pruebas, el port del modelo grande y la puerta de autoservicio son roadmap con bases reales debajo.

Vamos a seguir publicando lo que es real y marcando lo que no lo es. Es la única forma de que «Proof of AI» quiera decir algo.

---

Hanzo AI es Techstars '17. La auditoría técnica detrás de este post — cada afirmación mapeada a un archivo y una línea — se mantiene adentro y empuja el plan de construcción.