"Skriv normal Rust på samma sätt som du skulle göra med en webbserverbackend, lägg sedan den affärslogiken i en zkVM och gör den verifierbar." - @pumatheuma, medgrundare av @SuccinctLabs Med VAPs (verifierbara applikationer) behåller du web2-utvecklings- och latensmodellen (hantering av förfrågningar utanför kedjan, snabb matchning, billig infrastruktur) samtidigt som du bifogar ett kortfattat bevis på att programmet faktiskt kördes på deklarerade indata och följde dess regler. Beviset verifieras i kedjan (eller vid en gateway), så kvittning eller tillståndsuppdateringar sker endast om det exakta program-ID:t, indata och begränsningar stämmer. Ingen omexekvering, ingen kretshandkodning, ingen kryptografiexpertis krävs - bara standardkod som kompilerats till ett zkVM-mål. Resultatet är web2 DX med web3-garantier: korrekthet och oavvislighet av affärsregler, integritet för indata, valfri integritet (bevisa egenskaper utan att avslöja data) och portabilitet av förtroende eftersom samma bevis kan kontrolleras var som helst. Titta på hela avsnittet med Uma Roy för att se hur VAP:er och realtidsprovning gör "skriv normal kod, få verifierbarhet" till en praktisk väg för produktionssystem: