La oss forklare ZK: 📚 ZK står for Zero Knowledge og låser opp to superkrefter: Personvern og Skala. ZK står meg nær, både som medoppfinner av ZK-STARKs og som medgründer av to ZK-prosjekter: @Zcash (fokusert på personvern) og @StarkWareLtd (fokusert på skala og nå personvern)

@Zcash @StarkWareLtd Hvordan fungerer ZK? Det finnes to typer enheter: en Prover og en Verifier Proveren gjør det tunge løftet: - Registrering av data fra alle behandlinger - Behandling av dataene - Oppdatering av systemets tilstand (altså saldoen etter alle behandlinger) - Generere en tilstandsoppdatering og et bevis

@Zcash @StarkWareLtd En typisk uttalelse fra Proveren sier «Jeg, Proveren, har startet med tilstand A, behandlet 1 000 000 behandlinger, og basert på disse, nådd tilstand B". Beviset er en sekvens av tall og hasher som kan sjekkes for å bevise integriteten til hele påstanden.

@Zcash @StarkWareLtd Verifikatoren (som vanligvis sitter på chain) sjekker beviset, ved å bruke matematikk og kryptografi for å sjekke om påstanden er sann før den aksepteres. Teoremene vi har bevist gjennom årene sier at Verifikatoren alltid aksepterer sanne utsagn og aldri aksepterer falske utsagn.

@Zcash @StarkWareLtd En ondsinnet Prover som prøver å overbevise en Verifikator om å akseptere en falsk påstand må gjøre omtrent samme arbeid som å finne en kollisjon i en kryptografisk hashfunksjon, noe som ikke kan gjøres før solen vår kjøler seg ned.

@Zcash @StarkWareLtd Hvorfor er ZK bra for personvern? Verifikatoren sjekker ikke riktigheten av uttalelsen ved å behandle dataene den attesterer for. Derfor kan data verifiseres som gyldige mens de holdes skjult for Verifikatoren.

@Zcash @StarkWareLtd Hvorfor er ZK bra for skala? Verifikatoren trenger ikke å gjøre beregningen på nytt som Beviseren gjorde. Beviseren kan behandle 1 million behandlinger, men Verifikatoren trenger ikke å gjenta det for å verifisere riktigheten til alle disse behandlingene. Å sjekke beviset vil være nok til å sikre deres gyldighet.