Zero-Knowledge Scalable Transparent Argument of Knowledge

Les zk-STARKs fonctionnent en prouvant la correction d'une trace computationnelle. Le prouveur exécute un programme et génère une trace de tous les états intermédiaires. En utilisant des engagements polynomiaux et des arbres de Merkle, le prouveur montre que la trace suit les règles de calcul correctes sans révéler la trace elle-même. Le vérificateur effectue des vérifications ponctuelles sur des positions aléatoires dans la trace en utilisant uniquement des fonctions de hachage et de l'arithmétique de base, obtenant une preuve de correction avec une probabilité écrasante.