Pada awal abad lalu, jika Anda ingin memiliki sebuah mobil, Anda harus mencari mekanik paling terkenal di daerah Anda. Dia akan secara manual membuat setiap roda gigi dan batang sesuai dengan kebutuhan Anda. Jika mobil rusak, tidak ada orang lain yang bisa memperbaikinya, karena spesifikasi setiap komponen hanya ada dalam pikirannya. Ini disebut 'kerajinan', juga disebut 'hambatan teknologi'.
Kemudian jalur perakitan Ford muncul. Komponen distandarisasi, dan proses perakitan menjadi transparan. Apakah mekanik menjadi pengangguran? Tidak, mereka berubah menjadi insinyur utama, sementara orang-orang yang sebelumnya tidak mampu membeli mobil, kini setiap rumah memiliki mobil T Model.
Pengembangan ZK (bukti nol pengetahuan) saat ini berada di era liar “workshop manual” tersebut.
一、 “Pendeta Kriptografi” yang Mahal
Dalam lingkaran blockchain, pengembang ZK adalah sekelompok orang yang berada di puncak piramida. Mereka seperti sekelompok “pendeta” yang menguasai mantra kuno, menjaga logika matematika seperti kurva elips, komitmen polinom, dan sirkuit R1CS yang tidak pernah didengar oleh orang biasa.
Jika Anda adalah seorang pengembang Web3 biasa yang ingin menambahkan fungsi “pemungutan suara privasi” atau “anonim yang disebutkan”, Anda hanya memiliki dua jalan di depan Anda:
Berkutat pada Matematika: Menghabiskan dua atau tiga tahun untuk menggigit makalah kriptografi yang sulit, sebelum menulis kode, pertama-tama menjadikan diri Anda setengah matematikawan.
Mencari Bakat dengan Bayaran Tinggi: Menghabiskan uang dalam jumlah besar untuk mempekerjakan para ahli ZK yang sangat sedikit di dunia.
Hasilnya jelas. Sebagian besar tim melihat tagihan dan jadwal, dan akhirnya menghela napas dan berkata: “Sudahlah, privasi atau tidak, kita bahas nanti.” Ini adalah mengapa jalur ZK terkenal baik tetapi tidak mendapatkan tempat — teknologinya terlalu sakral, dan batasannya terlalu menghalangi.
二、 Kekerasan Penguraian: Compact 的“降维打击”
@MidnightNetwork Bahasa Compact yang sedang dikerjakan pada dasarnya adalah gerakan “de-sakralisasi”.
Jika pengembangan ZK tradisional adalah “menggiling lensa dengan tangan”, maka Compact adalah “mesin penggiling lensa otomatis”.
Kecerdikan Compact terletak pada fakta bahwa ia tidak menciptakan bahasa baru yang tinggi dan megah, tetapi memilih untuk “parasit” di atas TypeScript. Ini adalah strategi yang sangat licik dan pragmatis. Apa itu TypeScript? Itu adalah bahasa ibu bagi insinyur frontend, adalah sekrup paling matang dalam industri internet.
Rata-rata Compact pada ZK tercermin dalam tiga lapisan “penguraian”:
Penguraian Logika: Pengembang tidak lagi perlu memikirkan “bagaimana mengubah logika bisnis menjadi kendala polinom”. Anda hanya perlu menggunakan if-else, loop, dan fungsi yang sudah familiar untuk mendeskripsikan aturan bisnis Anda, sisanya serahkan kepada compiler.
Penguraian Identitas: Dulu Anda membutuhkan “ahli kriptografi”, sekarang Anda hanya memerlukan “programmer yang mengerti sedikit logika”. Ini berarti biaya organisasi untuk mengembangkan aplikasi privasi berubah dari “mencari unicorn” menjadi “merekrut pekerja terampil”.
Penguraian Mental: Ketika Anda menulis kode, Anda tidak perlu khawatir tentang kekokohan bukti matematis yang mendasarinya. Compiler Compact secara otomatis akan menghasilkan deskripsi sirkuit dan bahan bukti yang mendasarinya untuk Anda. Ini seperti Anda menulis kode dalam bahasa tingkat tinggi, tanpa perlu khawatir tentang bagaimana register CPU berfungsi.
三、 “Gempa” dalam Struktur Pasar
Seperti video yang mengajarkan Anda cara mengganti layar ponsel, ketika suatu “hal yang sulit” menjadi “mudah”, perubahan yang terjadi tidak hanya sekadar efisiensi.
Pertama, adalah runtuhnya kekuasaan penetapan harga.
Dulu proyek ZK berani menawarkan pembiayaan dengan harga selangit, sebagian besar alasannya adalah “premium karena kelangkaan talenta”. Ketika Compact memungkinkan sepuluh juta pengembang TypeScript untuk menulis kontrak privasi, premium ini akan cepat menyusut. “Aura misterius” teknologi telah hilang, digantikan oleh “persaingan dalam skenario aplikasi”.
Kedua, adalah ledakan “spesies” dalam ekosistem aplikasi.
Mengapa aplikasi ZK saat ini sedikit? Karena biayanya terlalu tinggi, orang hanya berani bermain di bidang bernilai tinggi dan menguntungkan (DeFi). Tetapi jika biaya pengembangan turun menjadi sepersepuluh dari biaya sebelumnya, maka skenario yang tampaknya “tidak begitu menguntungkan tetapi sangat berguna” akan muncul:
Sebuah sistem penilaian anonim untuk karyawan.
Sebuah protokol reputasi sosial terdesentralisasi yang berbasis pada perlindungan privasi.
Sebuah bukti pinjaman yang tidak perlu mengungkapkan saldo untuk membuktikan kekuatan aset.
Hal-hal ini tidak mungkin dicapai di “era manual”, karena investasi penelitian dan pengembangan tidak bisa mendapatkan kembali biaya. Namun, setelah Compact menjadi umum, semua ini akan menjadi “plugin kecil” yang mudah diakses.
四、 “Lembah Kematian” antara Idealisme dan Realitas
Tapi ngomong-ngomong, setelah saya mengganti layar ponsel, saya menemukan satu masalah: meskipun layar sudah diganti, lem penyegelan tidak merata, dan ketahanan airnya hampir hilang. Ini adalah efek samping dari “rata-rata” — batasannya menjadi lebih rendah, namun tidak berarti tidak ada jebakan.
Midnight 的 Compact juga menghadapi tantangan ini. Meskipun whitepaper ditulis dengan indah, dan compiler menerjemahkannya dengan cerdas, jika efisiensi sirkuit yang dihasilkan rendah (ukuran bukti terlalu besar atau waktu verifikasi terlalu lama), atau jika ada kerentanan keamanan dalam kondisi batas ekstrem, maka pengembang masih tidak berani melakukan migrasi secara besar-besaran.
Pengembang adalah sekelompok orang yang sangat realistis. Toleransi mereka terhadap alat sangat rendah:
Dokumen: Jika saya mencari kesalahan dan tidak menemukan solusi, saya langsung pergi.
Debugging: Jika saya salah menulis logika, dan compiler memberi tahu saya “Unknown Error”, saya pasti akan memukul keyboard.
Kompatibilitas: Dapatkah itu terintegrasi dengan mulus ke dalam alur pengembangan saya yang sudah ada?
Midnight mengatakan mereka akan menyediakan lingkungan pengembangan dan kerangka dukungan lengkap, terdengar sangat baik, tetapi medan pertempuran yang sebenarnya adalah dalam tiga bulan pertama setelah peluncuran mainnet. Selama waktu itu, seberapa cepat bug yang muncul dalam komunitas diperbaiki, seberapa rajin tutorial diperbarui, secara langsung menentukan apakah itu akan menjadi standar industri berikutnya, atau menjadi “mainan laboratorium yang terlihat keren tetapi tidak ada yang menggunakannya”.
五、 Kesimpulan: Masa Depan Setelah Rata-rata
Saya selalu merasa, tanda bahwa suatu teknologi telah matang adalah bahwa ia menjadi “tanpa terasa”.
Ketika Anda berbelanja di Taobao, Anda tidak perlu tahu bagaimana database terdistribusi bekerja; ketika Anda membuka halaman web, Anda tidak perlu tahu bagaimana protokol TCP/IP melakukan handshake. ZK juga harus demikian.
Tujuan Compact seharusnya adalah membuat istilah “bukti nol pengetahuan” menghilang dari diskusi pengembang. Orang tidak lagi membahas “bagaimana saya menulis sirkuit ZK”, tetapi membahas “apa fungsi yang diimplementasikan oleh kontrak privasi saya”.
Seperti yang dikatakan di kolom komentar video ganti layar itu: “Oh, jadi begini, saya juga bisa menulis.”
Jika hari itu benar-benar tiba, aplikasi privasi baru bisa benar-benar memulai narasinya. Apakah itu akan berhasil atau tidak, kita tidak melihat PPT, kita melihat catatan komit GitHub setelah peluncuran mainnet.
