Să explicăm ZK: 📚 ZK înseamnă Zero Knowledge și deblochează 2 superputeri: Confidențialitatea și Scala. ZK îmi este foarte drag, atât ca co-inventator al ZK-STARK-urilor, cât și ca cofondator a două proiecte ZK: @Zcash (axat pe confidențialitate) și @StarkWareLtd (axat pe scară și acum pe intimitate)

@Zcash @StarkWareLtd Cum funcționează ZK? Există două tipuri de entități: un Verificator și un Verificator Prover face munca grea: - Înregistrarea datelor din toate tx-urile - Procesarea datelor - Actualizarea stării sistemului (adică soldul după toate transferurile) - Generarea unei actualizări de stare și a unei demonstrații

@Zcash @StarkWareLtd O afirmație tipică a Proverului spune: "Eu, Proverul, am început cu starea A, am procesat 1.000.000 de mesaje și, pe baza acestora, am ajuns statul B". Demonstrația este o secvență de numere și hash-uri care poate fi verificată pentru a demonstra integritatea întregii afirmații.

@Zcash @StarkWareLtd The Verifier (care de obicei stă onchain) verifică demonstrația, folosind matematică și criptografie pentru a verifica dacă afirmația este adevărată înainte de a fi acceptată. Teoremele pe care le-am demonstrat de-a lungul anilor spun că Verificatorul acceptă întotdeauna afirmații adevărate și niciodată afirmații false.

@Zcash @StarkWareLtd Un Prover malițios care ar putea încerca să convingă un Verificator să accepte o afirmație falsă trebuie să facă o muncă similară cu găsirea unei coliziuni într-o funcție hash criptografică, lucru care nu poate fi făcut înainte ca Soarele nostru să se răcească.

@Zcash @StarkWareLtd De ce este ZK bun pentru confidențialitate? Verificatorul nu verifică corectitudinea afirmației procesând datele pe care le atestă. De aceea datele pot fi verificate ca fiind valide dacă sunt păstrate ascunse de Verificator.

@Zcash @StarkWareLtd De ce este ZK bun pentru scară? Verificatorul nu trebuie să refacă calculul pe care l-a făcut Proverul. Demonstratorul poate procesa 1 milion de transmisii, dar verificatorul nu va trebui să le repete pentru a verifica corectitudinea tuturor acestor transmisii. Verificarea dovezii va fi suficientă pentru a le asigura validitatea.