Ethereum est en train d’implémenter le KZG, un schéma d’engagement polynomial, qui pourrait aider à faire évoluer Ethereum.
Rendre les preuves de connaissance zéro (ZKP) « compréhensibles et accessibles » aux gens est nécessaire pour que l’écosystème Ethereum reste « ouvert et accueillant » aux personnes sans diplôme de mathématiques, a tweeté Vitalik Buterin, cofondateur d’Ethereum, le 26 octobre.
Les ZKP sont souvent appelées « moon maths » en raison de leur complexité.
Je suis très heureux qu’Ethereum ait une culture si forte qui consiste à faire tout son possible pour que nos mathématiques lunaires soient aussi compréhensibles et accessibles aux gens que possible. https://t.co/o9n2Xms4Zw
– vitalik.eth (@VitalikButerin) October 26, 2022
Buterin a ajouté que « la décentralisation exige de NE PAS abandonner et d’agiter 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 à connaissance zéro, a expliqué dans un blog comment les schémas d’engagement polynomiaux, une partie essentielle de plusieurs ZKP, fonctionnent et comment ils peuvent aider à mettre Ethereum à l’échelle.
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 de grandes données.
Un schéma d’engagement est un protocole cryptographique dans lequel une personne s’engage sur un message et le garde caché mais peut le révéler plus tard. Cependant, la personne qui s’engage ne peut pas modifier le message une fois qu’elle s’est engagée, ce qui rend les schémas 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 caractéristique supplémentaire qui permet au commettant de prouver qu’il s’est engagé sur un certain polynôme qui satisfait aux propriétés requises sans révéler le polynôme lui-même.
KZG dans Scaling 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. Le KZG doit également être intégré à Ethereum avec le Proto-Danksharding, qui sera mis en œuvre par le biais de l’EIP-4844, 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. Le Proto-Danksharding introduit un nouveau type de transaction appelé « blob-carrying transaction ». Ces transactions transportent un blob de données de 128 kb, auquel on ne peut pas accéder depuis la couche d’exécution d’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é comme un 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. Le DAS permet essentiellement aux validateurs de s’assurer que le blob de données est disponible et correct, sans avoir à lire l’ensemble du blob de données.
Ceci, à son tour, peut contribuer de manière significative à l’amélioration de l’évolutivité d’Ethereum puisque les validateurs doivent traiter moins de données.
