У нашому випадку введіть команду cd ~/Downloads/proof-of-reserves. У терміналі введіть таку команду (назву файлу можна замінити на назву іншого файлу, який потрібно перевірити). Mac: .

У нашому випадку: ми помістили інструмент і файл даних у папку «Downloads» під назвою «proof-of-reserves», як показано нижче: Відкрийте zk-STARKValidator, він автоматично запустить файл «sum proof data», який ви зберегли в папці. Перевірте результат. Якщо перевірку пройдено, буде показано результат «Перевірку загальної суми та невід’ємного обмеження пройдено»: Якщо перевірка не пройдена, буде показано результат «Total sum and non-negative constraint validation failed»: