Trusted setup (ceremonia de confianza)

Un trusted setup se ejecuta como computación multiparte (MPC): muchos participantes aportan aleatoriedad en secuencia y basta con que uno solo sea honesto y borre su parte para que la SRS sea segura, el llamado supuesto 1-de-n. Hay dos clases. El setup por circuito, como en Groth16, exige una ceremonia por cada circuito. El setup universal y actualizable, como en PLONK, Sonic o Marlin, produce una ceremonia reutilizable y ampliable. Es habitual una fase común Powers of Tau, independiente del circuito, seguida de una fase dependiente del circuito.

Es el punto de mayor escrutinio para los auditores: un setup comprometido rompe la solidez de todo el sistema, ya que con el secreto se podrían crear pruebas válidas de afirmaciones falsas. Esa exposición motiva tanto los setups universales como la adopción de zk-STARK, que son transparentes y no necesitan ceremonia. Para infraestructura financiera tokenizada, documentar bien la ceremonia es parte de la diligencia técnica.

El caso de mayor escala es la KZG Ceremony de Ethereum, que se desarrolló a lo largo de 2023 para la mejora EIP-4844 (proto-danksharding): más de 141.000 contribuciones hacen el supuesto 1-de-n extremadamente robusto. Las contribuciones se autentican con firma digital y se registran con funciones hash, y pueden documentarse mediante atestaciones on-chain. La ausencia de este requisito es precisamente la ventaja que reivindican los zk-STARK.