Binance menambahkan verifikasi zk-SNARK ke sistem bukti cadangannya

Binance punyaditingkatkan sistem proof-of-reserves (PoR) dengan verifikasi zk-SNARK, suatu bentuk bukti tanpa pengetahuan yang menjaga privasi dan keamanan informasi pengguna yang sensitif.

CEO Binance, Changpeng Zhaodikatakan peningkatan diterapkan sesuai dengan co-founder Ethereum, Vitalik Buterin'ssaran . Buterin telah mengungkapkan idenya untuk mempromosikan pertukaran terpusat yang tidak dapat dipercaya melalui sistem bukti cadangan yang transparan pada bulan November.

Binancepertama kali diterbitkan sistem PoR-nya pada November 2022 karena pengguna mulai menuntut lebih banyak transparansi dari bursa setelah keruntuhan FTX. Pada saat itu, Binance menggunakan kriptografi pohon Merkle untuk memungkinkan pengguna memverifikasi kepemilikan mereka.

Namun, sistem ini memiliki dua kelemahan utama. Pertama, simpul daun di pohon Merkle mewakili hash kepemilikan pengguna untuk melindungi privasi, yang berarti bahwa akar Merkle tidak dapat mencerminkan jumlah informasi saldo simpul daunnya.

Kedua, entitas jahat berpotensi menambahkan saldo negatif di bawah akun palsu di suatu tempat di pohon untuk membuat ukuran cadangan yang diperlukan tampak lebih kecil.

Binance mengklaim bahwa zk-SNARK memecahkan tantangan ini. Sistem verifikasi tanpa pengetahuan dapat memastikan bahwa semua simpul daun di pohon Merkle telah berkontribusi pada total saldo pengguna yang diklaim Binance dari setiap mata uang kripto. Ini juga akan memastikan bahwa tidak ada pengguna dengan saldo negatif yang disertakan dalam pohon.

Binance akan menghasilkan dan menerbitkan bukti zk-SNARK untuk pembangunan pohon Merkle untuk membuktikan cadangannya. Dengan memverifikasi bukti Merkle, pengguna Binance dapat memeriksa apakah saldo mereka termasuk dalam akar pohon Merkle. Pengguna dapat memverifikasi bukti zk-SNARK untuk memastikan bahwa konstruksi pohon Merkle bebas dari gangguan apa pun.

Karena Binance memiliki jutaan pengguna, tidak mungkin mendapatkan satu bukti pun dari konstruksi pohon Merkle. Oleh karena itu, Binance akan membagi pengguna menjadi beberapa kelompok yang masing-masing berisi 864. Dibutuhkan 110 detik untuk menghasilkan bukti zk untuk satu kumpulan pengguna. Buktinya dapat diverifikasi dalam waktu kurang dari 1 milidetik.

Diperlukan waktu 2 jam bagi Binance untuk menghasilkan bukti untuk semua akun dengan biaya sekitar $1.000. Pertukaran bekerja untuk mengimplementasikan solusi yang disarankan oleh Buterin untuk meningkatkan efisiensi proses pembuatan bukti, yang seharusnya menurunkan biaya dan memungkinkannya memberikan bukti lebih sering.

Sistem PoR Binance saat ini mendukung 13 cryptocurrency, dengan 4 tambahan terbaru, dan berencana untuk menambahkan lebih banyak token dalam beberapa minggu mendatang.

Binance juga membuat kode untuk sistem PoR open-source dengan tujuan memberikan lebih banyak transparansi kepada penggunanya.