Glossary
Trusted Setup
Una ceremonia única que genera los parámetros públicos que necesita un SNARK, confiando en que los participantes destruyan la aleatoriedad secreta para que las pruebas no puedan falsificarse.
Un trusted setup es el procedimiento que produce la structured reference string (SRS) que muchos SNARKs — Groth16, PLONK y los esquemas basados en KZG — necesitan antes de poder generar cualquier prueba. La ceremonia muestrea valores aleatorios secretos (a menudo llamados "toxic waste") y los usa para calcular parámetros públicos. Es crucial que los secretos se eliminen después: cualquiera que los conserve podría falsificar pruebas que verifiquen con los parámetros.
Para minimizar este riesgo, los setups se ejecutan como cómputos multiparte donde cada participante aporta aleatoriedad y el resultado es seguro mientras al menos un participante sea honesto y destruya su parte. Los setups por circuito (Groth16) deben repetirse para cada programa, mientras que los setups universales (PLONK) y las ceremonias Powers-of-Tau — como la ceremonia KZG de Ethereum de 2023 con más de 140.000 participantes — son reutilizables. Los STARKs evitan por completo este requisito.