Compromisso KZG

O KZG requer uma Structured Reference String gerada por um trusted setup, as chamadas powers of tau: potências de um segredo τ multiplicadas pelo gerador, em que τ é um resíduo tóxico que deve ser destruído, porque quem o conhecer poderia forjar provas. O compromisso é C = p(τ)·G, avaliado às cegas com a SRS. Para provar a avaliação em um ponto, compromete-se o polinômio quociente e verifica-se com uma equação de emparelhamentos sobre uma curva adequada, como a BLS12-381. Seus compromissos e provas têm tamanho constante, não logarítmico como em Merkle, em troca de um trusted setup e de não ser pós-quântico.

É a base da disponibilidade de dados no escalonamento da rede Ethereum e um bloco central de muitos zk-rollups, já que sistemas de prova como o PLONK usam compromissos KZG. Permite que um rollup se comprometa com grandes lotes de dados com provas pequenas e verificação barata on-chain, compatível com a amostragem de disponibilidade de dados.

O paper original é Constant-Size Commitments to Polynomials and Their Applications, de Aniket Kate, Gregory Zaverucha e Ian Goldberg, apresentado na ASIACRYPT 2010. O EIP-4844 (proto-danksharding) o levou à mainnet da rede Ethereum com a atualização Dencun, em 13 de março de 2024: cada blob de 128 KiB é comprometido com KZG. O trusted setup público, a KZG Summoning Ceremony, começou em 13 de janeiro de 2023 e reuniu mais de 140.000 participantes, o maior do tipo até então. Projetos como zkSync, Scroll, Polygon zkEVM e Linea apoiam partes de sua stack nesses compromissos.