Expliquons ZK : 📚 ZK signifie Zero Knowledge et il débloque 2 super-pouvoirs : la confidentialité et l'échelle. ZK me tient à cœur, à la fois en tant que co-inventeur des ZK-STARKs et en tant que co-fondateur de 2 projets ZK : @Zcash (axé sur la confidentialité) et @StarkWareLtd (axé sur l'échelle et maintenant la confidentialité)

@Zcash @StarkWareLtd Comment fonctionne ZK ? Il existe deux types d'entités : un Prover et un Verifier Le Prover fait le gros du travail : - Enregistrer les données de toutes les txs - Traiter les données - Mettre à jour l'état du système (c'est-à-dire le solde après toutes les txs) - Générer une mise à jour de l'état et une preuve

@Zcash @StarkWareLtd Une déclaration typique du Prover dit "Moi, le Prover, j'ai commencé avec l'état A, traité 1 000 000 txs, et basé sur ceux-ci, atteint l'état B". La preuve est une séquence de nombres et de hachages qui peuvent être vérifiés pour prouver l'intégrité de l'ensemble de la déclaration.

@Zcash @StarkWareLtd Le Vérificateur (qui se trouve généralement sur la chaîne) vérifie la preuve, en utilisant les mathématiques et la cryptographie pour vérifier si l'énoncé est vrai avant qu'il ne soit accepté. Les théorèmes que nous avons prouvés au fil des ans disent que le Vérificateur accepte toujours les énoncés vrais et n'accepte jamais les énoncés faux.

@Zcash @StarkWareLtd Un Prover malveillant qui pourrait essayer de convaincre un Vérificateur d'accepter une fausse déclaration doit effectuer un travail similaire à celui de trouver une collision dans une fonction de hachage cryptographique, ce qui ne peut pas être fait avant que notre Soleil ne refroidisse.

@Zcash @StarkWareLtd Pourquoi ZK est-il bon pour la confidentialité ? Le Vérificateur ne vérifie pas la justesse de l'énoncé en traitant les données qu'il atteste. C'est pourquoi les données peuvent être vérifiées comme valides tout en restant cachées au Vérificateur.

@Zcash @StarkWareLtd Pourquoi le ZK est-il bon pour l'échelle ? Le Vérificateur n'a pas besoin de refaire le calcul effectué par le Prover. Le Prover peut traiter 1 million de txs, mais le Vérificateur n'aura pas à le répéter pour vérifier la validité de tous ces txs. Vérifier la preuve suffira à garantir leur validité.