Proof of Reserves

Verifikasi bahwa semua saldo akun Binance sepenuhnya dijamin dengan rasio 1:1.

Audit Time

Mekanisme Verifikasi:

Hash Merkle Root:

Apa itu Proof of Reserves/Bukti Cadangan Aset (PoR)?

Ketika menyebut Bukti Cadangan Aset, kami secara spesifik mengacu pada aset yang kami simpan dalam kustodi untuk pengguna. Ini berarti bahwa kami menunjukkan bukti dan pembuktian bahwa Binance memiliki dana yang mencakup semua aset pengguna kami 1:1, serta sejumlah cadangan.

Ketika seorang pengguna menyetor satu Bitcoin, cadangan Binance bertambah sebanyak satu Bitcoin untuk memastikan dana klien sepenuhnya dijamin.

Artinya, Binance menyimpan semua aset pengguna dengan rasio 1:1, termasuk cadangan. Struktur modal Binance tidak memiliki utang sama sekali dan kami memiliki dana darurat (dana SAFU) untuk situasi ekstrem, seperti peretasan atau bobolnya keamanan.

Baca selengkapnya untuk menemukan informasi lebih lanjut tentang hal yang telah kami bangun agar pengguna dapat memastikan bahwa dananya aman di Binance.

Komitmen kami terhadap komunitas tetap sama seperti sebelumnya

Transparansi

Kami akan selalu bersikap transparan dengan pengguna kami

Keamanan

Keamanan dana pengguna adalah prioritas bagi kami

Terlindungi

Dana Anda terlindungi

Merkle Tree

Apa yang telah kami bangun?

Untuk menunjukkan bahwa semua aset pengguna di Binance dijamin dengan rasio 1:1, kami telah membangun dan menerapkan Merkle Tree (ditampilkan di bawah) agar pengguna dapat memverifikasi bahwa asetnya termasuk dalam saldo akun bersih gabungan. Tujuan kami adalah agar setiap pengguna dapat memverifikasi jaminan dengan rasio 1:1 atas kepemilikan aset mereka dengan menggunakan Merkle hash/ID data yang mereka hasilkan sendiri.

Apa itu Merkle Tree?

Merkle Tree adalah alat kriptografis yang memungkinkan konsolidasi sejumlah besar data menjadi satu hash. Hash tunggal yang disebut Merkle Root ini berfungsi sebagai segel kriptografis yang “merangkum” seluruh data yang dimasukkan. Selain itu, Merkle Tree memberikan kemampuan kepada pengguna untuk memverifikasi bahwa konten tertentu telah disertakan dalam kumpulan data yang telah “disegel”. Kami menggunakan sifat-sifat Merkle Tree ini saat melakukan penilaian Proof of Reserves untuk memverifikasi bahwa akun individual tercantum dalam laporan liabilitas, yang divalidasi oleh mekanisme zk-SNARKs kami.

zk-SNARK

Apa yang telah kami bangun?

Dengan menggunakan zk-SNARK, bursa kripto dapat membuktikan bahwa semua set saldo leaf node dari Merkle tree (yaitu, saldo akun pengguna) berkontribusi terhadap total saldo aset pengguna yang diklaim oleh bursa. Setiap pengguna dapat dengan mudah mengakses leaf node yang telah dimasukkan ke dalam proses. Untuk setiap set saldo pengguna (leaf node dari Merkle tree), sirkuit kami memastikan bahwa:

1. Saldo akun pengguna akan dihitung sebagai bagian dari jumlah total saldo bersih akun di Binance.

2. Total saldo bersih akun lebih besar dari atau sama dengan nol.

3. Perubahan Merkle tree root dianggap valid (yaitu, tidak menggunakan informasi palsu) setelah pembaruan informasi akun ke hash node leaf.

Berikut adalah beberapa sumber yang berguna:

blog

spesifikasi teknis

, dan

kode sumber kami

bagi sirkuit (batasan) untuk detail implementasi.

Apa itu zk-SNARK?

zk-SNARK

(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) adalah protokol pembuktian yang mengikuti prinsip-prinsip zero-knowledge yang telah diuraikan sebelumnya. Dengan

zk-SNARK

, Anda dapat membuktikan bahwa Anda mengetahui nilai hash awal (dibahas lebih lanjut di bawah) tanpa mengungkapkan nilai tersebut. Anda juga dapat membuktikan validitas suatu

transaksi

tanpa mengungkapkan informasi apa pun tentang jumlah, nilai, atau alamat yang terlibat secara spesifik.

Cara kerjanya

Bagaimana cara memverifikasi transaksi saya sendiri?

Masuk ke Situs Binance

-> Klik “Dompet”

-> Klik "Verifikasi"

Anda akan dapat menemukan Merkle Leaf dan ID Catatan Anda di dalam halaman tersebut.

Pilih tanggal verifikasi yang ingin Anda periksa. Kemudian, Anda akan menemukan konfirmasi jenis verifikasi, ID Catatan Anda (khusus untuk akun Anda dan verifikasi ini), aset yang tercakup, dan saldo aset Anda pada saat verifikasi.

ID Data/Merkle Leaf memungkinkan Anda untuk memverifikasi secara mandiri bahwa saldo akun Anda telah tercantum dalam laporan liabilitas melalui metode verifikasi mandiri kami.

Proses Verifikasi

1. Verifikasi Kepemilikan Alamat

Untuk aset yang digunakan untuk memverifikasi cadangan aset, kami harus memastikan bahwa kepemilikan dompet ada pada Binance (termasuk cold dan hot wallet).

2. Snapshot Saldo Pengguna

Nilai snapshot dihitung berdasarkan aset yang disimpan dalam saldo akun pelanggan pada tanggal dan waktu snapshot.

3. Buat Bukti zk-SNARK

Kami membuat file bukti zk-SNARK untuk pengguna sehingga setiap pengguna dapat dengan mudah mengakses leaf node mereka yang memberikan transparansi untuk semua pengguna.

4. Pembuatan Merkle Tree

Kami menghasilkan blok data dasar dengan menautkan UID hashing dan saldo dari setiap pengguna. Kami kemudian membuat Merkle tree berdasarkan data semua pengguna. Merkle root akan berubah jika ada ID akun atau saldo di node daun berubah. Setiap pengguna dapat memverifikasi apakah aset mereka dimasukkan dalam node daun.