Gate.io PoR
Nilai cadangan berlebih：
$ 0B
Waktu audit terakhir:
(UTC+0)
Total tingkat cadangan:
Algoritma:
Merkle Tree + zk-SNARKs
Hash Root Merkle:
Saldo Bersih Pelanggan
$ 0
Saldo Dompet Gate
$ 0
Nilai cadangan berlebih
$ 0
Tidak Ada Data
Apa itu Bukti 100% Cadangan?
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.io 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.
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.io PoR Implementation
Perusahaan audit
HACKEN
Waktu audit
January 3, 2024
Auditor
Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski
Laporan Audit
Gate.io PoR Implementation