Proof of Reserves telah berevolusi dari bukti langsung aset, terus memperkenalkan teknologi dan proses terpercaya untuk mengoptimalkan proses bukti, akhirnya berkembang menjadi bukti utang. Teknologi ini meliputi pihak ketiga terpercaya, Pohon Merkle, dan bukti pengetahuan nol, antara lain.
Pada tahun 2011, MtGox, bursa bitcoin terbesar saat itu, membuktikan kepemilikan dana dengan mengirimkan 424.242 BTC ke alamat yang telah diumumkan sebelumnya. Metode ini hanya dapat membuktikan kepemilikan aset dan tidak dapat membuktikan kewajiban bursa. Pengguna tidak memiliki cara untuk mengetahui apakah ini adalah jumlah aset yang tepat yang telah disalahgunakan.
Perbedaan terbesar antara bukti hutang dan bukti aset adalah bahwa bukti hutang tidak hanya membuktikan jumlah aset yang dimiliki oleh bursa tetapi juga mengungkapkan jumlah aset yang disetor oleh pengguna.
Utang dari sebuah pertukaran adalah aset yang disetor oleh pengguna. Cara paling sederhana untuk membuktikan aset pengguna adalah dengan mengungkapkan daftar yang berisi akun pengguna dan saldo, memungkinkan pengguna untuk memeriksa apakah saldo akun mereka benar.
Namun, pendekatan ini memiliki kelemahan yang signifikan:
① Kami tidak dapat menjamin bahwa daftar yang diberikan oleh bursa adalah benar.
② Selama proses, informasi akun pengguna dan saldo mungkin bocor.
Oleh karena itu, metode pengungkapan langsung adalah dasar teoritis dari bukti utang tetapi belum dilaksanakan oleh pertukaran mana pun hingga saat ini.
Pohon Merkle adalah struktur data yang mirip dengan “pohon”, dengan data di bagian bawah pohon disebut “simpul daun” dan data di bagian tengah disebut “simpul perantara”. Simpul daun kiri dan kanan dapat diproses dengan penghasingan (merujuk pada pemrosesan nilai masukan apa pun melalui metode tertentu untuk menghasilkan nilai tertentu) untuk menghasilkan nilai simpul perantara. Nilai simpul perantara kiri dan kanan, saat dihash, menghasilkan nilai output unik untuk simpul perantara atas. Setelah diproses lapis demi lapis, hasil akhirnya adalah simpul akar dari pohon Merkle. Nilai ini unik, dan setiap perubahan dalam simpul daun akan menghasilkan perubahan pada simpul akar.
Dalam metode ini, total aset pengguna yang dipegang oleh bursa diperoleh melalui penambahan lapis demi lapis. Namun, ketika langsung menempatkan data akun dan saldo pengguna dalam simpul daun, masih ada krisis bocornya informasi dalam skala kecil. Dengan menggunakan contoh dalam diagram di atas, pengguna Charlie, yang ditandai dengan warna hijau, tidak hanya dapat mengetahui beberapa informasi tentang David tetapi juga total saldo Alice dan Bob di sebelah kiri. Oleh karena itu, ada perbaikan teknologi baru dalam simpul daun:
(1) Seperti yang ditunjukkan pada gambar di atas, hash ID akun pengguna dengan nilai tertentu.
(2) Bagi saldo pengguna. Sebagai contoh, 10 ETH milik Charlie dapat dibagi menjadi dua 5 ETH yang ditempatkan di dua node daun.
(3) Hash ID pengguna dan saldo secara terpisah, lalu hash nilai yang diperoleh sekali lagi.
Meskipun berbagai metode optimisasi, ada satu masalah yang tidak dapat diselesaikan oleh pohon Merkel: akun saldo negatif. Dalam penggunaan praktis, pengguna mungkin mengalami perdagangan berleverage, kontrak perpetual, dan produk lain setelah mendepositokan cryptocurrency. Jika kerugian terjadi, kerugian maksimum harus 100% dari pokok, artinya saldo akun pengguna harus lebih besar dari atau sama dengan 0.
Jadi, akun saldo negatif umumnya dimulai oleh pertukaran yang jahat. Jika pertukaran menyalahgunakan 500 ETH, berdasarkan perhitungan normal, rasio cadangan aset yang dimiliki pertukaran kemungkinan kurang dari 100%, mengungkapkan perilaku penyalahgunaan dana. Namun, pertukaran dapat menggunakan akun bernama Henry dengan saldo -500 ETH, seperti yang ditunjukkan dalam diagram, untuk membuat total aset yang dihasilkan oleh Pohon Merkle sama dengan atau kurang dari aset sebenarnya yang telah disalahgunakan oleh pertukaran, menciptakan kesan palsu bahwa rasio cadangan lebih dari 100%.
Dalam konteks sehari-hari, “audit” terutama mengacu pada kegiatan pengawasan ekonomi independen, dan entitas yang terlibat dalam kegiatan ini disebut “firma audit.” Skenario aplikasi umum termasuk audit laporan keuangan perusahaan terdaftar, audit pemerintah, dll. Di dunia kripto, CEX mencari firma audit terkemuka dari bidang tradisional untuk melakukan audit. Karena sifat unik industri kripto dan sistem audit yang belum sempurna, banyak audit pihak ketiga perlu digabungkan dengan teknologi pohon Merkle.
Perusahaan audit akan menggunakan saldo pengguna yang disediakan oleh bursa untuk menghasilkan pohon Merkle. Setelah pohon Merkel dihasilkan, pihak auditor memverifikasi total saldo pengguna dan mempublikasikan pohon Merkel lengkap beserta hash rootnya. Pengguna dapat memasukkan ID pengguna mereka yang di-hash dan saldo token ke dalam antarmuka verifikasi untuk memulai proses verifikasi.
Keuntungan dari metode ini adalah bahwa itu dapat meningkatkan kredibilitas melalui firma audit terkemuka. Namun, metode ini bergantung pada etika profesional para auditor dan tidak dapat menjamin bahwa para auditor tidak akan bersekongkol dengan bursa untuk tujuan jahat. Oleh karena itu, untuk menyediakan Bukti Cadangan secara lebih aman dan transparan, audit pihak ketiga secara bertahap menjadi metode bukti tambahan atau telah ditinggalkan.
Seperti yang disebutkan sebelumnya, struktur pohon Merkel yang ada tidak dapat menyelesaikan akun saldo negatif dan masalah privasi. Pada Desember 2022, Vitalik Buterin, pendiri Ethereum, menerbitkan artikel yang berjudul " Memiliki CEX yang aman: bukti solvabilitas dan di luar itu, membahas bagaimana pertukaran dapat memiliki bukti kewajaran yang lebih baik. Artikel tersebut menyarankan untuk memperkenalkan teknologi baru seperti zk-SNARKs berdasarkan Proof of Reserves tradisional untuk memastikan bukti kewajaran yang lebih terbuka, transparan, dan asli. Hal ini juga mendorong pertukaran besar untuk menjelajahi penggunaan bukti pengetahuan nol untuk menggantikan Proof of Reserves.
Dari bukti aset sederhana hingga penggunaan teknologi kriptografi, Proof of Reserves oleh pertukaran sedang berkembang menuju desentralisasi, privasi, dan transparansi. Pada pelajaran berikutnya, kita akan menjelajahi kombinasi bukti pengetahuan nol dan Proof of Reserves.
Proof of Reserves telah berevolusi dari bukti langsung aset, terus memperkenalkan teknologi dan proses terpercaya untuk mengoptimalkan proses bukti, akhirnya berkembang menjadi bukti utang. Teknologi ini meliputi pihak ketiga terpercaya, Pohon Merkle, dan bukti pengetahuan nol, antara lain.
Pada tahun 2011, MtGox, bursa bitcoin terbesar saat itu, membuktikan kepemilikan dana dengan mengirimkan 424.242 BTC ke alamat yang telah diumumkan sebelumnya. Metode ini hanya dapat membuktikan kepemilikan aset dan tidak dapat membuktikan kewajiban bursa. Pengguna tidak memiliki cara untuk mengetahui apakah ini adalah jumlah aset yang tepat yang telah disalahgunakan.
Perbedaan terbesar antara bukti hutang dan bukti aset adalah bahwa bukti hutang tidak hanya membuktikan jumlah aset yang dimiliki oleh bursa tetapi juga mengungkapkan jumlah aset yang disetor oleh pengguna.
Utang dari sebuah pertukaran adalah aset yang disetor oleh pengguna. Cara paling sederhana untuk membuktikan aset pengguna adalah dengan mengungkapkan daftar yang berisi akun pengguna dan saldo, memungkinkan pengguna untuk memeriksa apakah saldo akun mereka benar.
Namun, pendekatan ini memiliki kelemahan yang signifikan:
① Kami tidak dapat menjamin bahwa daftar yang diberikan oleh bursa adalah benar.
② Selama proses, informasi akun pengguna dan saldo mungkin bocor.
Oleh karena itu, metode pengungkapan langsung adalah dasar teoritis dari bukti utang tetapi belum dilaksanakan oleh pertukaran mana pun hingga saat ini.
Pohon Merkle adalah struktur data yang mirip dengan “pohon”, dengan data di bagian bawah pohon disebut “simpul daun” dan data di bagian tengah disebut “simpul perantara”. Simpul daun kiri dan kanan dapat diproses dengan penghasingan (merujuk pada pemrosesan nilai masukan apa pun melalui metode tertentu untuk menghasilkan nilai tertentu) untuk menghasilkan nilai simpul perantara. Nilai simpul perantara kiri dan kanan, saat dihash, menghasilkan nilai output unik untuk simpul perantara atas. Setelah diproses lapis demi lapis, hasil akhirnya adalah simpul akar dari pohon Merkle. Nilai ini unik, dan setiap perubahan dalam simpul daun akan menghasilkan perubahan pada simpul akar.
Dalam metode ini, total aset pengguna yang dipegang oleh bursa diperoleh melalui penambahan lapis demi lapis. Namun, ketika langsung menempatkan data akun dan saldo pengguna dalam simpul daun, masih ada krisis bocornya informasi dalam skala kecil. Dengan menggunakan contoh dalam diagram di atas, pengguna Charlie, yang ditandai dengan warna hijau, tidak hanya dapat mengetahui beberapa informasi tentang David tetapi juga total saldo Alice dan Bob di sebelah kiri. Oleh karena itu, ada perbaikan teknologi baru dalam simpul daun:
(1) Seperti yang ditunjukkan pada gambar di atas, hash ID akun pengguna dengan nilai tertentu.
(2) Bagi saldo pengguna. Sebagai contoh, 10 ETH milik Charlie dapat dibagi menjadi dua 5 ETH yang ditempatkan di dua node daun.
(3) Hash ID pengguna dan saldo secara terpisah, lalu hash nilai yang diperoleh sekali lagi.
Meskipun berbagai metode optimisasi, ada satu masalah yang tidak dapat diselesaikan oleh pohon Merkel: akun saldo negatif. Dalam penggunaan praktis, pengguna mungkin mengalami perdagangan berleverage, kontrak perpetual, dan produk lain setelah mendepositokan cryptocurrency. Jika kerugian terjadi, kerugian maksimum harus 100% dari pokok, artinya saldo akun pengguna harus lebih besar dari atau sama dengan 0.
Jadi, akun saldo negatif umumnya dimulai oleh pertukaran yang jahat. Jika pertukaran menyalahgunakan 500 ETH, berdasarkan perhitungan normal, rasio cadangan aset yang dimiliki pertukaran kemungkinan kurang dari 100%, mengungkapkan perilaku penyalahgunaan dana. Namun, pertukaran dapat menggunakan akun bernama Henry dengan saldo -500 ETH, seperti yang ditunjukkan dalam diagram, untuk membuat total aset yang dihasilkan oleh Pohon Merkle sama dengan atau kurang dari aset sebenarnya yang telah disalahgunakan oleh pertukaran, menciptakan kesan palsu bahwa rasio cadangan lebih dari 100%.
Dalam konteks sehari-hari, “audit” terutama mengacu pada kegiatan pengawasan ekonomi independen, dan entitas yang terlibat dalam kegiatan ini disebut “firma audit.” Skenario aplikasi umum termasuk audit laporan keuangan perusahaan terdaftar, audit pemerintah, dll. Di dunia kripto, CEX mencari firma audit terkemuka dari bidang tradisional untuk melakukan audit. Karena sifat unik industri kripto dan sistem audit yang belum sempurna, banyak audit pihak ketiga perlu digabungkan dengan teknologi pohon Merkle.
Perusahaan audit akan menggunakan saldo pengguna yang disediakan oleh bursa untuk menghasilkan pohon Merkle. Setelah pohon Merkel dihasilkan, pihak auditor memverifikasi total saldo pengguna dan mempublikasikan pohon Merkel lengkap beserta hash rootnya. Pengguna dapat memasukkan ID pengguna mereka yang di-hash dan saldo token ke dalam antarmuka verifikasi untuk memulai proses verifikasi.
Keuntungan dari metode ini adalah bahwa itu dapat meningkatkan kredibilitas melalui firma audit terkemuka. Namun, metode ini bergantung pada etika profesional para auditor dan tidak dapat menjamin bahwa para auditor tidak akan bersekongkol dengan bursa untuk tujuan jahat. Oleh karena itu, untuk menyediakan Bukti Cadangan secara lebih aman dan transparan, audit pihak ketiga secara bertahap menjadi metode bukti tambahan atau telah ditinggalkan.
Seperti yang disebutkan sebelumnya, struktur pohon Merkel yang ada tidak dapat menyelesaikan akun saldo negatif dan masalah privasi. Pada Desember 2022, Vitalik Buterin, pendiri Ethereum, menerbitkan artikel yang berjudul " Memiliki CEX yang aman: bukti solvabilitas dan di luar itu, membahas bagaimana pertukaran dapat memiliki bukti kewajaran yang lebih baik. Artikel tersebut menyarankan untuk memperkenalkan teknologi baru seperti zk-SNARKs berdasarkan Proof of Reserves tradisional untuk memastikan bukti kewajaran yang lebih terbuka, transparan, dan asli. Hal ini juga mendorong pertukaran besar untuk menjelajahi penggunaan bukti pengetahuan nol untuk menggantikan Proof of Reserves.
Dari bukti aset sederhana hingga penggunaan teknologi kriptografi, Proof of Reserves oleh pertukaran sedang berkembang menuju desentralisasi, privasi, dan transparansi. Pada pelajaran berikutnya, kita akan menjelajahi kombinasi bukti pengetahuan nol dan Proof of Reserves.