Glossary
Engagement KZG
Un schéma d'engagement polynomial (Kate-Zaverucha-Goldberg) qui permet à un prouveur de s'engager sur un polynôme puis de l'ouvrir en tout point avec une preuve de taille constante.
Les engagements KZG (Kate, Zaverucha, Goldberg) utilisent la cryptographie à base de pairings pour s'engager sur un polynôme sous forme d'un unique point de courbe elliptique. Le prouveur peut ensuite "ouvrir" l'engagement en n'importe quel point d'évaluation, produisant une preuve de taille constante vérifiable par un seul contrôle de pairing.
KZG est au cœur du design danksharding / EIP-4844 d'Ethereum : chaque blob est engagé via un engagement KZG, et le protocole peut vérifier toute cellule spécifique du blob via une petite preuve d'ouverture. Le schéma requiert un trusted setup, qu'Ethereum a réalisé via la cérémonie Powers-of-Tau de 2023.