Binance berkomitmen untuk memastikan setiap pengguna memperoleh transparansi yang menyeluruh tentang keselamatan dan keamanan asetnya. Anda kini dapat menggunakan zk-SNARKs dan Merkle Tree untuk memverifikasi Proof of Reserves Binance dan saldo akun Anda secara akurat.
Bagaimana cara memverifikasi saldo akun Anda menggunakan zk-SNARKs dan Merkle Tree?
1. Kunjungi situs web resmi GitHub, lalu unduh alat pemverifikasi dari repositorinya.
2. Buka Binance.me, lalu masuk ke akun Anda. Klik [Profil] - [Dompet] - [Verifikasi]. Kemudian, klik panah untuk meluaskan data verifikasi.

3. Cari entri Merkle Tree yang melakukan verifikasi secara mandiri dan pastikan bahwa [Tipe Verifikasi] adalah “Merkle Tree + Zksnarks”. Anda akan melihat data untuk akun Anda. Klik [Unduh Merkle Tree] untuk menyimpannya di komputer Anda.
Harap diperhatikan bahwa laporan tersebut adalah snapshot dan bukan tampilan aset real-time. Laporan tersebut mungkin tidak sesuai dengan jumlah aset Anda saat ini.

4. Buka folder alat verifikasi. Untuk memverifikasi root hash-nya, jalankan “./verifier_darwin_amd64” di MacOS, “./verifier_linux_amd64” di Linux, atau “./verifier_windows_amd64.exe” di Windows.
Prasyarat:
Atur "config.json", "proof.csv" dan "zkpor864.vk.save" di dalam file zip dan letakkan di folder "PathToVerifierTool/config".
Konfigurasi:
- Siapkan "ProofTable" untuk melihat ke file data proof zk-SNARKs yang dihasilkan oleh proofer tersebut;
- Siapkan "ZkKeyName" untuk mengarahkan ke kunci verifikasi yang diunduh dalam paket tersebut;
- “CexAssetInfo'' adalah total saldo pelanggan dari semua token yang masuk listing di Binance (termasuk semua aset yang dapat diverifikasi dan tidak dapat diverifikasi). Hal tersebut dapat diverifikasi menggunakan proof zk-SNARKs yang ada di daftar. Anda dapat memeriksa silang dengan aset yang dapat diverifikasi di Proof of Reserves Binance. Semua saldo dan harga adalah 10^8 kecuali BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT, dan DOGE (10^2).


5. Untuk memverifikasi informasi akun Anda, gunakan “./verifier_darwin_amd64 -user” di MacOS atau “./verifier_linux_amd64 -user” di Linux, “./verifier_windows_amd64.exe -user” di Windows.
Prasyarat:
Unduh/Atur "user_config.json". File ini dibuat secara khusus berdasarkan data akun pengguna selama snapshot. Anda dapat menemukannya di file zip yang Anda unduh. Tempatkan di folder "PathToVerifierTool/config".

Konfigurasi:
- "AccountIndex": Lokasi Merkle Leaf di dalam Merkle Tree;
- “AccountIdHash” - “Account Code”: Mengidentifikasi setiap akun pengguna dalam Binance. Anda dapat menemukan informasi untuk akun Anda di halaman [Verifikasi].
- “TotalEquity”: Nilai total kepemilikan pengguna (dalam USD); Nilai dalam 10^16
- “TotalDebt”: Nilai total pinjaman pengguna (dalam USD); Nilai dalam 10^16
- “Assets”: Aset pengguna dalam snapshot. Anda dapat melihat aset yang setara dengan indeks dalam unduhan daftar templat aset di langkah 2 (lihat “Asset_List.csv” untuk mengidentifikasi token tersebut berdasarkan indeksnya). Saldo aset adalah 10^8 kecuali untuk BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT, dan DOGE (10^2);
- "Root": Merkle root hash dari praktik verifikasi tersebut. Ini digunakan untuk memeriksa informasi pengguna dengan informasi Merkle path dari root hash yang sama.
- "Proof": Merkle path milik pengguna.


Untuk informasi selengkapnya tentang cara kerja zk-SNARK, silakan baca:
- Meningkatkan Transparansi Kripto dengan Zero-Knowledge Proof
- Cara zk-SNARK Meningkatkan Sistem Proof-of-Reserves Binance
Jika punya saran, Anda dapat mengirimkan masukan di sini.