100% Proof of Reserve

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

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.

Fullscreen Exit fullscreen

Play Pause

00:00 00:00

Replay

Mengapa Proof of Reserve 100% sangat penting?

Platform menyediakan Proof of Reserve 100%

Platform ini solid secara finansial

Memperkuat kepercayaan pengguna

Menjamin keamanan aset pengguna

100% pencairan dalam penarikan yang ramai

Tanpa komitmen proof-of-reserve 100%

Aset pengguna berisiko disalahgunakan

Keterlambatan atau ketidakmampuan untuk mencairkan aset

Platform dapat mengalami kegagalan jika pengguna beramai-ramai malakukan permintaan penarikan

Platform akan lebih cenderung menuju kebangkrutan atau menderita kerugian aset

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

Unduhan Lokal

Mac OS

Unduhan Lokal

Linux

Unduhan Lokal

Windows

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 audit

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.io PoR Implementation

100% Proof of Reserve

Gate.io PoR

Apa itu Proof of Reserve 100%?

Mengapa Proof of Reserve 100% sangat penting?