Trusted setup (cerimônia de confiança)

Um trusted setup é executado como computação multipartidária (MPC): muitos participantes contribuem com aleatoriedade em sequência, e basta que apenas um seja honesto e apague sua parte para que a SRS seja segura, a chamada premissa 1-de-n. Há duas classes. O setup por circuito, como no Groth16, exige uma cerimônia para cada circuito. O setup universal e atualizável, como em PLONK, Sonic ou Marlin, produz uma cerimônia reutilizável e ampliável. É habitual uma fase comum Powers of Tau, independente do circuito, seguida de uma fase dependente do circuito.

É o ponto de maior escrutínio para os auditores: um setup comprometido quebra a solidez de todo o sistema, já que com o segredo seria possível criar provas válidas de afirmações falsas. Essa exposição motiva tanto os setups universais quanto a adoção de zk-STARK, que são transparentes e não precisam de cerimônia. Para infraestrutura financeira tokenizada, documentar bem a cerimônia faz parte da diligência técnica.

O caso de maior escala é a KZG Ceremony de Ethereum, realizada ao longo de 2023 para a melhoria EIP-4844 (proto-danksharding): mais de 141.000 contribuições tornam a premissa 1-de-n extremamente robusta. As contribuições são autenticadas com assinatura digital e registradas com funções hash, e podem ser documentadas por meio de atestações on-chain. A ausência desse requisito é justamente a vantagem reivindicada pelos zk-STARK.