Rendre les preuves de connaissance nulle (ZKP) « compréhensibles et accessibles » aux gens est nécessaire pour garder l’écosystème Ethereum « ouvert et accueillant » aux personnes sans diplôme en mathématiques, a tweeté le co-fondateur d’Ethereum, Vitalik Buterin, le 26 octobre.
Les ZKP sont souvent appelés « mathématiques lunaires » en raison de leur complexité.
Je suis tellement heureux qu'Ethereum ait une culture si forte qui s'efforce de rendre tous nos mathématiques lunaires aussi compréhensibles et accessibles aux gens que possible. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) 26 octobre 2022
Buterin a ajouté que « la décentralisation nécessite de NE PAS abandonner et de brandir un doctorat en disant : « c'est une boîte noire, nous sommes intelligents, faites-nous confiance ». »
Scroll, une solution de mise à l'échelle Ethereum de couche 2 sans connaissance, expliquée dans un blogue comment fonctionnent les systèmes d’engagement polynomial, un élément essentiel de plusieurs ZKP, et comment ils peuvent aider à faire évoluer Ethereum.
Les polynômes sont des expressions mathématiques qui représentent plus de deux termes algébriques. Selon le blog Scroll, les polynômes peuvent aider à représenter efficacement des données volumineuses.
Un schéma d'engagement est un protocole cryptographique dans lequel on s'engage sur un message et le garde caché mais peut révéler le message plus tard. Cependant, celui qui s'engage ne peut pas modifier le message une fois qu'il s'y est engagé, ce qui rend les programmes d'engagement contraignants.
Dans un schéma d'engagement polynomial, on s'engage sur un polynôme au lieu d'un message. Le schéma d'engagement polynomial répond à toutes les propriétés des schémas d'engagement normaux. Mais il possède une fonctionnalité supplémentaire qui permet à l'auteur du commit de prouver qu'il s'est engagé envers un certain polynôme qui satisfait aux propriétés requises sans révéler le polynôme lui-même.
KZG dans la mise à l'échelle d'Ethereum
Bien qu'il existe différents schémas d'engagement polynomial, Kate-Zaverucha-Goldberg (KZG) est populaire dans l'espace blockchain et est utilisé par les systèmes de preuve de Scroll. KZG devrait également être intégré à Ethereum avec Proto-Danksharding, qui sera mis en œuvre via EIP-4844, qui a été proposé en février 2022.
Proto-Danksharding est une solution provisoire jusqu'à ce que Danksharding, qui pourrait rendre l'utilisation des rollups moins coûteuse, puisse être mis en œuvre. Proto-Danksharding introduit un nouveau type de transaction appelé « transaction portant un blob ». Ces transactions transportent un blob de données de 128 Ko, auquel on ne peut pas accéder depuis la couche d'exécution Ethereum. Au lieu de cela, seul l’engagement envers le blob de données sera accessible depuis Ethereum.
Le blob de données est représenté sous forme de polynôme et le schéma d'engagement polynomial KZG est utilisé pour créer un engagement sur les données. Cela permet de vérifier les propriétés du blob de données sans révéler l’intégralité du blob de données.
L’utilisation de KZG peut donc permettre l’échantillonnage de disponibilité des données (DAS), qui sera mis en œuvre sur la voie du Danksharding complet. DAS permet essentiellement aux validateurs de garantir que le blob de données est disponible et correct, sans avoir à lire l'intégralité du blob de données.
Ceci, à son tour, peut contribuer considérablement à améliorer l’évolutivité d’Ethereum, car les validateurs doivent traiter moins de données.
Source : https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/