{"id":507,"date":"2026-09-05T22:40:47","date_gmt":"2026-09-05T22:40:47","guid":{"rendered":"https:\/\/hoge.gg\/it\/verifiable-compute-ai-verificabile-reale-2026\/"},"modified":"2026-09-05T22:40:47","modified_gmt":"2026-09-05T22:40:47","slug":"verifiable-compute-ai-verificabile-reale-2026","status":"publish","type":"post","link":"https:\/\/hoge.gg\/it\/verifiable-compute-ai-verificabile-reale-2026\/","title":{"rendered":"Verifiable compute: l&#8217;AI verificabile diventa reale nel 2026"},"content":{"rendered":"<p class=\"wp-block-paragraph\">Per anni il <em>verifiable compute<\/em> \u00e8 rimasto una promessa da whitepaper: un modo per dimostrare, in modo matematico o hardware, che un calcolo (soprattutto l&#8217;inferenza di un modello di intelligenza artificiale) \u00e8 stato eseguito davvero e correttamente, senza doversi fidare di chi lo ha svolto. Nel 2026 quella promessa ha smesso di essere teorica. Le reti di <em>prover<\/em> a conoscenza zero girano in produzione, gli acceleratori grafici di NVIDIA integrano enclave hardware verificabili e, dal 2 agosto 2026, il Regolamento europeo sull&#8217;intelligenza artificiale impone che i contenuti generati dall&#8217;AI siano marcati e tracciabili. Provare che cosa ha fatto un modello non \u00e8 pi\u00f9 un esercizio accademico: \u00e8 diventato un requisito commerciale e, in Europa, un obbligo di legge.<\/p> <p class=\"wp-block-paragraph\">Questo articolo spiega che cos&#8217;\u00e8 il verifiable compute, perch\u00e9 il 2026 segna la svolta, quali tecnologie competono (prove a conoscenza zero, approccio ottimistico, enclave hardware), quali progetti le portano sul mercato e quanto vale davvero tutto questo, per l&#8217;utente e per chi compra i token. E, dato che HOGE Wire guarda anche al gaming, vedremo perch\u00e9 <em>provably fair<\/em> nel 2026 significa qualcosa di molto pi\u00f9 ampio di un dado lanciato on-chain.<\/p> <h2 class='wp-block-heading'>Che cos&#8217;\u00e8 il verifiable compute, senza giri di parole<\/h2> <p class=\"wp-block-paragraph\">Verifiable compute \u00e8 l&#8217;insieme delle tecniche che permettono a una parte (il verificatore) di accertare che una computazione \u00e8 stata eseguita correttamente, senza rieseguirla e senza fidarsi ciecamente di chi l&#8217;ha svolta (il <em>prover<\/em>). Il concetto non nasce con l&#8217;AI: le blockchain fanno verifiable compute da sempre, quando migliaia di nodi ricontrollano ogni transazione. Il problema \u00e8 che rieseguire tutto \u00e8 costoso e non scala.<\/p> <p class=\"wp-block-paragraph\">La svolta sta nel passare da \u00abriesegui e controlla\u00bb a \u00abesegui una volta, allega una prova, verifica la prova in un istante\u00bb. La prova pu\u00f2 essere crittografica (una dimostrazione matematica), economica (chi bara perde una cauzione) oppure hardware (un chip firma il risultato in un ambiente sigillato). L&#8217;applicazione pi\u00f9 calda \u00e8 l&#8217;inferenza AI: quando un modello risponde a un prompt, come faccio a sapere che ha usato davvero quel modello, che nessuno ha alterato la risposta e che il prompt non \u00e8 stato manipolato? Il verifiable compute risponde a queste tre domande. Per un ripasso dei fondamentali abbiamo dedicato al tema una <a href='https:\/\/hoge.gg\/it\/verifiable-compute-ai-crypto-spiegato\/'>guida introduttiva separata<\/a>; qui ci concentriamo su che cosa \u00e8 cambiato nel 2026.<\/p> <h2 class='wp-block-heading'>Perch\u00e9 il 2026 \u00e8 il vero punto di svolta<\/h2> <p class=\"wp-block-paragraph\">Fino al 2024 il verifiable compute applicato all&#8217;AI viveva quasi tutto su testnet e slide da conferenza. Nel giro di dodici mesi tre cose sono cambiate insieme, ed \u00e8 la loro somma a fare la differenza.<\/p> <p class=\"wp-block-paragraph\">Primo, le prove a conoscenza zero sono diventate abbastanza veloci ed economiche da girare su mercati aperti. Boundless, la rete incubata da RISC Zero, ha lanciato la mainnet su Base <a href='https:\/\/www.coindesk.com\/tech\/2025\/09\/12\/boundless-launches-mainnet-on-base-ushering-in-universal-zero-knowledge-compute'>il 12 settembre 2025<\/a>, trasformando la generazione di prove in un mercato dove operatori con GPU competono al ribasso. Non serve pi\u00f9 possedere un supercomputer per ottenere una prova crittografica: la si compra a consumo.<\/p> <p class=\"wp-block-paragraph\">Secondo, gli ambienti di esecuzione fidati sono usciti dalle CPU e sono arrivati sulle GPU ad alte prestazioni. Con la <em>confidential computing mode<\/em> attiva su H100, H200, B200 e GB200, gli acceleratori NVIDIA producono un attestato firmato dal processore di sicurezza della scheda, con un impatto prestazionale <a href='https:\/\/www.nvidia.com\/en-us\/data-center\/solutions\/confidential-computing\/'>contenuto sotto il 5% per la maggior parte delle query<\/a>. Per la prima volta si pu\u00f2 eseguire un modello di grandi dimensioni dentro un&#8217;enclave verificabile senza dimezzare le prestazioni.<\/p> <p class=\"wp-block-paragraph\">Terzo, e per l&#8217;Europa \u00e8 il fattore decisivo, il 2 agosto 2026 sono entrati in vigore gli obblighi di trasparenza dell&#8217;articolo 50 del Regolamento UE sull&#8217;intelligenza artificiale: chi immette sul mercato sistemi che generano testo, immagini, audio o video sintetici deve marcarli in formato leggibile dalla macchina e renderli riconoscibili come generati dall&#8217;AI, con <a href='https:\/\/commission.europa.eu\/news-and-media\/news\/safer-and-more-transparent-ai-2026-08-02_en'>sanzioni fino a 15 milioni di euro o al 3% del fatturato mondiale<\/a>. La provenienza dei contenuti diventa un requisito, e il verifiable compute \u00e8 una delle poche risposte tecniche credibili.<\/p> <h2 class='wp-block-heading'>I quattro modi per fidarsi di un calcolo<\/h2> <p class=\"wp-block-paragraph\">Non esiste un solo verifiable compute: esistono quattro famiglie di garanzie, con compromessi diversi tra forza della prova, costo e flessibilit\u00e0. Capirle \u00e8 il modo migliore per non farsi ingannare dal marketing.<\/p> <ul class='wp-block-list'><li><strong>Prove a conoscenza zero (zkML)<\/strong>: una dimostrazione matematica che il calcolo \u00e8 corretto. La garanzia pi\u00f9 forte, la pi\u00f9 cara da produrre.<\/li><li><strong>Approccio ottimistico (opML)<\/strong>: si accetta il risultato e si apre una finestra per contestarlo con una prova di frode. Economico, ma con un ritardo alla finalit\u00e0.<\/li><li><strong>Ambienti di esecuzione fidati (TEE)<\/strong>: un chip esegue il calcolo in una zona sigillata e ne firma il risultato. Veloce e flessibile, ma sposta la fiducia sul produttore dell&#8217;hardware.<\/li><li><strong>Sicurezza cripto-economica (replica e consenso)<\/strong>: pi\u00f9 nodi con cauzione eseguono lo stesso calcolo e chi devia viene \u00abslashato\u00bb. Semplice, ma costoso in repliche.<\/li><\/ul> <figure class='wp-block-table'><table><thead><tr><th>Approccio<\/th><th>Tipo di garanzia<\/th><th>Punto di forza<\/th><th>Punto debole<\/th><th>Esempi<\/th><\/tr><\/thead><tbody><tr><td>zkML (conoscenza zero)<\/td><td>Crittografica<\/td><td>Verificabilit\u00e0 massima, nessuna fiducia nel prover<\/td><td>Costo e latenza elevati; modelli limitati<\/td><td>Boundless, Succinct, Lagrange<\/td><\/tr><tr><td>opML (ottimistico)<\/td><td>Cripto-economica (prove di frode)<\/td><td>Economico, gestisce LLM di grandi dimensioni<\/td><td>Ritardo dovuto alla finestra di contestazione<\/td><td>Ora Protocol<\/td><\/tr><tr><td>TEE (enclave hardware)<\/td><td>Hardware (attestazione)<\/td><td>Velocit\u00e0 e flessibilit\u00e0, qualsiasi modello<\/td><td>Fiducia nel produttore del chip; rischio side-channel<\/td><td>Phala, EigenCompute, Marlin<\/td><\/tr><tr><td>Cripto-economico (replica)<\/td><td>Economica (staking e slashing)<\/td><td>Semplice, compatibile con ogni carico<\/td><td>Costo delle repliche; disincentiva, non dimostra<\/td><td>EigenLayer (AVS)<\/td><\/tr><\/tbody><\/table><\/figure> <p class=\"wp-block-paragraph\">Nella pratica i progetti seri combinano pi\u00f9 di un approccio, perch\u00e9 nessuno domina su tutti i fronti. La tabella qui sopra \u00e8 la mappa; le sezioni che seguono entrano nel dettaglio.<\/p> <h2 class='wp-block-heading'>zkML: la garanzia pi\u00f9 forte, il conto pi\u00f9 salato<\/h2> <p class=\"wp-block-paragraph\">zkML significa generare una prova crittografica che una specifica inferenza \u00e8 stata calcolata da un determinato modello. Il verificatore controlla la prova in millisecondi, senza vedere n\u00e9 il modello n\u00e9 i dati e senza rieseguire nulla. La garanzia \u00e8 la pi\u00f9 forte possibile: se la prova \u00e8 valida, il calcolo \u00e8 corretto, punto. \u00c8 il motivo per cui lo zkML resta la scelta d&#8217;elezione quando il risultato deve essere pubblico e permanente, scritto on-chain e verificabile da chiunque, per sempre.<\/p> <p class=\"wp-block-paragraph\">Il prezzo di questa forza \u00e8 il costo. Generare la prova \u00e8 pesantissimo: l&#8217;<em>overhead<\/em> pu\u00f2 essere di ordini di grandezza rispetto al calcolo originale, e la memoria richiesta cresce rapidamente con la dimensione del modello. La <a href='https:\/\/arxiv.org\/abs\/2502.18535'>frontiera pratica delle prove ZK complete di inferenza<\/a> resta intorno alla scala di GPT-2, non certo un modello di frontiera da centinaia di miliardi di parametri. Nel 2025 alcuni sistemi hanno dimostrato la prima prova a conoscenza zero completa dell&#8217;inferenza di GPT-2, un traguardo notevole ma ancora lontano dagli LLM che usiamo ogni giorno.<\/p> <p class=\"wp-block-paragraph\">La risposta del settore \u00e8 stata separare chi genera la prova da chi la consuma. Invece di produrre la prova sul proprio hardware, la si acquista su un mercato di <em>prover<\/em> specializzati. \u00c8 la logica di Boundless e Succinct, che vedremo tra poco. Per chi vuole capire perch\u00e9 gli LLM restano un osso duro per lo ZK, abbiamo un <a href='https:\/\/hoge.gg\/it\/zk-ml-2026-ai-verificabile-sfida-llm\/'>approfondimento dedicato allo zk-ML<\/a>.<\/p> <h2 class='wp-block-heading'>opML: fiducia con la clausola di contestazione<\/h2> <p class=\"wp-block-paragraph\">L&#8217;opML rovescia la logica dello ZK. Invece di provare in anticipo, si assume che il risultato sia corretto e si apre una finestra di tempo durante la quale chiunque pu\u00f2 contestarlo presentando una prova di frode. Se nessuno contesta, il risultato diventa definitivo; se qualcuno contesta, un meccanismo di risoluzione stabilisce chi ha ragione e il disonesto perde la cauzione. \u00c8 lo stesso schema degli <em>optimistic rollup<\/em>, applicato all&#8217;inferenza AI.<\/p> <p class=\"wp-block-paragraph\">Il vantaggio \u00e8 enorme sul piano dei costi: senza dover generare nulla di crittografico, <a href='https:\/\/github.com\/ora-io\/opml'>l&#8217;opML riesce a far girare modelli da 7 miliardi di parametri<\/a> come LLaMA su hardware ordinario, persino senza GPU dedicata. Lo svantaggio \u00e8 la latenza alla finalit\u00e0: bisogna attendere la finestra di contestazione, e il modello presuppone che esista almeno un verificatore onesto e attento. Ora Protocol \u00e8 il progetto di riferimento: il suo Onchain AI Oracle porta l&#8217;AI dentro i contratti intelligenti su Arbitrum e, secondo il progetto, ha elaborato milioni di inferenze. Abbiamo raccontato l&#8217;approccio in un <a href='https:\/\/hoge.gg\/it\/opml-2026-ai-verificabile-prove-di-frode\/'>pezzo dedicato all&#8217;opML e alle prove di frode<\/a>.<\/p> <h2 class='wp-block-heading'>TEE: quando la radice della fiducia \u00e8 un chip<\/h2> <p class=\"wp-block-paragraph\">Un TEE (Trusted Execution Environment) \u00e8 una regione isolata e cifrata del processore in cui il codice gira protetto anche dal proprietario della macchina. Al termine, l&#8217;enclave produce un attestato firmato che dimostra quale codice \u00e8 stato eseguito e su quale hardware. Chi riceve il risultato verifica la firma e sa che nessuno ha manomesso l&#8217;esecuzione. Il modello di fiducia \u00e8 diverso da quello dello ZK: non ci si affida alla matematica, ma al produttore del chip, che sia Intel con TDX e SGX, AMD con SEV o NVIDIA con le sue GPU.<\/p> <p class=\"wp-block-paragraph\">La vera novit\u00e0 del 2026 \u00e8 che i TEE sono arrivati sul silicio che conta per l&#8217;AI. La confidential computing mode di NVIDIA su H100, H200 e B200 aggiunge attestazione remota e cifratura del traffico tra CPU e GPU con un impatto molto basso; l&#8217;architettura Blackwell aggiunge la cifratura dei collegamenti NVLink per i carichi multi-GPU. Questo rende il TEE l&#8217;opzione pi\u00f9 pratica oggi per l&#8217;inferenza verificabile di modelli grandi, ed \u00e8 la scommessa di Phala, EigenCompute, Marlin e Automata.<\/p> <p class=\"wp-block-paragraph\">Il limite \u00e8 onesto e va detto: se qualcuno buca l&#8217;hardware, con un attacco <em>side-channel<\/em> o un firmware compromesso, la garanzia salta. La storia di SGX \u00e8 costellata di vulnerabilit\u00e0 di questo tipo. Per questo i progetti seri non si affidano a una sola enclave: distribuiscono il carico su pi\u00f9 operatori indipendenti e mettono sotto governance le \u00abmisure\u00bb delle enclave, cio\u00e8 le impronte del codice autorizzato.<\/p> <h2 class='wp-block-heading'>Le reti di prover: Boundless, Succinct e il mercato delle prove<\/h2> <p class=\"wp-block-paragraph\">Se generare prove ZK \u00e8 costoso, la soluzione di mercato \u00e8 ovvia: creare un luogo dove chi ha hardware vende capacit\u00e0 di proving a chi ne ha bisogno. Sono le reti di prover, ed \u00e8 qui che il settore ha visto i lanci pi\u00f9 rumorosi.<\/p> <p class=\"wp-block-paragraph\">Boundless \u00e8 un mercato decentralizzato di prove: gli operatori con GPU competono per generare le prove richieste da app e blockchain e vengono pagati alla verifica. Il meccanismo, chiamato <em>Proof of Verifiable Work<\/em>, inserisce nella prova stessa metadati sul lavoro computazionale svolto, impossibili da falsificare senza invalidare la prova, come spiega <a href='https:\/\/messari.io\/project\/boundless'>l&#8217;analisi di Messari<\/a>. Il token ZKC \u00e8 \u00abminato\u00bb dalle prove e serve da collaterale. Al lancio la valutazione completamente diluita di ZKC <a href='https:\/\/www.rockawayx.com\/insights\/boundless-mainnet-risc0-zk-marketplace'>sfiorava i 900 milioni di dollari<\/a>; oggi il token vale intorno ai 0,04 euro, per una capitalizzazione di circa 12 milioni di euro nonostante scambi giornalieri <a href='https:\/\/www.coingecko.com\/en\/coins\/boundless'>superiori ai 100 milioni<\/a>. Un divario che anticipa il nodo della cattura di valore.<\/p> <p class=\"wp-block-paragraph\">Succinct segue una strada parallela con SP1, una <em>zkVM<\/em> che dimostra programmi generici scritti in Rust, e con la Succinct Prover Network, dove i prover fanno offerte al ribasso per aggiudicarsi il lavoro. Il token PROVE vale circa 0,16 euro, per una capitalizzazione intorno ai 30 milioni <a href='https:\/\/www.coingecko.com\/en\/coins\/succinct'>secondo CoinGecko<\/a>. Nel 2026 <a href='https:\/\/blog.succinct.xyz\/succinct-2025-recap\/'>Optimism ha scelto Succinct<\/a> per gestire le prove ZK dell&#8217;intero OP Stack, una commessa che copre buona parte del mercato dei rollup per valore protetto.<\/p> <figure class='wp-block-table'><table><thead><tr><th>Progetto<\/th><th>Token<\/th><th>Approccio<\/th><th>A cosa serve<\/th><th>Cap. di mercato (circa)<\/th><\/tr><\/thead><tbody><tr><td>Boundless (RISC Zero)<\/td><td>ZKC<\/td><td>zkVM + mercato di prove (PoVW)<\/td><td>Prove ZK on-demand cross-chain<\/td><td>~12 mln \u20ac<\/td><\/tr><tr><td>Succinct<\/td><td>PROVE<\/td><td>zkVM SP1 + rete di prover<\/td><td>Prove ZK per rollup e app<\/td><td>~30 mln \u20ac<\/td><\/tr><tr><td>EigenCloud<\/td><td>EIGEN<\/td><td>TEE + sicurezza cripto-economica<\/td><td>Inferenza AI e compute verificabili<\/td><td>~165 mln \u20ac<\/td><\/tr><tr><td>Phala Network<\/td><td>PHA<\/td><td>TEE (Intel TDX + GPU NVIDIA)<\/td><td>Confidential AI su enclave<\/td><td>~20 mln \u20ac<\/td><\/tr><\/tbody><\/table><\/figure> <p class=\"wp-block-paragraph\"><em>Capitalizzazioni di mercato indicative al momento della pubblicazione; fonte <a href='https:\/\/www.coingecko.com\/en\/coins\/eigenlayer'>CoinGecko<\/a>. I valori dei token oscillano di continuo.<\/em><\/p> <h2 class='wp-block-heading'>EigenCloud: l&#8217;inferenza AI che si dimostra da sola<\/h2> <p class=\"wp-block-paragraph\">Se Boundless e Succinct vendono prove, EigenCloud vende inferenza AI gi\u00e0 verificabile. Nata dalla ridenominazione di EigenLayer nel giugno 2025, la piattaforma ha portato in <em>mainnet alpha<\/em> <a href='https:\/\/www.eigenlabs.org\/blog\/eigencloud-brings-verifiable-ai-to-mass-market-with-eigenai-and-eigencompute-launches\/'>il 30 settembre 2025<\/a> due prodotti chiave: EigenAI, un&#8217;API di inferenza LLM verificabile e compatibile con OpenAI (parte dal modello gpt-oss-120b), ed EigenCompute, un ambiente di esecuzione off-chain dove si distribuiscono immagini Docker dentro enclave TEE.<\/p> <p class=\"wp-block-paragraph\">Il cuore tecnico \u00e8 l&#8217;esecuzione deterministica \u00abbit-exact\u00bb dell&#8217;inferenza su GPU: se lo stesso prompt e lo stesso modello devono produrre esattamente lo stesso output, qualsiasi deviazione segnala una manomissione. In questo modo EigenAI punta a neutralizzare i tre rischi dell&#8217;inferenza affidata a terzi: manomissione del prompt, modifica della risposta e sostituzione del modello.<\/p> <p class=\"wp-block-paragraph\">Sreeram Kannan, CEO di EigenCloud, riassume cos\u00ec la scommessa: \u00abIl futuro del software \u00e8 autonomo e verificabile, con agenti capaci di agire per conto degli utenti nel mondo reale\u00bb. Non \u00e8 solo entusiasmo da fondatore: Lincoln Murr, responsabile prodotto AI di Coinbase, ha spiegato che combinando gli strumenti di Coinbase con EigenAI ed EigenCompute \u00absi abilitano agenti capaci di pensare, agire e dimostrare le proprie azioni\u00bb, <a href='https:\/\/www.eigenlabs.org\/blog\/eigencloud-brings-verifiable-ai-to-mass-market-with-eigenai-and-eigencompute-launches\/'>come si legge nell&#8217;annuncio ufficiale<\/a>. La sicurezza poggia sul restaking di EigenLayer, il pi\u00f9 grande protocollo di restaking su Ethereum, e sul token EIGEN, che capitalizza <a href='https:\/\/www.coingecko.com\/en\/coins\/eigenlayer'>intorno ai 165 milioni di euro<\/a>; a inizio 2026 <a href='https:\/\/tr.tradingview.com\/news\/the_block:8b8569ba6094b:0-a16z-crypto-invests-70-million-in-direct-eigenlayer-token-deal-to-back-eigencloud-developer-platform-rollout'>a16z crypto ha investito circa 70 milioni di dollari<\/a> in un accordo diretto sul token per sostenere lo sviluppo della piattaforma.<\/p> <p class=\"wp-block-paragraph\">\u00c8 lo scenario in cui gli agenti autonomi smettono di essere una demo e iniziano a muovere denaro: un tema che abbiamo affrontato guardando ai <a href='https:\/\/hoge.gg\/it\/mercati-predittivi-bot-soldi-facili-microstruttura-2026\/'>bot sui mercati predittivi<\/a>, dove la verificabilit\u00e0 delle decisioni automatiche fa la differenza tra un mercato efficiente e un banco truccato.<\/p> <h2 class='wp-block-heading'>Phala, Ora e Ritual: l&#8217;infrastruttura dell&#8217;AI decentralizzata<\/h2> <p class=\"wp-block-paragraph\">Attorno ai grandi nomi si muove un ecosistema di infrastrutture specializzate. Phala Network ha puntato tutto sui TEE: enclave su Intel TDX e su GPU NVIDIA H100, H200 e B200, con attestazione verificabile. Nel 2025 ha completato la migrazione dalla parachain Polkadot a un Layer 2 su Ethereum (un rollup Op-Succinct con prove SP1), con PHA diventato un token ERC-20 e la <a href='https:\/\/phala.com\/posts\/phala-network-5-years-of-pioneering-tee-verifier-solutions'>vecchia parachain spenta il 20 novembre 2025<\/a>. Il progetto rivendica oltre 3,7 miliardi di token LLM elaborati nelle proprie enclave GPU. PHA vale intorno ai 0,02 euro, per una capitalizzazione di una <a href='https:\/\/www.coingecko.com\/en\/coins\/phala'>ventina di milioni di euro<\/a>.<\/p> <p class=\"wp-block-paragraph\">Ora Protocol, come visto, porta l&#8217;AI on-chain con l&#8217;approccio opML e il suo Onchain AI Oracle. Ritual, invece, alza l&#8217;ambizione: \u00e8 una Layer 1 sovrana e compatibile EVM, pensata per il \u00abcompute eterogeneo verificabile\u00bb, cio\u00e8 inferenza, fine-tuning, proving ZK ed esecuzione in TEE nello stesso ambiente. Il ponte tra off-chain e on-chain, Infernet, collega migliaia di nodi ai contratti intelligenti; con Ritual Chain quelle funzioni diventano precompilati nativi. Attenzione per\u00f2 a un dettaglio che ha gi\u00e0 fatto vittime: Ritual non ha un token ufficiale, e i presunti \u00abtoken Ritual\u00bb in circolazione sono truffe, come abbiamo spiegato in un <a href='https:\/\/hoge.gg\/it\/ritual-2026-testnet-live-token-non-esiste\/'>articolo dedicato<\/a>.<\/p> <p class=\"wp-block-paragraph\">Sul fronte del calcolo grezzo, infine, mercati come Akash forniscono la potenza GPU decentralizzata su cui questi sistemi possono girare. Ma vendere calcolo e catturarne il valore in un token restano due problemi distinti, ed \u00e8 una tensione che attraversa l&#8217;intero settore.<\/p> <h2 class='wp-block-heading'>Provably fair 2.0: il verifiable compute entra nel gaming<\/h2> <p class=\"wp-block-paragraph\">Nel gambling crypto il termine <em>provably fair<\/em> indica da anni un metodo per dimostrare che l&#8217;esito di una partita non \u00e8 stato manipolato: si usa l&#8217;hashing crittografico per fissare in anticipo un risultato imprevedibile ma verificabile a posteriori. Funziona benissimo per un dado o per l&#8217;ordine di un mazzo di carte, cio\u00e8 per un output semplice. Il problema del 2026 \u00e8 un altro: i giochi on-chain iniziano a integrare AI (NPC che ragionano, matchmaking, economie gestite da agenti, generazione di contenuti), e un semplice hash non basta pi\u00f9 a dimostrare che un modello si \u00e8 comportato come promesso.<\/p> <p class=\"wp-block-paragraph\">\u00c8 qui che il verifiable compute allarga il provably fair all&#8217;intelligenza artificiale. Un NPC che gira in un TEE pu\u00f2 firmare le proprie decisioni; un sistema di ricompense basato su un modello pu\u00f2 allegare una prova opML che l&#8217;output non \u00e8 stato truccato a favore del banco; un generatore di oggetti rari pu\u00f2 dimostrare di aver seguito le probabilit\u00e0 dichiarate. Il modello che sta emergendo \u00e8 ibrido: propriet\u00e0 e regolamento restano on-chain, mentre la simulazione AI gira off-chain in un ambiente verificabile, per bilanciare costi e trasparenza.<\/p> <p class=\"wp-block-paragraph\">Per l&#8217;utente italiano la differenza \u00e8 concreta: si passa dal \u00abfidati di noi\u00bb al \u00abverifica tu stesso\u00bb. Sul piano normativo il gaming Web3 si muove su un crinale delicato, tra tutela del giocatore e qualificazione degli asset; ne abbiamo scritto analizzando <a href='https:\/\/hoge.gg\/it\/sec-gaming-web3-nft-skin-token-2026\/'>come i regolatori guardano a NFT e skin<\/a>. La verificabilit\u00e0 dell&#8217;AI, in questo quadro, \u00e8 tanto una funzione di prodotto quanto uno scudo di conformit\u00e0.<\/p> <h2 class='wp-block-heading'>Il paradosso dei token: tanti scambi, poco valore catturato<\/h2> <p class=\"wp-block-paragraph\">C&#8217;\u00e8 una tensione che percorre tutto il settore: la tecnologia funziona sempre meglio, ma i token che dovrebbero catturarne il valore faticano. ZKC scambia oltre 100 milioni di euro al giorno e capitalizza circa 12 milioni; al lancio la sua valutazione diluita sfiorava i 900 milioni. La ragione \u00e8 strutturale: in un mercato di prove che compete al ribasso, il prezzo tende al costo marginale della GPU, e il token finisce per servire pi\u00f9 da collaterale e da unit\u00e0 di conto che da meccanismo di cattura di rendita.<\/p> <p class=\"wp-block-paragraph\">Il pattern si ripete: Boundless, Succinct e Phala mostrano capitalizzazioni modeste rispetto all&#8217;utilit\u00e0 dichiarata, mentre EIGEN regge meglio perch\u00e9 l\u00ec il valore passa dal restaking pi\u00f9 che dalle prove. Per l&#8217;investitore il messaggio \u00e8 prudenza: comprare \u00abl&#8217;AI verificabile\u00bb tramite un token significa esporsi a un asset la cui domanda dipende da margini sottili e da una concorrenza feroce, in un contesto di mercato che resta fragile. Abbiamo sviluppato proprio questo punto in un pezzo dedicato al perch\u00e9, in questo settore, <a href='https:\/\/hoge.gg\/it\/verifiable-compute-2026-prove-scalano-token\/'>le prove scalano ma i token no<\/a>.<\/p> <h2 class='wp-block-heading'>Regole europee: AI Act, MiCA, Garante e Consob<\/h2> <p class=\"wp-block-paragraph\">Due corpi normativi si intrecciano attorno al verifiable compute. Sul lato AI, il Regolamento UE sull&#8217;intelligenza artificiale ha reso operativi il 2 agosto 2026 gli <a href='https:\/\/artificialintelligenceact.eu\/article\/50\/'>obblighi di trasparenza dell&#8217;articolo 50<\/a>: marcatura leggibile dalla macchina e provenienza dei contenuti sintetici, con un periodo transitorio fino al 2 dicembre 2026 per i sistemi gi\u00e0 sul mercato e sanzioni fino a 15 milioni di euro o al 3% del fatturato. I modelli per finalit\u00e0 generali devono inoltre pubblicare documentazione tecnica e un riassunto dei dati di addestramento. In Italia la vigilanza coinvolge AgID e il Garante per la protezione dei dati personali: il verifiable compute non \u00e8 imposto dalla legge, ma \u00e8 uno strumento naturale per dimostrare conformit\u00e0, cio\u00e8 provenienza, tracciabilit\u00e0 e integrit\u00e0 dell&#8217;inferenza.<\/p> <p class=\"wp-block-paragraph\">Sul lato asset, i token del settore (ZKC, PROVE, EIGEN, PHA) sono crypto-asset soggetti a MiCA; in Italia la vigilanza spetta a Consob e Banca d&#8217;Italia, e <a href='https:\/\/hoge.gg\/it\/mica-2026-fine-transitorio-italia-nove-soggetti-abilitati\/'>il regime transitorio si \u00e8 chiuso il 1 luglio 2026<\/a>. Chi emette o offre questi token nell&#8217;Unione deve rispettare gli obblighi MiCA, e chi li acquista gode, almeno in teoria, delle relative tutele informative. Il contrasto con gli Stati Uniti \u00e8 netto: mentre l&#8217;Europa impone provenienza e trasparenza, oltreoceano il <a href='https:\/\/hoge.gg\/it\/vuoto-enforcement-sec-crypto-chi-riempie-2026\/'>ritiro dell&#8217;enforcement della SEC<\/a> lascia pi\u00f9 spazio all&#8217;autoregolamentazione. Per i progetti di verifiable compute, globali per natura, questo significa dover soddisfare il denominatore comune pi\u00f9 esigente, cio\u00e8 quello europeo.<\/p> <h2 class='wp-block-heading'>Rischi e limiti: la fiducia si sposta, non sparisce<\/h2> <p class=\"wp-block-paragraph\">Nessuna di queste tecnologie \u00e8 una scatola nera perfetta, e chi la vende come tale sta esagerando. Vale la pena elencare i limiti con franchezza.<\/p> <ul class='wp-block-list'><li>Lo zkML non scala ai modelli di frontiera: provare un LLM da centinaia di miliardi di parametri resta, oggi, impraticabile.<\/li><li>I TEE spostano la fiducia sul produttore del chip; una falla hardware o firmware azzera la garanzia, e la storia degli attacchi side-channel insegna a non dormire sonni tranquilli.<\/li><li>L&#8217;opML introduce latenza e presuppone che esista almeno un verificatore onesto e vigile, disposto a spendere risorse per contestare.<\/li><li>La sicurezza cripto-economica dipende dal valore del collaterale: se il token crolla, si indebolisce anche la garanzia che dovrebbe fornire.<\/li><li>Nessun approccio dimostra che il modello sia \u00abbuono\u00bb: prova solo che \u00e8 stato eseguito come dichiarato. Un modello distorto, eseguito fedelmente, produce una prova valida di un risultato distorto.<\/li><\/ul> <p class=\"wp-block-paragraph\">La sintesi onesta \u00e8 questa: il verifiable compute sposta la fiducia, non la elimina. La sposta dalla parola di un fornitore alla matematica, all&#8217;hardware o all&#8217;incentivo economico. \u00c8 un enorme passo avanti, ma resta una scelta di dove riporre la fiducia, non la sua abolizione.<\/p> <h2 class='wp-block-heading'>Cosa aspettarsi nei prossimi mesi<\/h2> <p class=\"wp-block-paragraph\">La ragione per cui il tema \u00e8 diventato centrale la ha riassunta bene Vitalik Buterin. Secondo il cofondatore di Ethereum, la \u00abverifica formale assistita dall&#8217;AI\u00bb, cio\u00e8 prove matematiche controllabili da una macchina, \u00e8 <a href='https:\/\/www.coindesk.com\/tech\/2026\/05\/18\/vitalik-buterin-says-ai-formal-verification-could-actually-make-crypto-much-more-secure'>uno dei motivi principali del suo ottimismo<\/a> sul fatto che l&#8217;AI possa rendere l&#8217;infrastruttura crypto pi\u00f9 sicura invece che pi\u00f9 fragile. Il ragionamento \u00e8 semplice: l&#8217;AI abbassa il costo di scrivere codice, ma anche quello di trovarne i difetti; l&#8217;unico modo per stare al passo \u00e8 poter dimostrare, e non solo sperare, che un sistema si comporta come dichiarato. \u00c8 lo stesso principio del verifiable compute applicato al software.<\/p> <p class=\"wp-block-paragraph\">Guardando ai prossimi mesi, quattro tendenze sembrano gi\u00e0 tracciate:<\/p> <ul class='wp-block-list'><li>Costi delle prove in calo: con pi\u00f9 concorrenza tra prover, il proving diventa una voce di costo trascurabile per le API che valgono pi\u00f9 di qualche centesimo a chiamata.<\/li><li>Convergenza degli approcci: sistemi ibridi che uniscono TEE e ZK (prima la velocit\u00e0 dell&#8217;enclave, poi la prova crittografica), come gi\u00e0 fa Phala appoggiandosi a Op-Succinct.<\/li><li>Pressione normativa crescente: dopo l&#8217;articolo 50, il 2 dicembre 2026 scade la finestra per i sistemi preesistenti, e la provenienza verificabile diventer\u00e0 un requisito d&#8217;appalto prima ancora che un obbligo di legge.<\/li><li>Consolidamento dei token: capitalizzazioni sottili e margini bassi spingeranno verso fusioni e verso modelli in cui il valore passa dai servizi o dal restaking, non dalle prove vendute a costo marginale.<\/li><\/ul> <p class=\"wp-block-paragraph\">Il 2026 non ha risposto a tutte le domande, ma ne ha spostata una in avanti: il verifiable compute \u00e8 passato da \u00abinteressante in teoria\u00bb a \u00abnecessario in pratica\u00bb. Per la crypto, per l&#8217;AI e, sempre di pi\u00f9, per il gaming, la domanda \u00abchi verifica la macchina?\u00bb ha finalmente qualche risposta credibile.<\/p> <h2 class='wp-block-heading'>Domande frequenti<\/h2> <h3 class='wp-block-heading'>Che cos&#8217;\u00e8 il verifiable compute in ambito crypto?<\/h3> <p class=\"wp-block-paragraph\">\u00c8 l&#8217;insieme delle tecniche che permettono di dimostrare che un calcolo, spesso l&#8217;inferenza di un modello AI, \u00e8 stato eseguito correttamente, senza rieseguirlo e senza fidarsi di chi lo ha svolto. La prova pu\u00f2 essere crittografica (zkML), economica (opML) o hardware (TEE).<\/p> <h3 class='wp-block-heading'>Qual \u00e8 la differenza tra zkML, opML e TEE?<\/h3> <p class=\"wp-block-paragraph\">Lo zkML genera una prova matematica: garanzia massima, ma costosa e limitata a modelli piccoli. L&#8217;opML accetta il risultato e apre una finestra per contestarlo con prove di frode: economico, ma con latenza. Il TEE usa un&#8217;enclave hardware che firma il risultato: veloce e flessibile, ma richiede di fidarsi del produttore del chip.<\/p> <h3 class='wp-block-heading'>Conviene investire nei token del verifiable compute?<\/h3> <p class=\"wp-block-paragraph\">\u00c8 un&#8217;area ad alto rischio. Token come ZKC, PROVE, EIGEN e PHA hanno capitalizzazioni contenute e dipendono da margini sottili in un mercato molto competitivo; alcuni registrano volumi elevati con valutazioni basse. Nell&#8217;Unione europea sono crypto-asset soggetti a MiCA, con vigilanza di Consob e Banca d&#8217;Italia in Italia. Non \u00e8 un consiglio finanziario.<\/p> <h3 class='wp-block-heading'>Il verifiable compute \u00e8 obbligatorio per legge in Europa?<\/h3> <p class=\"wp-block-paragraph\">Non direttamente. Dal 2 agosto 2026 l&#8217;articolo 50 del Regolamento UE sull&#8217;AI impone di marcare e rendere tracciabili i contenuti generati dall&#8217;AI; il verifiable compute non \u00e8 imposto, ma \u00e8 uno degli strumenti tecnici pi\u00f9 adatti a dimostrare provenienza e integrit\u00e0.<\/p> <h3 class='wp-block-heading'>Come si applica il verifiable compute al gaming?<\/h3> <p class=\"wp-block-paragraph\">Estende il concetto di provably fair dall&#8217;esito semplice (un dado, una carta) ai sistemi AI: un NPC in un TEE pu\u00f2 firmare le proprie decisioni, un sistema di ricompense pu\u00f2 allegare una prova che l&#8217;output non \u00e8 truccato e un generatore di oggetti rari pu\u00f2 dimostrare di aver rispettato le probabilit\u00e0 dichiarate.<\/p> <script type='application\/ld+json'>{\"@context\":\"https:\/\/schema.org\",\"@type\":\"FAQPage\",\"mainEntity\":[{\"@type\":\"Question\",\"name\":\"Che cos'\u00e8 il verifiable compute in ambito crypto?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"\u00c8 l'insieme delle tecniche che permettono di dimostrare che un calcolo, spesso l'inferenza di un modello AI, \u00e8 stato eseguito correttamente, senza rieseguirlo e senza fidarsi di chi lo ha svolto. La prova pu\u00f2 essere crittografica (zkML), economica (opML) o hardware (TEE).\"}},{\"@type\":\"Question\",\"name\":\"Qual \u00e8 la differenza tra zkML, opML e TEE?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"Lo zkML genera una prova matematica: garanzia massima, ma costosa e limitata a modelli piccoli. L'opML accetta il risultato e apre una finestra per contestarlo con prove di frode: economico, ma con latenza. Il TEE usa un'enclave hardware che firma il risultato: veloce e flessibile, ma richiede di fidarsi del produttore del chip.\"}},{\"@type\":\"Question\",\"name\":\"Conviene investire nei token del verifiable compute?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"\u00c8 un'area ad alto rischio. Token come ZKC, PROVE, EIGEN e PHA hanno capitalizzazioni contenute e dipendono da margini sottili in un mercato molto competitivo; alcuni registrano volumi elevati con valutazioni basse. Nell'Unione europea sono crypto-asset soggetti a MiCA, con vigilanza di Consob e Banca d'Italia in Italia. Non \u00e8 un consiglio finanziario.\"}},{\"@type\":\"Question\",\"name\":\"Il verifiable compute \u00e8 obbligatorio per legge in Europa?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"Non direttamente. Dal 2 agosto 2026 l'articolo 50 del Regolamento UE sull'AI impone di marcare e rendere tracciabili i contenuti generati dall'AI; il verifiable compute non \u00e8 imposto, ma \u00e8 uno degli strumenti tecnici pi\u00f9 adatti a dimostrare provenienza e integrit\u00e0.\"}},{\"@type\":\"Question\",\"name\":\"Come si applica il verifiable compute al gaming?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"Estende il concetto di provably fair dall'esito semplice (un dado, una carta) ai sistemi AI: un NPC in un TEE pu\u00f2 firmare le proprie decisioni, un sistema di ricompense pu\u00f2 allegare una prova che l'output non \u00e8 truccato e un generatore di oggetti rari pu\u00f2 dimostrare di aver rispettato le probabilit\u00e0 dichiarate.\"}}]}<\/script> <p class=\"wp-block-paragraph\"><em>Di Marcus Okafor, redazione HOGE Wire. Questo articolo ha finalit\u00e0 informative e non costituisce consulenza finanziaria.<\/em><\/p>","protected":false},"excerpt":{"rendered":"<p>Reti di prover in produzione, enclave GPU verificabili e l&#8217;AI Act sulla provenienza: nel 2026 provare cosa fa un modello AI diventa necessario. Guida a zkML, opML, TEE e ai token del settore.<\/p>\n","protected":false},"author":5,"featured_media":508,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[13],"tags":[],"class_list":["post-507","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ai-crypto"],"_links":{"self":[{"href":"https:\/\/hoge.gg\/it\/wp-json\/wp\/v2\/posts\/507","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hoge.gg\/it\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/hoge.gg\/it\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/hoge.gg\/it\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/hoge.gg\/it\/wp-json\/wp\/v2\/comments?post=507"}],"version-history":[{"count":0,"href":"https:\/\/hoge.gg\/it\/wp-json\/wp\/v2\/posts\/507\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/hoge.gg\/it\/wp-json\/wp\/v2\/media\/508"}],"wp:attachment":[{"href":"https:\/\/hoge.gg\/it\/wp-json\/wp\/v2\/media?parent=507"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/hoge.gg\/it\/wp-json\/wp\/v2\/categories?post=507"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/hoge.gg\/it\/wp-json\/wp\/v2\/tags?post=507"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}