En Francrais, preuve a divulgation nulle de connaissance
C’est une tehcno qui permet de prouver que quelque chose est vrai sans dévoiler son contenu (exemple prouver que j’ai 18 ans sans dévoiler ma CNI)
Use case pour la blockchain, on va compresser tte les tx et on va ecrire une preuve sur la L1, plus rapide, moins cher et plus confidentiel
Inventés en 1980
2 types :
ZK SNAKRS succinct non interactive argument of knowledge
Janvier 2012 cofondateur de starkware alessandro chiesa ecrit un papier
Basés sur la cryptographie a courbe elliptique
Ils necessitent une configuration de confiance au depart , necessitent une clef au depart , elles sont détruites apres. Mais si elle le sont pas alors c possible pour le détenteur des clefs de créer des tokens comme il le souhaite
exemple : ZCash utilise les zksnarks , loopring aussi
consomment 1/4 de l’equivalent des starks en gas et moins de place sur la blockchain
Devraient disparaitres car ne sont pas resistants aux attaque quantiques
ZK STARKS
Scallable transparent argument of knowledge
Premiers articles ecrits en 2018