Masalah Amplop Tersegel: Verifikasi Tanpa Pengungkapan Masalah Jenderal Byzantium menanyakan bagaimana orang-orang yang tidak saling percaya dapat sepakat atas sejarah yang terbuka: Bagaimana kita mencapai konsensus tanpa kepercayaan? Di sampingnya terdapat dilema yang berdekatan dan ortogonal: Bagaimana jaringan yang tidak terpercaya dapat menegakkan aturan transaksi yang tidak ada anggotanya diizinkan untuk melihat? Ini adalah Masalah Amplop Tersegel—paradoks konseptual yang dipecahkan oleh uang zero-knowledge. Dua Dimensi Kepercayaan Terdistribusi Bitcoin dan Zcash mengatur dua lapisan terpisah dari sistem terdistribusi: * Masalah Jenderal Byzantium mengatur urutan: Bagaimana node-node yang tidak saling percaya sepakat tentang transaksi mana yang terjadi, dan dalam urutan apa? * Masalah Amplop Tersegel mengatur validitas: Bagaimana node-node tersebut memverifikasi bahwa transaksi yang tersembunyi adalah legal, solvabel, dan tidak inflasioner tanpa memeriksa isinya? Bitcoin memecahkan konsensus terbuka dengan membuat seluruh sejarahnya transparan. Setiap node secara independen mengaudit buku-buku: melacak output, menjumlahkan saldo publik, dan memeriksa tanda tangan. Bitcoin berfungsi karena setiap peserta membaca halaman yang sama: * Bitcoin: Bagaimana kita sepakat atas buku terbuka yang dapat diaudit semua orang? $BTC * Zcash: Bagaimana kita membuktikan buku seimbang ketika entri-entrinya tersembunyi? Konsensus memutuskan amplop mana yang datang lebih dulu; Masalah Amplop Tersegel menanyakan bagaimana kerumunan yang bermusuhan membuktikan bahwa amplop tersebut bukan palsu. $ZEC Pasar Samarkand Bayangkan sebuah persimpangan kuno di Jalur Sutra Para pedagang dari kerajaan-kerajaan saingan berkumpul di bawah lengkungan-lengkungan beratap: pedagang sutra Sogdia, penukar uang Persia, dan para pelancong Venesia. Mereka tidak memiliki penguasa bersama, berbicara dalam bahasa yang berbeda, dan saling curiga. Dua orang asing berjubah bertemu di tengah alun-alun. Di hadapan penuh kerumunan dan penjaga kota, satu orang menyerahkan amplop lilin tersegel kepada yang lain. Tidak ada yang boleh membuka amplop itu. Tidak ada yang diizinkan mengetahui siapa pengirimnya, siapa penerimanya, koin mana yang diwakilinya, atau nominalnya. Tidak ada wazir agung atau penilai kekaisaran yang diam-diam memeriksa isinya. Namun, kerumunan yang curiga harus dilengkapi secara matematis untuk menolak pertukaran jika: * Koin di dalamnya tidak ada. * Pengirim tidak memiliki hak sah untuk menggunakannya. * Koin tersebut sudah dibelanjakan di karavanserai lain kemarin. * Transfer tersebut meningkatkan pasokan uang dengan memalsukan koin baru dari udara. Lilin tetap utuh. Isinya tetap tersembunyi. Namun setiap pedagang di pasar secara independen memverifikasi bahwa hukum moneter kerajaan tetap dipertahankan secara ketat. Secara historis, perdagangan fisik menggabungkan dua sifat berbeda: pengetahuan tentang transaksi & pengetahuan bahwa transaksi tersebut valid. Audit konvensional memperoleh yang kedua dengan mengambil yang pertama: Anda menggigit emasnya, menghitung koinnya, mengaudit buku pribadi pedagangnya, atau mempercayai pabrik kekaisaran yang melakukannya. Kriptografi zero-knowledge memutuskan hubungan itu. Sebuah verifikator tidak perlu fakta dasarnya. Ia hanya membutuhkan bukti matematis ringkas bahwa fakta-fakta tersembunyi tersebut memenuhi batasan protokol. Kesepakatan dan Pengungkapan Nama ini menggambarkan batasan, bukan teknologinya. Enkripsi biasa hanya menyembunyikan pesan, membuatnya tidak dapat diverifikasi. Masalah moneter yang lebih sulit adalah memungkinkan kumpulan yang tidak terpercaya dan bermusuhan untuk mengaudit keadaan yang tersembunyi. Dua pilar fondasional mata uang terdesentralisasi berdiri berdampingan: * Jenderal Byzantium: Kesepakatan tanpa kepercayaan. * Amplop Tersegel: Verifikasi tanpa pengungkapan. Toleransi kesalahan Byzantium menyediakan garis waktu publik yang tak tergoyahkan, sementara bukti zero-knowledge menegakkan validitas pribadi. Bitcoin membuktikan bahwa orang asing dapat mempertahankan sejarah moneter tanpa mempercayai otoritas pusat. Zcash membuktikan bahwa sejarah ini dapat menegakkan konservasi moneter tanpa menuntut agar setiap kehidupan pribadi menjadi properti publik. Bitcoin mengajarkan pasar untuk sepakat atas buku terbuka. Zcash membuktikan bahwa buku tersebut seimbang tanpa membuka halamannya.