folder, named "proof-of-reserves," as shown below: Open the zk-STARKValidator; it will automatically run the sum proof data file you saved in the folder Check the result If the verification passes, the result Total sum and non-negative constraint validation passed will be shown: If the verification fails, the result Total sum and non-negative constraint validation failed will be shown: To explore more technical details, our Proof of Reserves system is open-source and available for review and use on github