Glossary
Trusted Setup
Une cérémonie unique qui génère les paramètres publics dont un SNARK a besoin, en comptant sur les participants pour détruire l'aléa secret afin que les preuves ne puissent être falsifiées.
Un trusted setup est la procédure qui produit la structured reference string (SRS) dont beaucoup de SNARKs — Groth16, PLONK et les schémas basés sur KZG — ont besoin avant qu'une preuve puisse être générée. La cérémonie tire des valeurs aléatoires secrètes (souvent appelées « toxic waste ») et les utilise pour calculer des paramètres publics. Il est crucial que ces secrets soient ensuite supprimés : quiconque les conserve pourrait forger des preuves qui se vérifient face aux paramètres.
Pour réduire ce risque, les setups s'exécutent comme des calculs multipartites où chaque participant apporte de l'aléa, et le résultat reste sûr tant qu'au moins un participant est honnête et détruit sa part. Les setups par circuit (Groth16) doivent être répétés pour chaque programme, tandis que les setups universels (PLONK) et les cérémonies Powers-of-Tau — comme la cérémonie KZG d'Ethereum en 2023 avec plus de 140 000 contributeurs — sont réutilisables. Les STARKs évitent entièrement cette exigence.