Tableau de trace d’exécution et arbre de Merkle construits pour zk-STARK PoR Étape 1 : contraintes de construction Afin de prouver la responsabilité de notre plateforme d’échange, nous énonçons trois affirmations : Affirmation 1 : Nous avons rassemblé correctement les valeurs de chaque utilisateur, y compris la valeur de chaque crypto et la valeur nette de chaque utilisateur Affirmation 2 : La plateforme d’échange n’a pas créé d’utilisateur virtuel dont la valeur nette est négative pour réduire la