PLONK

PLONK, cuyo nombre es acrónimo de Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge, fue publicado en 2019 por Ariel Gabizon, Zachary J. Williamson y Oana Ciobotaru. Su rasgo distintivo es una cadena de referencia estructurada universal: en lugar de exigir un setup nuevo por cada circuito, una única ceremonia tipo powers of tau sirve para cualquier circuito hasta un tamaño máximo. Además es actualizable, así que cualquiera puede añadir aleatoriedad y basta con que un solo participante sea honesto para que el setup sea seguro.

Internamente, PLONK usa un argumento de permutación para imponer las restricciones de copia entre cables del circuito, polinomios en base de Lagrange sobre dominios de evaluación y compromisos polinomiales KZG, que son los que requieren la cadena de referencia de confianza. Este diseño separa con claridad la ceremonia inicial, que se hace una vez, del trabajo por circuito, que ya no necesita confianza adicional.

La comparación con Groth16 resume su perfil. Groth16 produce pruebas más compactas, de solo tres elementos de grupo, y una verificación muy barata, pero obliga a una ceremonia específica por circuito. PLONK sacrifica algo de tamaño de prueba a cambio de un setup universal que no hay que rehacer cuando el circuito cambia. Por eso encaja en plataformas con muchos circuitos o en evolución continua, y lo han adoptado o adaptado proyectos como zkSync, Aztec, Dusk Network y Mina; Halo 2 de Zcash emplea una aritmetización de estilo PLONKish sin setup de confianza.