Bukti cadangan: apa yang dibuktikan dan tidak dibuktikan oleh audit sebuah bursa

Setelah beberapa bursa besar runtuh dengan dana nasabah yang raib, "bukti cadangan" (proof of reserves) menjadi jawaban industri. Kini banyak bursa menerbitkannya: sebuah laporan, dasbor, atau sekumpulan alamat yang dimaksudkan untuk menunjukkan bahwa simpanan nasabah benar-benar ada.

Ini langkah maju yang nyata. Namun, mudah juga untuk membacanya lebih dari apa yang sebenarnya dikatakan. Berikut apa yang sesungguhnya ditunjukkan oleh bukti cadangan — dan celah yang dibiarkannya terbuka.

Gagasan dasarnya

Bursa menyimpan koin Anda di dompet miliknya sendiri dan mencatat saldo Anda di basis datanya sendiri. Anda tidak bisa melihat keduanya secara langsung. Kekhawatirannya sederhana: apakah bursa diam-diam meminjamkan, menghilangkan, atau membelanjakan koin yang katanya disimpan untuk Anda?

Bukti cadangan mencoba menjawabnya dalam dua bagian:

1. Aset. Bursa menunjukkan bahwa ia mengendalikan alamat on-chain tertentu, biasanya dengan menandatangani pesan menggunakan kuncinya atau memindahkan dana dengan cara yang telah diumumkan sebelumnya, dan siapa pun dapat menjumlahkan saldo di rantai.
2. Kewajiban. Bursa berkomitmen pada total seluruh saldo nasabah, biasanya dengan pohon Merkle — struktur kriptografis yang memungkinkan setiap nasabah memeriksa bahwa saldonya sendiri sudah disertakan tanpa mengungkap saldo orang lain.

Jika aset setidaknya sebesar kewajiban, bursa tampak solven untuk aset-aset tersebut pada saat itu.

Apa yang benar-benar dibuktikannya

Jika dilakukan dengan benar, bukti cadangan memang menetapkan hal-hal yang nyata:

• Koinnya memang ada di alamat-alamat yang ditunjukkan, pada saat snapshot diambil — bagian itu ada di rantai dan dapat diverifikasi siapa pun.
• Ada pihak yang mengendalikan alamat-alamat itu, jika bursa menandatangani dengannya.
• Saldo Anda ikut dihitung. Jika Anda memeriksa entri Anda sendiri di pohon Merkle, Anda tahu Anda tidak dikecualikan dari total kewajiban.

Itu lebih dari yang dimiliki nasabah sebelumnya, dan bursa yang bersedia menerbitkannya secara rutin menunjukkan lebih banyak daripada bursa yang tidak.

Apa yang tidak dibuktikannya

Di celah-celah itulah kegagalan bersembunyi:

• Kewajiban dilaporkan sendiri. Pohon Merkle membuktikan bahwa saldo Anda ada di dalam total. Ia tidak bisa membuktikan bahwa total itu mencakup setiap nasabah, atau setiap utang — pinjaman yang diambil bursa, uang yang terutang kepada perusahaan lain, kewajiban di luar pembukuan.
• Ini hanya potret sesaat. Dana bisa dipinjam untuk hari pengambilan snapshot lalu dikembalikan setelahnya. Laporan dari kuartal lalu tidak banyak berbicara tentang pagi ini.
• Kendali bukan kepemilikan. Koin di alamat yang bisa ditandatangani bursa mungkin sedang dijaminkan sebagai agunan, dipinjam dari pihak lain, atau terutang kepada pihak ketiga.
• Beberapa bursa, koin yang sama. Tanpa koordinasi antarperusahaan, secara prinsip koin yang sama bisa ditunjukkan oleh lebih dari satu entitas.
• Cakupan auditor itu penting. Banyak laporan berupa "prosedur yang disepakati" — akuntan memeriksa hal-hal tertentu yang diminta bursa untuk diperiksa — bukan audit menyeluruh atas bisnisnya.

Semua ini tidak berarti bukti cadangan tidak berguna. Artinya, ia adalah batas bawah, bukan jaminan. Ia menjawab "apakah aset-aset ini ada di sana?" jauh lebih baik daripada "apakah perusahaan ini solven?".

Cara membacanya

Jika Anda menyimpan dana di bursa, beberapa pertanyaan dapat membedakan laporan yang bermakna dari laporan pemasaran:

1. Apakah kewajiban disertakan, atau hanya daftar dompet? Aset saja hampir tidak membuktikan apa pun.
2. Bisakah Anda memverifikasi saldo Anda sendiri di pohon yang diterbitkan?
3. Seberapa sering dilakukan? Bulanan atau berkelanjutan lebih baik daripada sekali saja.
4. Siapa yang memeriksanya, dan apa tepatnya yang diperiksa? Baca cakupannya, bukan hanya judulnya.
5. Apakah rasionya mencakup setiap aset, atau hanya total yang mencampur token milik bursa sendiri dengan cadangan yang nyata?

Alternatifnya: tidak ada yang perlu dibuktikan

Bukti cadangan ada karena kustodian meminta Anda memercayakan koin Anda kepadanya. Setiap keterbatasannya berasal dari pengaturan tersebut: bursa memegang kunci, dan Anda memegang sebuah angka di basis datanya. Seperti kata pepatah lama, bukan kunci Anda, bukan koin Anda.

Penyimpanan mandiri tidak memerlukan bukti cadangan, karena tidak ada yang perlu dicocokkan. Koin Anda berada di alamat Anda sendiri, dan Anda dapat memeriksanya di penjelajah blok mana pun kapan saja. Dengan SSP, alamat-alamat itu adalah brankas multisig 2-dari-2 yang dikendalikan oleh dua perangkat Anda sendiri — tidak ada perusahaan yang memegang kunci, jadi tidak ada perusahaan yang solvabilitasnya perlu Anda verifikasi.

Itu tidak berarti bursa tidak punya tempat. Di sanalah kebanyakan orang membeli dan menjual, dan untung-rugi antara dompet kustodian dan non-kustodian itu nyata. Pendekatan praktisnya adalah memperlakukan bursa sebagai tempat dana melintas, bukan tempat dana tinggal — dan mengetahui cara-cara bursa bisa gagal sebelum Anda meninggalkan apa pun di sana dalam jangka panjang.

Ringkasan yang jujur

Bukti cadangan menunjukkan bahwa koin tertentu berada di alamat tertentu pada saat tertentu, dan bahwa saldo Anda ikut dihitung. Ia tidak menunjukkan apa yang menjadi utang bursa, apa yang dipinjamnya, atau apa yang terjadi keesokan harinya.

Layak diperiksa jika Anda menggunakan bursa — dan layak diingat bahwa satu-satunya cadangan yang dapat Anda verifikasi sepenuhnya, kapan saja, adalah cadangan milik Anda sendiri.