Proof of AI: un cloud open source che paga gli sviluppatori su cui gira

Due problemi duri stanno sotto ogni discorso di «IA decentralizzata», e la maggior parte dei progetti li saluta entrambi con un cenno.

Il primo: come ti fidi di un risultato che non hai calcolato? Se una macchina remota dice «il modello ha prodotto X», come sai che ha eseguito il modello — non uno più economico, non spazzatura, non una bugia in cache?

Il secondo è più quieto e, pensiamo, più importante: tutto lo stack di IA è costruito su open source che quasi nessuno paga. Il tuo server di inferenza, il tuo tokenizer, il tuo indice vettoriale, la tua libreria crypto — scritti da persone che non vedono niente del ricavo che il loro codice genera.

Proof of AI (PoAI) è la nostra risposta al primo. Il nostro impegno di pagamento è la risposta al secondo. Questo post è un resoconto onesto di ciò che è vivo oggi, di ciò che è cablato ma dormiente, e di ciò che è ancora roadmap. Saremo espliciti su che cosa è che cosa — perché il punto di tutto è la verificabilità.

Che cosa dimostra davvero Proof of AI

Il calcolo di IA è notoriamente difficile da verificare perché l'aritmetica in virgola mobile non è deterministica: lo stesso modello, lo stesso input, la stessa GPU possono produrre numeri leggermente diversi secondo l'ordine delle operazioni e lo scheduling. Non puoi raggiungere il consenso su un numero che cambia ogni volta che lo calcoli.

PoAI toglie il non determinismo invece di provare a dimostrare intorno:

1. Inferenza solo intera. Pesi e attivazioni sono quantizzati a int8. L'accumulo è int32, la scala è uno scorrimento aritmetico a destra, le uscite saturano e le funzioni trascendenti sono tabelle di lookup congelate — mai exp() né rsqrt(). Il risultato è un forward pass identico bit per bit su CPU, Metal, CUDA e AMD.

2. Ricalcolo, non fiducia. Il transformer intero è esposto come un precompile EVM. Il modello di fiducia è il più semplice che esista: ogni validatore riesegue il calcolo identico durante l'esecuzione del blocco. Se la tua uscita non combacia con ciò che produce la macchina di tutti gli altri, il tuo blocco viene rifiutato. Nessun comitato, nessun hardware speciale, nessuna prova da falsificare.

Questa è la variante di PoAI che la nostra ricerca ha descritto per prima in Proof of AI: il calcolo verificabile come primitiva di consenso (ZIP-002), ora consegnata come codice.

Questa parte è viva

La chiave di volta è una moltiplicazione di matrici int8 deterministica — gemm_i8 — implementata in modo identico al byte in Go, Rust e C++, con kernel GPU (Metal, CUDA, HIP) che superano gli stessi test a risposta nota. L'implementazione Go è un precompile EVM registrato all'indirizzo 0x0300...0003, importato in bianco dalle EVM di Lux, Zoo e Hanzo, così lo stesso percorso di inferenza deterministica è condiviso fra le tre catene. Una sequenza aurea di token è asserita in ogni linguaggio come test:

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

Se quel vettore differisce mai fra due macchine, la CI diventa rossa. Questo è ciò che «verificabile» significa in pratica.

Questa parte è roadmap onesta

• Dimensione del modello. Il precompile on-chain esegue oggi un piccolo transformer di riferimento. Il port di un modello di produzione (Qwen3-0.6B / zen-nano) è specificato e in corso — ricalcolare un modello di frontiera in ogni validatore non è l'obiettivo; lo sono i modelli verificabili piccoli e la verifica a campione di quelli grandi.
• Prove crittografiche. Le prove zkML e l'esecuzione confidenziale (TEE) sono progettate e abbozzate per un rilascio successivo. La garanzia di oggi è determinismo che puoi rieseguire, che è una garanzia reale — solo non una prova succinta.
• Attestazione hardware. Per i modelli troppo grandi da ricalcolare on-chain, l'ancora di fiducia è un'attestazione hardware. L'attestazione AMD SEV-SNP è implementata da capo a fondo nel nostro stack (verifica completa della catena di certificati contro il servizio chiavi di AMD); Intel TDX e il calcolo confidenziale GPU di NVIDIA sono impalcati, non finiti.

Preferiamo dirti questo piuttosto che pubblicare una slide che dice «IA verificata con zk».

Il pagamento open source: 25%, di progetto

Ecco l'impegno, ed è nel nostro codice, non solo in un post: il 75% del ricavo cloud attribuibile resta alla piattaforma; il 25% è messo in comune per gli sviluppatori open source i cui pacchetti il cloud ha davvero eseguito.

Come funziona l'attribuzione, da capo a fondo:

Passo	Che cosa succede
Build	Ogni immagine che il nostro sistema di build produce riceve una distinta base del software (syft → CycloneDX) — il grafo esatto delle dipendenze di ciò che è stato consegnato.
Attribuisci	Un motore git blame mappa ogni dipendenza ai suoi autori, riga per riga, producendo percentuali di contributo per autore.
Misura	Il cloud già misura l'uso per organizzazione per la fatturazione. Quell'uso è la base del costo.
Dividi	L'uso è ripartito sul grafo delle dipendenze, pesato per contributo, e il 25% dell'importo attribuibile è riservato a chi contribuisce.
Paga	Chi contribuisce viene pagato — per cominciare, in crediti Hanzo che non scadono; i binari crypto e fiat seguono.

Siamo precisi sullo stato: il generatore di SBOM, il motore di attribuzione, la divisione del 25%, la misurazione e il modello di pagamento esistono tutti nel codice oggi. Ciò che stiamo cablando ora è il tessuto connettivo — accendere l'ingestione degli SBOM, pianificare l'esecuzione del pagamento e instradare denaro vero sul binario che già paga destinatari arbitrari. I primi pagamenti vanno alle dipendenze su cui gira lo stesso Hanzo Cloud, come implementazione di riferimento.

Collega il tuo repository, fatti pagare

Lo stato finale è self-service: collega un repository GitHub, verifica che sia tuo, scegli come vuoi essere pagato e ricevi una quota ogni volta che Hanzo Cloud esegue software che dipende dal tuo. Quel flusso di onboarding è il pezzo che stiamo costruendo adesso. Quando arriva, sarà il soggetto letterale del titolo di questo post — e potrai verificare i tuoi guadagni contro lo SBOM che li ha prodotti.

Eseguire un nodo, e condividere il cloud

Operatori di nodi. Hanzo Node lascia che una macchina si iscriva con un'identità crittografica, annunci che cosa sa fare, riceva lavoro su una rete peer-to-peer e venga pagata tramite regolamento in stablecoin (x402). Quel ciclo è reale oggi per il lavoro di agenti e di strumenti. Il mercato del calcolo misurato del tutto in hardware e attestato — dove vendi tempo di GPU sotto un'attestazione TEE e regoli on-chain — è la direzione, costruita sulle primitive di attestazione e di regolamento qui sopra, non una scorciatoia intorno a esse.

Referral e condivisione. Segnala uno sviluppatore o un'organizzazione e guadagnate entrambi crediti; gli affiliati guadagnano una quota a scaglioni della spesa segnalata. Questo è vivo nel sistema di fatturazione oggi, con controllo antifrode e testato — la stessa macchina di condivisione dei ricavi su cui si costruisce il pagamento open source.

Perché conta

Un cloud di IA che non può provare i suoi risultati chiede fiducia cieca. Un cloud di IA che guadagna sull'open source senza ripagarlo non è sostenibile. Proof of AI affronta il primo con il meccanismo più noioso e più robusto che ci sia — il ricalcolo deterministico — e il nostro pagamento del 25% affronta il secondo con un numero che abbiamo scritto nel codice.

Il tabellino onesto: il nucleo di inferenza verificabile è consegnato e testato; la pipeline dei pagamenti è costruita e si sta accendendo; le prove, il port del modello grande e la porta self-service sono roadmap con fondamenta reali sotto.

Continueremo a pubblicare ciò che è reale e a etichettare ciò che non lo è. È l'unico modo perché «Proof of AI» significhi qualcosa.

---

Hanzo AI è Techstars '17. L'audit tecnico dietro questo post — ogni affermazione mappata a un file e una riga — è mantenuto internamente e guida il piano di costruzione.