PLONK

PLONK, cujo nome é acrônimo de Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge, foi publicado em 2019 por Ariel Gabizon, Zachary J. Williamson e Oana Ciobotaru. Seu traço distintivo é uma cadeia de referência estruturada universal: em vez de exigir um novo setup para cada circuito, uma única cerimônia do tipo powers of tau serve para qualquer circuito até um tamanho máximo. Além disso, é atualizável, de modo que qualquer pessoa pode adicionar aleatoriedade e basta que um único participante seja honesto para que o setup seja seguro.

Internamente, PLONK usa um argumento de permutação para impor as restrições de cópia entre fios do circuito, polinômios em base de Lagrange sobre domínios de avaliação e comprometimentos polinomiais KZG, que são os que exigem a cadeia de referência confiável. Esse design separa com clareza a cerimônia inicial, feita uma única vez, do trabalho por circuito, que já não precisa de confiança adicional.

A comparação com Groth16 resume seu perfil. Groth16 produz provas mais compactas, de apenas três elementos de grupo, e uma verificação muito barata, mas obriga a uma cerimônia específica por circuito. PLONK sacrifica um pouco de tamanho de prova em troca de um setup universal que não precisa ser refeito quando o circuito muda. Por isso se encaixa em plataformas com muitos circuitos ou em evolução contínua, e foi adotado ou adaptado por projetos como zkSync, Aztec, Dusk Network e Mina; o Halo 2 da Zcash emprega uma aritmetização de estilo PLONKish sem setup confiável.