Proof of AI: uma nuvem de código aberto que paga os desenvolvedores sobre os quais roda

Dois problemas duros estão embaixo de cada discurso de «IA descentralizada», e a maioria dos projetos acena para os dois.

O primeiro: como você confia num resultado que não calculou? Se uma máquina remota diz «o modelo produziu X», como você sabe que ela rodou o modelo — não um mais barato, não lixo, não uma mentira em cache?

O segundo é mais quieto e, achamos, mais importante: a pilha inteira de IA é construída sobre código aberto que quase ninguém paga. Seu servidor de inferência, seu tokenizer, seu índice vetorial, sua biblioteca cripto — escritos por gente que não vê nada da receita que o código dela gera.

Proof of AI (PoAI) é a nossa resposta ao primeiro. O nosso compromisso de pagamento é a resposta ao segundo. Este post é um relato honesto do que está no ar hoje, do que está ligado mas adormecido, e do que ainda é roteiro. Vamos ser explícitos sobre o que é o quê — porque o ponto de tudo isso é a verificabilidade.

O que o Proof of AI de fato prova

O cálculo de IA é famoso por ser difícil de verificar, porque a matemática de ponto flutuante não é determinística: o mesmo modelo, a mesma entrada, a mesma GPU podem produzir números um pouco diferentes conforme a ordem das operações e o agendamento. Você não chega a consenso sobre um número que muda toda vez que é calculado.

O PoAI tira o não determinismo em vez de tentar provar ao redor:

1. Inferência só com inteiros. Pesos e ativações são quantizados para int8. A acumulação é int32, a escala é um deslocamento aritmético à direita, as saídas saturam e as funções transcendentais são tabelas de consulta congeladas — nunca exp() nem rsqrt(). O resultado é um forward pass idêntico bit a bit em CPU, Metal, CUDA e AMD.

2. Recálculo, não confiança. O transformer inteiro é exposto como um precompile da EVM. O modelo de confiança é o mais simples que existe: cada validador executa de novo o cálculo idêntico durante a execução do bloco. Se a sua saída não bate com o que a máquina de todo mundo produz, o seu bloco é rejeitado. Sem comitê, sem hardware especial, sem prova para forjar.

Esta é a variante de PoAI que a nossa pesquisa descreveu primeiro em Proof of AI: computação verificável como primitiva de consenso (ZIP-002), agora entregue como código.

Esta parte está no ar

A pedra angular é uma multiplicação de matrizes int8 determinística — gemm_i8 — implementada idêntica ao byte em Go, Rust e C++, com kernels de GPU (Metal, CUDA, HIP) que passam os mesmos testes de resposta conhecida. A implementação em Go é um precompile de EVM registrado no endereço 0x0300...0003, importado em branco pelas EVMs de Lux, Zoo e Hanzo, de modo que o mesmo caminho de inferência determinística é compartilhado entre as três cadeias. Uma sequência golden de tokens é afirmada em cada linguagem como teste:

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

Se esse vetor um dia diferir entre duas máquinas, o CI fica vermelho. É isso que «verificável» quer dizer na prática.

Esta parte é roteiro, dito com honestidade

• Tamanho do modelo. O precompile on-chain roda hoje um transformer de referência pequeno. O porte de um modelo de produção (Qwen3-0.6B / zen-nano) está especificado e em andamento — recalcular um modelo de fronteira em cada validador não é a meta; modelos verificáveis pequenos e verificação amostrada dos grandes são.
• Provas criptográficas. Provas zkML e execução confidencial (TEE) estão desenhadas e esboçadas para uma entrega posterior. A garantia de hoje é determinismo que você pode executar de novo, o que é uma garantia real — só não uma prova sucinta.
• Atestação de hardware. Para modelos grandes demais para recalcular on-chain, a âncora de confiança é uma atestação de hardware. A atestação AMD SEV-SNP está implementada de ponta a ponta na nossa stack (verificação completa da cadeia de certificados contra o serviço de chaves da AMD); Intel TDX e o compute confidencial de GPU da NVIDIA estão no andaime, não terminados.

Preferimos contar isso a publicar um slide que diga «IA verificada com zk».

O pagamento de código aberto: 25%, de propósito

Eis o compromisso, e ele está no nosso código, não só num post: 75% da receita atribuível da nuvem fica com a plataforma; 25% é reunido para os desenvolvedores de código aberto cujos pacotes a nuvem de fato executou.

Como a atribuição funciona, de ponta a ponta:

Etapa	O que acontece
Build	Cada imagem que o nosso sistema de build produz recebe uma lista de materiais de software (syft → CycloneDX) — o grafo exato de dependências do que foi entregue.
Atribuir	Um motor de git blame mapeia cada dependência aos seus autores, linha a linha, produzindo porcentagens de contribuição por autor.
Medir	A nuvem já mede o uso por organização para cobrança. Esse uso é a base do custo.
Dividir	O uso é repartido pelo grafo de dependências, ponderado pela contribuição, e 25% do valor atribuível fica reservado para quem contribui.
Pagar	Quem contribui é pago — para começar, em créditos Hanzo que não expiram; os trilhos de cripto e de fiat vêm depois.

Estamos sendo precisos sobre o estado: o gerador de SBOM, o motor de atribuição, a divisão de 25%, a medição e o modelo de pagamento todos existem no código hoje. O que estamos ligando agora é o tecido conjuntivo — ligar a ingestão de SBOM, agendar a rodada de pagamento e rotear dinheiro real pelo trilho que já paga destinatários arbitrários. Os primeiros pagamentos vão para as dependências sobre as quais a própria Hanzo Cloud roda, como implementação de referência.

Ligue o seu repositório e receba

O estado final é autosserviço: conecte um repositório do GitHub, verifique que ele é seu, escolha como quer ser pago e receba uma fatia sempre que Hanzo Cloud executar software que dependa do seu. Esse fluxo de entrada é a peça que estamos construindo agora. Quando chegar, vai ser o assunto literal do título deste post — e você vai poder verificar os seus próprios ganhos contra o SBOM que os produziu.

Rodar um nó e compartilhar a nuvem

Operadores de nó. Hanzo Node deixa uma máquina se inscrever com uma identidade criptográfica, anunciar o que consegue fazer, receber trabalho por uma rede ponto a ponto e ser paga por isso via liquidação em stablecoin (x402). Esse ciclo é real hoje para trabalho de agentes e de ferramentas. O mercado de compute medido de ponta a ponta em hardware e atestado — onde você vende tempo de GPU sob uma atestação TEE e liquida on-chain — é a direção, construída sobre as primitivas de atestação e de liquidação acima, não um atalho em volta delas.

Indicações e compartilhamento. Indique um desenvolvedor ou uma organização e os dois ganham créditos; afiliados ganham uma fatia em faixas do gasto indicado. Isso está no ar no sistema de cobrança hoje, com trava antifraude e testado — a mesma maquinaria de divisão de receita sobre a qual o pagamento de código aberto se constrói.

Por que isso importa

Uma nuvem de IA que não consegue provar os seus resultados está pedindo confiança cega. Uma nuvem de IA que lucra com código aberto sem devolver nada não se sustenta. Proof of AI trata o primeiro com o mecanismo mais chato e mais robusto que existe — o recálculo determinístico — e o nosso pagamento de 25% trata o segundo com um número que escrevemos no código.

O placar honesto: o núcleo de inferência verificável está entregue e testado; o duto de pagamentos está construído e sendo ligado; as provas, o porte do modelo grande e a porta de autosserviço são roteiro com fundações reais por baixo.

Vamos continuar publicando o que é real e rotulando o que não é. É o único jeito de «Proof of AI» significar alguma coisa.

---

Hanzo AI é Techstars '17. A auditoria técnica por trás deste post — cada afirmação mapeada a um arquivo e uma linha — é mantida internamente e conduz o plano de construção.