Gate.io PoR
Waktu audit terbaru:
(UTC+0)
Nilai cadangan berlebih:
$ B
Algoritma:
Merkle Tree + zk-SNARKs
Total tingkat cadangan:
Merkle Root Hash:
Saldo Bersih Pelanggan
$
Saldo Dompet Gate
$
Nilai cadangan berlebih
$
Not Data
Apa itu Proof of Reserve 100%?
Platform perdagangan terpusat mengelola buku besar untuk mencatat aset pengguna dalam database. Dengan begitu, platform menghadapi tantangan untuk membuktikan bahwa mereka memiliki hak penuh atas semua aset pengguna dalam kondisi baik.
Gate.io menerapkan Merkle tree untuk mengatasi masalah ini, dengan menyimpan nilai hash dari setiap aset akun pengguna di node daun Merkle tree. Setiap pengguna dapat mengaudit jumlah total aset pengguna yang disimpan di node daun Merkle tree dan memverifikasi apakah dananya dimasukkan melalui lembaga audit pihak ketiga yang memenuhi syarat.
Jika aset yang disimpan di Merkle tree diverifikasi lebih besar dari atau sama dengan 100%, itu artinya aset pengguna disimpan secara penuh di platform, platform menyediakan Proof of Reserve 100% untuk aset pengguna.
Mengapa Proof of Reserve 100% sangat penting?
Bagaimana cara kami mempertahankan tingkat cadangan 100%?
Jika jumlah total token yang dikelola oleh pertukaran di blockchain memenuhi atau melebihi saldo agregat semua akun pengguna, seperti yang ditangkap dalam snapshot, platform mempertahankan margin 100% untuk token-token tersebut
Kepemilikan atas dompet
Saat Anda menggunakan hot wallet dan cold wallet, Anda mentransfer jumlah yang ditentukan secara acak ke alamat yang ditentukan oleh perusahaan audit untuk membuktikan kepemilikan Anda atas dompet tersebut.
Perusahaan audit akan menjumlahkan saldo alamat yang relevan untuk menghitung jumlah total yang terlibat dalam transaksi (termasuk aset pengguna dan aset platform yang dimiliki sendiri).
Bagaimana cara membangun Merkle tree dengan hashed id pengguna dan saldo pengguna?
Hashed Id pengguna (UID) dan saldo pengguna pertama kali diekspor dari database Gate.
Setiap pasang hashed UID dan saldo pengguna akan di-hash masing-masing dan kemudian digabungkan untuk membentuk blok data yang mendasarinya
Untuk setiap blok data, fungsi hash yang sama akan diterapkan untuk menghasilkan node daun dari Merkle tree. Data hash yang dihasilkan selanjutnya di-hash secara berpasangan untuk membuat node induk dari node daun.
Proses ini berlanjut hingga menghasilkan hash tunggal yang dikenal sebagai merkle root. Silakan lihat diagram di bawah ini untuk ilustrasi.
Silakan lihat diagram di bawah ini untuk ilustrasinya. Setelah merkle tree berhasil dibangun, node daun akan diekspor ke file teks biasa, yang akan dipublikasikan bersama dengan merkle root hash oleh auditor.
Apa itu Merkle Tree?
Dalam kriptografi dan ilmu komputer, hash tree atau Merkle tree adalah pohon di mana setiap node daun diberi label dengan hash kriptografi dari blok data. Setiap node non-daun diberi label dengan hash dari label node anaknya. Hash tree memungkinkan verifikasi konten struktur data besar yang efisien dan aman.
Bagaimana cara menggunakan Merkle Tree untuk memberikan Proof of Reserves?
Kami menyimpan nilai hash dari setiap aset akun pengguna sebagai node daun di Merkle Tree. Kemudian, kami menggunakan teknologi zk-SNARK untuk mengkonfirmasi bahwa kami menyimpan semua aset pengguna secara penuh. Selama proses ini, tidak ada data aset yang diungkapkan. Langkah-langkah verifikasi adalah sebagai berikut:
1. zk-SNARK membantu dalam mengaudit bahwa saldo total aset pengguna disimpan sebagai node daun di Merkle Tree (yaitu saldo akun pengguna). Untuk setiap node daun, kami mengkonfirmasi hal-hal berikut:
a. Jumlah total aset yang dikelola oleh platform termasuk total saldo aset semua pengguna.
b. Saldo bersih setiap pengguna lebih besar atau sama dengan nol.
c. Perubahan aset pengguna akan mengakibatkan perubahan nilai hash Merkle root.
2. Verifikasi pengguna: Pengguna dapat memverifikasi keaslian bukti dengan memverifikasi nilai hash Merkle root menggunakan zk-SNARK. Teknologi ini memungkinkan kami untuk menyelesaikan audit cadangan 100% dengan cara yang efisien dan aman sambil menghindari risiko kebocoran privasi atau rahasia dagang, yang akan membantu mewujudkan komitmen kami terhadap operasi yang transparan dan meningkatkan kepercayaan pelanggan.
Apa itu zk-SNARKs?
zk-SNARK, singkatan dari Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, merupakan sebuah alat terobosan yang berakar pada kriptografi. Dengan menggunakan algoritma matematika yang canggih, alat ini dapat memvalidasi jumlah cadangan dengan baik tanpa mengungkapkan rincian aset tertentu. zk-SNARK tidak hanya memfasilitasi verifikasi aset dengan cepat tetapi juga meniadakan risiko pelanggaran privasi. Karena manfaat ini, ditambah dengan sifatnya yang non-interaktif dan skalabilitas yang tinggi, zk-SNARK dapat digunakan secara luas di berbagai bidang seperti verifikasi transaksi on-chain, perlindungan privasi data, dan otentikasi identitas.
Proses verifikasi
1.Install program dan unduh data:
1) Unduh program verifikasi:
Pertama, unduh program verifikasi melalui tautan yang disediakan atau akses GitHub untuk mengunduh program verifikasi. Lalu, ubah namanya menjadi main
2) Unduh data yang diperlukan:
Akses ke Halaman Audit dan temukan batch yang perlu Anda verifikasi. Klik pada [Unduh Merkle Tree] dan [Unduh User Config] untuk mengunduh data.
Buka compressed file zkmerkle_cex_xxx.tar.gz, letakkan program main dalam folder ini, dan letakkan file user_config.json ke dalam folder config.
Folder program kini selesai
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 telah diunduh, seperti cd ~/Downloads/zkmerkle_cex_xxx
(Sebelum menjalankan program, Anda mungkin perlu menjalankan 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 terinci dan prinsip verifikasi, silakan periksa proyek sumber terbuka GitHub.
Implementasi PoR Gate.io
HACKEN
Perusahaan auditWaktu audit
January 3, 2024
Auditor
Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski
Laporan Audit
Gate.io PoR Implementation
