Platform perdagangan terpusat mengelola buku besar untuk mencatat aset pengguna dalam database. Dengan demikian, platform menghadapi tantangan untuk membuktikan bahwa mereka memiliki kendali penuh atas semua aset pengguna dalam kondisi baik.

Gate menerapkan pohon Merkle untuk menyelesaikan masalah ini, dengan menyimpan nilai hash dari aset akun setiap pengguna di node daun pohon Merkle. Setiap pengguna dapat mengaudit jumlah total aset pengguna yang disimpan di node daun pohon Merkle dan memverifikasi apakah dananya termasuk melalui lembaga audit pihak ketiga yang berkualifikasi.

Jika aset yang disimpan dalam pohon Merkle diverifikasi lebih besar atau sama dengan 100%, itu berarti aset pengguna disimpan secara penuh di platform, yaitu platform menyediakan Bukti 100% Cadangan untuk aset pengguna.

Mengapa Bukti 100% Cadangan sangat penting?

Platform menyediakan Bukti 100% Cadangan

Platform secara finansial solid

Meningkatkan kepercayaan pengguna

Menjamin keamanan aset pengguna

Penarikan 100% tunai dalam penarikan massal

Tanpa komitmen bukti 100% cadangan

Aset pengguna berisiko disalahgunakan

Keterlambatan atau ketidakmampuan mencairkan aset

Platform mungkin mengalami rush jika pengguna ramai meminta penarikan

Platform lebih mungkin bangkrut atau mengalami kerugian aset

Bagaimana kami mengelola untuk mempertahankan tingkat 100% cadangan?

Jika jumlah total token yang dikelola oleh bursa di blockchain memenuhi atau melebihi saldo agregat semua akun pengguna, seperti yang ditangkap dalam snapshot, platform mempertahankan margin 100% untuk token tersebut

Kepemilikan atas dompet

Ketika Anda menggunakan dompet panas atau dingin, Anda mentransfer jumlah yang ditentukan secara acak ke alamat yang ditentukan oleh perusahaan audit untuk membuktikan kepemilikan Anda atas dompet.

Perusahaan audit akan menjumlahkan saldo dari alamat yang relevan untuk menghitung total jumlah yang terlibat dalam transaksi (termasuk aset pengguna dan aset milik platform sendiri).

Bagaimana membangun pohon Merkle dengan id pengguna yang di-hash dan saldo pengguna?

ID pengguna yang di-hash (UID) dan saldo pengguna pertama kali diekspor dari database Gate.

Setiap pasangan UID yang di-hash dan saldo pengguna akan di-hash masing-masing dan kemudian digabungkan untuk membentuk blok data dasar.

Untuk setiap blok data, fungsi hash yang sama akan diterapkan untuk menghasilkan node daun dari pohon Merkle. Data yang di-hash yang dihasilkan kemudian di-hash bersama secara berpasangan untuk membuat node induk dari node daun.

Proses ini berlanjut sampai menghasilkan satu hash yang dikenal sebagai root merkle.

Silakan lihat diagram di bawah untuk ilustrasi. Setelah pohon merkle berhasil dibangun, node daun akan diekspor ke file teks biasa, yang akan dipublikasikan bersama dengan hash root merkle oleh auditor.

Apa itu Pohon Merkle?

Dalam kriptografi dan ilmu komputer, pohon hash atau pohon Merkle adalah pohon di mana setiap node daun diberi label dengan hash kriptografis dari blok data. Setiap node non-daun diberi label dengan hash dari label node anaknya. Pohon hash memungkinkan verifikasi yang efisien dan aman dari isi struktur data besar.

Bagaimana kami menggunakan Pohon Merkle untuk menyediakan Bukti Cadangan?

Kami menyimpan nilai hash dari aset akun setiap pengguna sebagai node daun dalam Pohon Merkle. Kemudian, kami menggunakan teknologi zk-SNARK untuk mengkonfirmasi bahwa kami memegang semua aset pengguna secara penuh. Sepanjang proses ini, tidak ada data aset yang diungkapkan. Langkah-langkah verifikasi adalah sebagai berikut:

1. zk-SNARK membantu dalam mengaudit bahwa total saldo aset pengguna disimpan sebagai node daun dalam Pohon Merkle (yaitu, saldo akun pengguna). Untuk setiap node daun, kami mengkonfirmasi poin-poin berikut:

a. Jumlah total aset yang dikelola oleh platform mencakup total saldo aset semua pengguna.

b. Saldo bersih setiap pengguna lebih besar atau sama dengan nol.

c. Perubahan aset pengguna mana pun akan mengakibatkan perubahan nilai hash root Merkle.

2. Verifikasi pengguna: Pengguna dapat memverifikasi keaslian bukti dengan memverifikasi nilai hash root Merkle menggunakan zk-SNARK. Teknologi ini memungkinkan kami menyelesaikan audit cadangan 100% secara efisien dan aman sambil menghindari risiko kebocoran privasi atau rahasia dagang, yang akan membantu menyampaikan komitmen kami untuk operasi yang transparan dan meningkatkan kepercayaan pelanggan.

Apa itu zk-SNARK?

zk-SNARK, singkatan dari Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, adalah alat revolusioner yang berakar pada kriptografi. Memanfaatkan algoritma matematika lanjutan, ia dapat memvalidasi jumlah cadangan secara profesional tanpa mengungkapkan detail aset tertentu. zk-SNARK tidak hanya memfasilitasi verifikasi aset yang cepat tetapi juga meniadakan risiko pelanggaran privasi. Berkat manfaat ini, ditambah dengan sifatnya yang non-interaktif dan skalabilitas tinggi, ia menemukan aplikasi luas di bidang seperti verifikasi transaksi on-chain, perlindungan privasi data, dan otentikasi identitas

Proses verifikasi

1. Instal program dan unduh data:

1)Unduh program verifikasi:

Pertama, unduh program verifikasi melalui tautan yang disediakan atau akses GitHub untuk mengunduh program verifikasi. Kemudian ubah namanya menjadi main.

Unduh Lokal

Mac OS

Unduh Lokal

Linux

Unduh Lokal

Windows

2)Unduh data yang diperlukan:

Akses ke Halaman Audit dan temukan batch yang perlu Anda verifikasi. Klik pada [Unduh Pohon Merkle] dan [Unduh Konfigurasi Pengguna] untuk mengunduh data.

Ekstrak file terkompresi zkmerkle_cex_xxx.tar.gz, tempatkan program main di dalam folder ini, dan letakkan file user_config.json di dalam folder config.

Folder program sekarang adalah

zkmerkle_cex_xxx

Config

cex_config.json

user_config.json

proof.csv

zkpor864.vk.save

main

2. Verifikasi aset:

Dari cmd atau terminal, gunakan perintah cd untuk menavigasi ke folder yang diunduh, seperti cd ~/Downloads/zkmerkle_cex_xxx.

(Sebelum menjalankan program, Anda mungkin perlu mengeksekusi chmod 777 main untuk memberikan izin atau mengatur item keamanan.)

Jalankan perintah berikut untuk memulai verifikasi.

./main verify cex

Setelah verifikasi berhasil, pesan akan ditampilkan.

All proofs verify passed!!!

Untuk dokumentasi teknis terperinci dan prinsip verifikasi, silakan periksa proyek open-source GitHub

Gate PoR Implementation

Perusahaan audit

HACKEN

Waktu audit

January 3, 2024

Auditor

Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski

Repositori

https://github.com/gateio/proof-of-reserves

Laporan Audit

Gate PoR Implementation

Bukti 100% Cadangan

Gate adalah platform mainstream pertama yang berkomitmen untuk menyediakan 100% cadangan

Gate PoR

Apa itu Bukti 100% Cadangan?

Mengapa Bukti 100% Cadangan sangat penting?

Platform menyediakan Bukti 100% Cadangan

Tanpa komitmen bukti 100% cadangan

Bagaimana kami mengelola untuk mempertahankan tingkat 100% cadangan?

Kepemilikan atas dompet

Bagaimana membangun pohon Merkle dengan id pengguna yang di-hash dan saldo pengguna?

ID pengguna yang di-hash (UID) dan saldo pengguna pertama kali diekspor dari database Gate.

Setiap pasangan UID yang di-hash dan saldo pengguna akan di-hash masing-masing dan kemudian digabungkan untuk membentuk blok data dasar.

Untuk setiap blok data, fungsi hash yang sama akan diterapkan untuk menghasilkan node daun dari pohon Merkle. Data yang di-hash yang dihasilkan kemudian di-hash bersama secara berpasangan untuk membuat node induk dari node daun.

Proses ini berlanjut sampai menghasilkan satu hash yang dikenal sebagai root merkle.

Apa itu Pohon Merkle?

Bagaimana kami menggunakan Pohon Merkle untuk menyediakan Bukti Cadangan?

1. zk-SNARK membantu dalam mengaudit bahwa total saldo aset pengguna disimpan sebagai node daun dalam Pohon Merkle (yaitu, saldo akun pengguna). Untuk setiap node daun, kami mengkonfirmasi poin-poin berikut:

Apa itu zk-SNARK?

Proses verifikasi

Gate PoR Implementation