“Scrivi codice Rust normale come faresti per un backend di web-server, poi metti quella logica di business in un zkVM e rendila verificabile.” - @pumatheuma, Co-fondatore di @SuccinctLabs Con i VAP (applicazioni verificabili), mantieni il modello di sviluppo e latenza del web2 (gestione delle richieste off-chain, abbinamento veloce, infrastruttura economica) mentre alleghi una prova succinta che il programma sia effettivamente stato eseguito con gli input dichiarati e abbia seguito le sue regole. La prova viene verificata on-chain (o presso un gateway), quindi il regolamento o gli aggiornamenti di stato avvengono solo se l'ID del programma esatto, gli input e i vincoli sono corretti. Nessuna riesecuzione, nessuna codifica manuale del circuito, nessuna competenza in crittografia richiesta - solo codice standard compilato per un target zkVM. Il risultato è un'esperienza web2 con garanzie web3: correttezza e non ripudio delle regole di business, integrità degli input, privacy opzionale (dimostrare proprietà senza rivelare dati) e portabilità della fiducia poiché la stessa prova può essere controllata ovunque. Guarda l'episodio completo con Uma Roy per vedere come i VAP e la dimostrazione in tempo reale rendano “scrivi codice normale, ottieni verificabilità” un percorso pratico per i sistemi di produzione:

In arrivo presso Verifying Intelligence durante la settimana di @token2049: un intervento di @tomngodefi, CEO di @MetisL2 🎉 Tom presenterà "Decentralizzazione e Fiducia: il Ruolo della Blockchain nell'AI" il 29 settembre presso Caldwell House, Singapore. RSVP: Verifying Intelligence è co-organizzato da @HouseofZK e @boundless_xyz - in collaborazione con @googlecloud - e sponsorizzato da @0G_labs, @LazAINetwork, @alt_layer, @VeridiseInc, @OntologyNetwork e @gonka_ai 🤝

In arrivo a Verifying Intelligence durante la settimana di @token2049: un'intervista con @DaLiberman, Creatore di @gonka_ai 🎉 Daniil Liberman è un futurista, imprenditore seriale, investitore e ex Direttore del Prodotto di Snap, nonché creatore di Gonka. Ha iniziato il suo percorso imprenditoriale con i suoi fratelli, co-fondando iniziative nei settori della grafica computerizzata, della finanza e dell'IA. Daniil ha co-fondato Frank Money, pionierando la radicale trasparenza finanziaria, e successivamente ha lanciato Kernel AR, che è stata acquisita da Snap nello stesso anno. Lui e i suoi fratelli hanno firmato il Founders Pledge, canalizzando il loro output economico in Libermans Co., ora valutata 400 milioni di dollari e ha attratto investimenti da @pmarca, Josh Kushner, @ariellezuck. 🗓️ 29 settembre 📍 Caldwell House, Singapore 🎟️ Verifying Intelligence è co-organizzato da @HouseofZK e @boundless_xyz - in collaborazione con @googlecloud - e sponsorizzato da @0G_labs, @LazAINetwork, @alt_layer, @VeridiseInc, @OntologyNetwork e @gonka_ai 🤝