Todistaako paikallinen ensin loppupelin? House of ZK Radio #60:ssä @lagrangedev tutkija Franklin Delehelle vaatii, että jokaisen pitäisi pystyä tuottamaan ZK-todisteita itse - jokapäiväisillä laitteilla - sen sijaan, että luottaisi kalliisiin, erikoistuneisiin koneisiin tai keskitettyihin todistepalveluihin. Nykypäivän todistekustannukset ja viiveet työntävät edelleen tiimejä kohti ulkoistettuja verkkoja; Hän haluaa tuon riippuvuuden katoavan. Franklinin mukaan edistys ei tule yhdestä hopealuodista, vaan kasautumisesta koko pinon yli: • Matematiikka: kevyemmät aritmetisoinnit, haut, rekursiostrategiat, jotka kutistavat rajoituksia. • Ohjelmistot: paremmat kääntäjät/virtuaalikoneet, RAM-tietoiset mallit, tiukka testaus ja verifiointi, jotta järjestelmät voivat kovettua ja standardoida. • Laitteisto: grafiikkasuorittimien älykkäämpi käyttö nyt ja ajan myötä erilliset kiihdyttimet. Samaan aikaan modulaariset, todistusjärjestelmästä riippumattomat todistusverkot ovat käytännöllinen silta - skaalaavat työkuormia nykyään, kun ydintekniikka on tarpeeksi nopea todelliseen paikalliseen todistamiseen. Katso koko jakso esittelystä ZK:n nykyisestä vs. ihanteellisesta tilasta: