1. Install the program and download data:
1)Download the verification program:
First, download the verification program via the link provided or access
GitHub
to download the verification program. Then rename it to
main
.
2)Download required data:
Access to the
Audit Page
and locate the batch you need to verify. Click on
[Download Merkle Tree]
and
[Download User Config]
to download the data.
Unzip the
zkmerkle_cex_xxx.tar.gz
compressed file, place the
main
program inside this folder, and put the
user_config.json
file inside the
config
folder.
The program folder is now
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. Assets verification:
From cmd or terminal, use the cd command to navigate into the downloaded folder, such as
cd ~/Downloads/zkmerkle_cex_xxx
.
(Before running the program, you might need to execute
chmod 777 main
to grant permissions or set security items.)
Execute the following command to begin verification.
Upon successful verification, the message will be displayed.
All proofs verify passed!!!
For detailed technical documentation and verification principles, please check the
GitHub open-source project