"Kirjoita normaali Rust kuten verkkopalvelimen taustajärjestelmä, laita sitten liiketoimintalogiikka zkVM:ään ja tee siitä todennettavissa." - @pumatheuma, yksi @SuccinctLabs perustajista VAP:illa (todennettavissa olevilla sovelluksilla) säilytät web2-kehitys- ja latenssimallin (ketjun ulkopuolinen pyyntöjen käsittely, nopea sovitus, halpa infra) ja liität ytimekkään todisteen siitä, että ohjelma todella toimi ilmoitetuilla syötteillä ja noudatti sen sääntöjä. Todiste tarkistetaan ketjussa (tai yhdyskäytävässä), joten tilitys- tai tilapäivitykset tapahtuvat vain, jos tarkka ohjelmatunnus, syötteet ja rajoitukset tarkistetaan. Ei uudelleensuoritusta, ei piirin käsin koodaamista, ei kryptografiaosaamista - vain vakiokoodi, joka on käännetty zkVM-kohteeseen. Tuloksena on web2 DX, jossa on web3-takuut: liiketoimintasääntöjen oikeellisuus ja kiistämättömyys, syötteiden eheys, valinnainen yksityisyys (todista ominaisuudet paljastamatta tietoja) ja luottamuksen siirrettävyys, koska sama todiste voidaan tarkistaa missä tahansa. Katso koko jakso Uma Royn kanssa nähdäksesi, kuinka VAP:t ja reaaliaikainen todistaminen tekevät "normaalin koodin kirjoittamisesta, todennettavuudesta" käytännöllisen polun tuotantojärjestelmille: