Låt oss förklara ZK: 📚 ZK står för Zero Knowledge och låser upp två superkrafter: Integritet och Skala. ZK ligger mig varmt om hjärtat, både som meduppfinnare av ZK-STARK och som medgrundare av två ZK-projekt: @Zcash (fokuserad på integritet) och @StarkWareLtd (fokuserad på skala och nu integritet)

@Zcash @StarkWareLtd Hur fungerar ZK? Det finns två typer av enheter: en Prover och en Verifierare Provern gör det tunga lyftet: - Registrera data från alla sändningar - Bearbetande av data - Uppdatera systemets tillstånd (det vill säga saldot efter alla leveranser) - Generera en tillståndsuppdatering och ett bevis

@Zcash @StarkWareLtd Ett typiskt uttalande från Provern säger "Jag, Provern, har börjat med tillstånd A, behandlat 1 000 000 transaktioner, och baserat på dessa nått jag tillstånd B". Beviset är en sekvens av siffror och hashar som kan kontrolleras för att bevisa integriteten hos hela påståendet.

@Zcash @StarkWareLtd Verifieraren (som vanligtvis sitter på kedjan) kontrollerar beviset och använder matematik och kryptografi för att kontrollera om påståendet är sant innan det accepteras. De satser vi har bevisat genom åren säger att verifieraren alltid accepterar sanna påståenden och aldrig accepterar falska påståenden.

@Zcash @StarkWareLtd En illvillig Prover som kan försöka övertyga en Verifierare att acceptera ett falskt påstående måste göra ungefär lika mycket arbete som att hitta en kollision i en kryptografisk hashfunktion, vilket inte kan göras innan vår sol svalnat.

@Zcash @StarkWareLtd Varför är ZK bra för integritet? Verifieraren kontrollerar inte riktigheten i uttalandet genom att bearbeta den data den intygar. Det är därför data kan verifieras som giltig medan den hålls dold för verifieraren.

@Zcash @StarkWareLtd Varför är ZK bra för skalning? Verifieraren behöver inte göra om beräkningen som Provern gjorde. Provaren kan behandla 1 miljon transaktioner, men verifieraren behöver inte upprepa det för att verifiera korrektheten i alla dessa transaktioner. Att kontrollera beviset räcker för att säkerställa deras giltighet.