Vérifier le résultat Si la vérification réussit, le résultat « Total sum and non-negative constraint validation passed » s’affichera : En cas d’échec de la vérification, vous verrez s’afficher le message « Total sum and non-negative constraint validation failed » :

Dans notre cas, nous avons placé l’outil et le fichier de données dans le dossier Téléchargements, nommé « proof-of-reserves », comme indiqué ci-dessous : Ouvrez zk-STARKValidator ; celui-ci exécutera automatiquement le fichier sum proof data que vous avez enregistré dans le dossier Vérifiez le résultat Si la vérification réussit, le résultat Total sum and non-negative constraint validation passed (La somme totale et la validation de la contrainte non négative ont réussi) sera affiché : Si la vérification