Apprendre les tenants et les aboutissants des preuves à connaissance nulle (ZK)

Les preuves sans connaissance (ZK-proofs) sont devenues populaires dans le monde de la cryptographie cette année, mais les non-cryptographes et les programmeurs peuvent être confus.

Les preuves ZK sont compliquées malgré leur apparence. Ils permettent au prouveur de démontrer facilement ses connaissances au vérificateur sans partager les détails. Cela n'exige pas que le prouveur discute de l'information.

Au milieu des années 1980, peu d’universitaires ont été les pionniers de cette idée. Depuis, il est devenu un mécanisme réaliste de calcul vérifiable et a jeté les bases de l'environnement Web3, où les preuves ZK sont plus importantes.

ZK dans la Blockchain : son rôle changeant

Les preuves ZK existaient dans la cryptographie théorique avant la technologie blockchain, mais la décentralisation de la blockchain les a rendues plus visibles et plus importantes. Essentiellement, la blockchain est un grand livre public. Quelle que soit la transaction, chaque détail est documenté et accessible au public.

La technologie Blockchain offre de la transparence, mais la confidentialité des utilisateurs est une préoccupation majeure.

Les preuves ZK résolvent les conflits de confidentialité et d'ouverture de la blockchain. Ils assurent la vérification des transactions sans divulguer d’informations sur la transaction, préservant ainsi la confidentialité des utilisateurs et l’immuabilité de la blockchain.

Le calcul hors chaîne vérifiable, une avancée clé de la blockchain, est devenu un cas d'utilisation important pour les preuves ZK sur le Web3 au cours de la décennie précédente.

Tentatives pour trouver une solution au problème d'évolutivité

L’informatique hors chaîne vérifiable est importante, mais nous devons d’abord discuter des limites sévères des contrats intelligents. Par nature, les contrats intelligents présentent trois inconvénients majeurs :

• Certains types d’informations que les contrats intelligents peuvent obtenir sont limités. Par exemple, ils ne peuvent pas obtenir d’informations sur les prix des jetons ou sur tout autre élément qui n’est pas enregistré sur la blockchain.

• La capacité de la blockchain à stocker des données : Les blockchains n’ont pas été conçues pour contenir beaucoup de données. Sa mise en œuvre coûterait très cher et prendrait beaucoup de temps.

• Le genre de réflexion qu’ils peuvent faire : un contrat intelligent ne peut utiliser que les formes les plus élémentaires de logique conditionnelle s’il n’a pas à payer des coûts de gaz exorbitants.

  
  

Ces problèmes doivent être résolus pour que la blockchain puisse évoluer afin de répondre aux besoins de l'écosystème Web3. Heureusement, ZK a grandi avec Web3.

Nous pouvons résoudre avec élégance le stockage et le calcul limités du réseau en déchargeant certaines données et le travail de calcul de la blockchain.

Avec la révélation que des activités hors chaîne peuvent être effectuées et qu'une preuve ZK peut être utilisée pour fournir un résumé bref et fiable des opérations hors chaîne à la chaîne principale sans partager toutes les données sous-jacentes, la technologie blockchain a changé. Examinons les protocoles évolutifs de ce domaine.

La prochaine génération de ZK dans son ensemble

Bien que les preuves ZK sur le stockage décentralisé et les cumuls ZK aient élargi les possibilités de la blockchain, il manque encore quelque chose d'important. Les possibilités de stockage décentralisé sont plus nombreuses qu’il n’y paraît.

Le stockage des données est crucial, mais l'incapacité de ces plates-formes à faire plus que la récupération de données (et non le « calcul ») limite leur applicabilité. Les rollups ZK, qui peuvent exécuter plusieurs tâches informatiques, ne comblent pas non plus l'écart.