Charles Hoskinson merilis panduan bukti nol-pengetahuan gratis sepanjang 337 halaman di GitHub, yang ditujukan untuk pengembang dan pembangun teknologi privasi Midnight di seluruh ruang ZK.
Charles Hoskinson menerbitkan buku teknis sepanjang 337 halaman tentang sistem bukti nol-pengetahuan. Gratis. Di GitHub. Terbuka untuk siapa saja untuk dibaca, diadaptasi, atau dibangun.
Pendiri Cardano dan IOG ini membagikan rilis tersebut di X sebagai @IOHK_Charles, mengonfirmasi buku berjudul “The Seven-Layer Magic Trick: A Complete Guide to Zero-Knowledge Proof Systems.” Hoskinson mempostingnya dua hari lalu. Repositori tersebut sudah berisi PDF lengkap, sumber Markdown, dan jalur pembangunan di satu tempat.
Buku ini dibuka dengan satu kalimat dari Hoskinson yang menetapkan seluruh nada. Bukti ZK memungkinkan Anda membuktikan sesuatu yang benar tanpa mengungkapkan mengapa itu benar. Ide itu, tulisnya, berada di dalam industri senilai $2 triliun, empat dekade matematika, dan masalah yang sebagian besar orang masih tidak dapat jelaskan dengan jelas.
Empat belas bab. Tiga bagian. Sekitar 5.280 baris Markdown sebelum menjadi PDF.
Bagian I membahas dasar-dasarnya. Apa yang dilakukan bukti ZK, mengapa mereka penting sekarang, dan keputusan desain nyata pertama yang dihadapi setiap sistem ZK — pengaturan tepercaya versus pengaturan transparan. Bagian II mendalami inti teknis. Satu bab per lapisan: bahasa pemrograman, generasi saksi, aritmetisasi, sistem bukti, primitif kriptografi, dan verifikasi di rantai.
Bagian tentang bahasa pemrograman itu bukan bacaan santai. Hoskinson menandai apa yang dia sebut masalah sirkuit yang kurang terikat — yang bertanggung jawab atas 67% kerentanan ZK di dunia nyata. Angka itu sendiri membuat Bagian II layak untuk setiap pengembang yang bekerja di dekat sistem ZK.
Bagian III menangani gambaran yang lebih besar. Dekomposisi kepercayaan penuh dengan tujuh skenario kegagalan, perbandingan lanskap zkVM, analisis pasar di enam segmen, dan tujuh pertanyaan penelitian terbuka. Tidak ada resolusi yang bersih. Hanya pertanyaan sulit yang belum terjawab di bidang ini.
Studi kasus Midnight berada di dalam Bagian III. Itu bukan catatan kaki — itu adalah satu bab penuh.
Bukti ZK tidak menghilangkan kepercayaan. Mereka memecahnya menjadi tujuh bagian yang lebih lemah.
Setiap bagian dapat diuji secara independen. Masing-masing dapat diganti secara independen. Masing-masing dapat gagal secara independen. Dekomposisi itu, argumen Hoskinson melalui README repositori GitHub, adalah trik nyata yang dilakukan teknologi ini — bukan sihir, tetapi pengurangan risiko yang terstruktur menjadi bagian-bagian yang dapat dikelola.
Bab 2 dan 10 adalah apa yang dia sebut dinding penyangga. Bab 2 menangani pengaturan. Bab 10 membahas dekomposisi kepercayaan secara penuh. Lewati kedua bab itu dan sisa buku kehilangan fondasinya.
Jalur bacaan yang dibangun ke dalam buku mencerminkan bagaimana orang sebenarnya mendekati materi ini dengan cara yang berbeda. Empat puluh lima menit untuk seorang eksekutif yang hanya mencakup sorotan. Dua jam untuk seorang insinyur yang bekerja melalui Bagian I dan II. Lebih dari empat jam untuk seorang peneliti yang melalui semuanya, termasuk tujuh pertanyaan terbuka di Bab 14.
Hoskinson telah memposisikan Midnight sebagai lapisan privasi lintas rantai yang dibangun di atas Cardano, menggunakan kriptografi nol-pengetahuan sebagai tulang punggungnya di seluruh Bitcoin, XRP, dan jaringan lainnya. Basis pengembang yang tidak memahami dasar-dasar ZK tidak dapat membangun dengan percaya diri di infrastruktur itu.
Konteks itu menjadikan buku ini sebagai investasi teknis langsung dalam masa depan Midnight. Bukan pemasaran. Dasar teknis sepanjang 337 halaman untuk siapa pun yang datang untuk membangun.
Buku ini menjalankan satu contoh untuk mengikat teori. Bukti Sudoku 4×4 mengalir dari program ke saksi ke batasan hingga sertifikat tertutup di setiap lapisan. Satu perhitungan dilacak sepanjang jalan. Ini adalah jenis perangkat yang memisahkan buku yang ditulis untuk mengesankan dari buku yang ditulis untuk benar-benar mengajar.
Perdebatan seputar kepercayaan ZK dan keandalan institusional telah memanas di seluruh ruang. Pendiri zkSync baru-baru ini menolak keras kritik publik Canton terhadap keamanan bukti ZK dalam keuangan institusional — berargumen bahwa arsitektur bertingkat menangkap kegagalan sebelum mereka menyebar. Kerangka dekomposisi kepercayaan Hoskinson di Bab 10 menangani kelas pertanyaan yang sama dari sudut pandang yang berbeda.
PDF lengkap tersedia di github.com/CharlesHoskinson/sevenlayer. Berlisensi di bawah Creative Commons Attribution 4.0 International. Penggunaan komersial diperbolehkan. Satu-satunya syarat adalah memberikan kredit.
PDF ini dibuat untuk layar. Mode gelap, judul Outfit, penyorotan sintaks khusus, aksen gradasi biru ke ungu. Tidak dioptimalkan untuk pencetakan. Kode sumber untuk membangunnya sendiri — Python, Pandoc, XeLaTeX — disertakan di repositori yang sama.