Gate.io adalah pertukaran kripto terkemuka dengan lebih dari 13 juta pengguna dan 1,700+ pasangan dagang. Sebagai salah satu platform perdagangan tertua dan terbesar di dunia, Gate.io secara ketat mematuhi peraturan industri dan tidak berpartisipasi dalam manipulasi pasar apa pun. Keterbukaan, transparansi, kesetaraan, dan kolaborasi selalu menjadi misi kami. Kami mengadopsi berbagai metode terpusat dan terdesentralisasi untuk menjamin keamanan aset pengguna.

Pada awal Mei 2020, Gate adalah orang pertama yang mengusulkan pertukaran bukti cadangan (PoR) dan mengundang firma audit terkenal Amerika Armanino LLP untuk mengaudit asetnya. Ini adalah salah satu bursa paling awal di industri yang mengusulkan bukti cadangan. Pada tanggal 23 November 2023, Gate secara resmi mengumumkan bahwa mereka telah meningkatkan PoR-nya melalui teknologi tanpa bukti pengetahuan, yang memungkinkan pengguna menikmati perlindungan privasi dan keamanan data yang lebih baik. Ini menjadi salah satu bursa pertama di industri yang mengadopsi PoR tanpa pengetahuan. Artikel ini akan memandu Anda tentang cara menggunakan Proof-of-Reserve Gate untuk memverifikasi keamanan dana Anda di Gate.io.

Latar Belakang

Apa itu Bukti Cadangan?

Di bursa terpusat (CEX), aset setiap pengguna dicatat dalam buku besar basis data platform, sehingga menyulitkan pengguna untuk mengonfirmasi apakah aset mereka telah ditransfer dan apakah bursa memiliki aset yang cukup untuk menutupi aset yang disimpan oleh pengguna. Oleh karena itu, bursa memerlukan metode untuk membuktikan bahwa mereka memiliki aset cadangan yang cukup untuk menebus sepenuhnya dana pengguna, yang mengharuskan nilai aset cadangan bursa lebih tinggi dari nilai aset yang disimpan oleh pengguna. Bukti aset yang tersedia untuk umum ini disebut Proof-of-Reserve. Data yang terkait dengan Proof-of-Reserve adalah rasio cadangan, yaitu rasio aset yang dimiliki bursa terhadap aset yang disimpan pengguna dikalikan 100%. Ketika rasio cadangan lebih besar dari 100%, aset bursa dapat memenuhi kebutuhan penarikan normal pengguna. Semakin tinggi rasio cadangan, semakin kuat kemampuannya dalam menahan risiko likuiditas.

Rasio cadangan umumnya dibagi menjadi rasio cadangan devisa dan rasio cadangan mata uang tunggal. Rasio cadangan devisa mengacu pada rasio keseluruhan aset bursa terhadap total simpanan pengguna dikalikan 100%. Rasio cadangan mata uang tunggal mengacu pada rasio jumlah mata uang tertentu yang disimpan di dompet pertukaran dengan jumlah mata uang yang disimpan oleh pengguna dikalikan dengan 100%.

Untuk mempelajari lebih lanjut, silakan _klik Bagaimana zk-SNARK Meningkatkan Bukti Cadangan Gate.io._

Apa itu Bukti Tanpa Pengetahuan?

Zero-Knowledge Proof (ZKP) adalah metode enkripsi yang memungkinkan satu pihak (dikenal sebagai pembukti) untuk membuktikan kepada pihak lain (dikenal sebagai verifikator) bahwa pernyataan tertentu benar tanpa mengungkapkan informasi tambahan apa pun yang akan mengungkapkan dasar dari pernyataan tersebut. bukti. Proses ini tidak hanya melindungi privasi pembuktian tetapi juga memastikan bahwa pemverifikasi tidak dapat meniru proses pembuktian atau memperoleh informasi tambahan apa pun darinya.

Untuk memahami teknologi ini, mari kita perhatikan contoh sederhana: Pengguna A mengetahui nomor telepon Pengguna B. Ketika Pengguna C bertanya kepada Pengguna A apakah mereka mengetahui nomor telepon Pengguna B, Pengguna A dapat membuktikan bahwa mereka memang memiliki nomor telepon tersebut dengan menekan nomor B. di tempat, tanpa mengungkapkannya kepada Pengguna C. Proses ini menjaga privasi pengguna sambil tetap memberikan jawaban, dan inilah yang kami sebut sebagai “bukti tanpa pengetahuan”.

Untuk mempelajari lebih lanjut, silakan klik Penjelasan Mendetail tentang Bukti Tanpa Pengetahuan.

Menggabungkan Bukti Tanpa Pengetahuan dengan Bukti Cadangan

zk-SNARK adalah teknologi bukti tanpa pengetahuan yang ringkas dan non-interaktif. Ia melakukan “penyiapan tepercaya” terlebih dahulu untuk menghasilkan String Referensi Umum (CRS), yang memungkinkan semua pembukti mengaksesnya secara langsung. Hal ini mirip dengan sistem penilaian dalam ujian, di mana zk-SNARK langsung mengunggah jawaban yang benar dan memungkinkan peserta ujian memeriksa jawabannya (dengan mengirimkan solusi mereka ke sistem backend, yang akan memberikan hasil akhir kebenaran). Ini sangat efisien.

Merkle Tree adalah struktur data yang mirip dengan “pohon”. Data di lapisan paling bawah disebut “simpul daun”, dan data di tengah disebut “simpul perantara”. Nilai dari node perantara dihitung dengan melakukan hashing pada nilai dari dua node anak (setiap nilai masukan diproses dengan cara tertentu untuk menghasilkan nilai tertentu). Node perantara di kiri dan kanan kemudian di-hash untuk mendapatkan nilai keluaran unik untuk node perantara tingkat yang lebih tinggi. Setelah diproses pada setiap level, diperoleh simpul akar (Root) unik dari Pohon Merkle.

Gate.io menggabungkan teknologi zk-SNARK dengan Merkle Tree untuk menempatkan semua simpanan pengguna ke dalam Merkle Tree. Kemudian, zk-SNARK digunakan untuk membuktikan bahwa semua saldo di pohon tersebut non-negatif (yaitu, bursa tidak memalsukan akun apa pun untuk mengganggu keluaran Pohon Merkle). Terakhir, Pohon Merkle dibuat, dan hash node serta hash root yang relevan dipublikasikan untuk verifikasi pengguna.

Tutorial Pengoperasian

Antarmuka UI bagian depan

Klik tautannya atau buka situs web Gate.io dan gulir ke bawah. Klik tombol Bukti Cadangan 100% untuk mengakses halaman frontend Gerbang Cadangan.

Informasi Cadangan Dasar

Setelah memasuki halaman frontend Gate.io Proof-of-Reserves, pengguna dapat langsung melihat waktu pembaruan terkini dari cadangan tersebut. Pada contoh di bawah, audit terakhir dilakukan pada tanggal 10 November 2023 dengan menggunakan Markle Tree + zk-SNARKs sebagai metode auditnya. Pengguna telah menyetorkan aset senilai sekitar 2,77 miliar USD, dan aset yang disimpan di dompet Gate melebihi setoran pengguna sebesar 434 juta USD, dengan total 3,206 miliar USD. Rasio cadangan keseluruhan adalah 115,69%.

Rasio Cadangan Mata Uang Kripto Tunggal

Menggulir ke bawah halaman akan menampilkan jumlah spesifik dan rasio cadangan untuk berbagai mata uang kripto. Mengambil kripto pertama, BTC, sebagai contoh, pada 8 Desember 2023, pengguna telah menyetor 13,85 ribu BTC, sedangkan dompet Gate menampung 17,10 ribu BTC, menghasilkan rasio cadangan sebesar 123,52% untuk BTC.

Klik ikon halaman di sudut kanan bawah gambar untuk melihat rasio cadangan hingga 112 token di Gate. Klik tombol “Verifikasi sekarang” pada gambar untuk menampilkan tutorial verifikasi. Dengan mengikuti tutorial, Anda dapat memverifikasi apakah saldo akun Anda disertakan dalam perhitungan, sehingga memastikan bahwa rasio cadangan mencerminkan hasil dengan dana Anda yang diperhitungkan dengan benar.

Halaman Tampilan Frontend Lainnya

Ada cara lain untuk memeriksa status audit aset Anda, yaitu dengan membuka halaman Akun Saya dan menavigasi ke bagian Audit. Di sini, Anda dapat melihat catatan audit historis Anda dan situasi cadangan komprehensif Gate.

Proses Verifikasi

1. Unduh Program Verifikasi

Pengguna dapat mengunduh program verifikasi melalui Github atau tautan unduhan yang disediakan di halaman cadangan, dan mengganti namanya menjadi [utama]:

Pengguna harus memilih sistem yang sesuai dengan perangkat mereka untuk mengunduh.

2. Download Data Verifikasi Aset

Masuk ke halaman Audit pribadi, temukan batch yang memerlukan verifikasi, dan klik masing-masing “Unduh Merkle Tree” dan “Unduh Konfigurasi Pengguna” untuk mengunduh data.

Setelah mengunduh, Anda akan memiliki file terkompresi bernama zkmerkle_cex_xxx.tar.gz. Masukkan program utama (file program verifikasi yang disebutkan sebelumnya) ke dalam folder, dan tempatkan file user_config.json ke dalam folder config. Setelah semuanya selesai, struktur file akan seperti yang ditunjukkan pada diagram berikut:

Setelah langkah ini selesai, semua persiapan yang diperlukan telah dilakukan dan validasi formal dapat dimulai.

3. Verifikasi Aset Bursa

Pengguna dapat langsung memasukkan [cmd] atau memasukkan perintah [cd ~/Downloads/zkmerkle_cex_xxx] di [terminal] untuk memasukkan file zkmerkle_cex_xxx yang telah dikonfigurasi sebelumnya yang disebutkan di atas.

Lalu masukkan:

Teks Biasa 
 ./main verifikasi cex

Jika verifikasi berhasil, maka akan ditampilkan:

Teks Biasa 
 Semua bukti verifikasi lulus!!!

4. Verifikasi Aset Anda sendiri

Silakan masukkan perintah berikut untuk memverifikasi aset Anda sendiri:

Teks Biasa 
 ./main verifikasi pengguna

Jika aset pengguna dihitung dengan benar, data akun dan saldo akan menjadi simpul daun pohon Merkle. Oleh karena itu, verifikasi yang berhasil akan ditampilkan.

Teks Biasa 
 merkle tinggalkan hash: 164bc38a71b7a757455d93017242b4960cd1fea6842d8387b60c5780205858ce 
 verifikasi lulus!!!

Jika Anda ingin mempelajari detail teknis lebih lanjut, Anda dapat mengeklik tautan untuk mengakses Github dan melihat kode sumber terbuka.

Kesimpulan

Mengaktifkan zk-SNARK merupakan peningkatan penting pada Bukti Cadangan Gate.io dan langkah signifikan dalam melindungi keamanan aset pengguna. Dengan keamanan dan perlindungan privasi yang luar biasa, ini membuat pengguna lebih percaya diri dan menetapkan standar baru untuk seluruh industri mata uang kripto.