Compromiso KZG

KZG requiere un Structured Reference String generado por un trusted setup, las llamadas powers of tau: potencias de un secreto τ multiplicadas por el generador, donde τ es residuo tóxico que debe destruirse, porque quien lo conozca podría falsificar pruebas. El compromiso es C = p(τ)·G evaluado a ciegas con el SRS. Para probar la evaluación en un punto se compromete al polinomio cociente y se verifica con una ecuación de emparejamientos sobre una curva apta como BLS12-381. Sus compromisos y pruebas son de tamaño constante, no logarítmico como en Merkle, a cambio de un trusted setup y de no ser post-cuántico.

Es la base de la disponibilidad de datos en el escalado de Ethereum y un ladrillo central de muchos zk-rollups, ya que sistemas de prueba como PLONK usan compromisos KZG. Permite a un rollup comprometerse a grandes lotes de datos con pruebas pequeñas y verificación barata on-chain, compatible con el muestreo de disponibilidad de datos.

El paper original es Constant-Size Commitments to Polynomials and Their Applications, de Aniket Kate, Gregory Zaverucha e Ian Goldberg, presentado en ASIACRYPT 2010. EIP-4844 (proto-danksharding) lo llevó a la red principal de Ethereum con la actualización Dencun el 13 de marzo de 2024: cada blob de 128 KiB se compromete con KZG. El trusted setup público, la KZG Summoning Ceremony, arrancó el 13 de enero de 2023 y reunió más de 140.000 participantes, el mayor de su tipo hasta esa fecha. Proyectos como zkSync, Scroll, Polygon zkEVM y Linea apoyan partes de su pila en estos compromisos.