Ceremonia de configuración de confianza (trusted setup)

Muchos sistemas de pruebas de conocimiento cero y compromisos polinómicos, como los SNARK Groth16 y los compromisos KZG, necesitan una cadena de referencia estructurada creada a partir de valores aleatorios secretos. Si alguien conservara esos valores, conocidos como residuos tóxicos, podría falsificar pruebas que parecerían válidas. Una ceremonia reparte la generación entre muchos participantes, cada uno añade su aleatoriedad y la destruye, así que el resultado es seguro mientras al menos uno haya sido honesto.

Las primeras ceremonias eran pequeñas: el lanzamiento de Zcash en 2016 contó con seis participantes. Diseños posteriores como Powers of Tau admitieron miles. La ceremonia KZG de Ethereum en 2023, que preparó los parámetros para las transacciones blob, reunió más de 140.000 contribuciones de personas de todo el mundo, muchas desde el navegador, una de las mayores realizadas.

El supuesto de confianza es débil, pero real: hay que creer que al menos un participante destruyó su secreto y que el software de la ceremonia funcionó bien. Algunos sistemas de pruebas, como los STARK o Bulletproofs, evitan por completo la configuración de confianza a cambio de pruebas más grandes o verificaciones más lentas. Las ceremonias también requieren una verificación pública cuidadosa de cada paso.