ZK 赛道迎来拐点：开发编译与后端算力解耦

Tulisan: Haotian

Adopsi skala besar ZK yang nyata selama ini selalu terhambat oleh dua hambatan besar: terlalu sulit untuk ditulis, dan biaya komputasi yang terlalu mahal. Tetapi belakangan ini, ada dua “fungsi langkah” (Step functions) yang akan segera diterapkan di jalur ini, yang berpotensi memperbaiki masalah tersebut:

Satu adalah OpenVM V2 yang akan segera diluncurkan oleh @openvm_org, yang memungkinkan pengembang menulis bisnis menggunakan bahasa umum yang mereka kenal, dan mesin inti secara otomatis akan menerjemahkannya secara stabil menjadi bukti ZK;

Yang lain adalah Auto-precompiles tingkat produksi dari @powdr_labs, yang memungkinkan compiler secara otomatis mengenali operasi kriptografi yang memakan waktu lama, dan langsung mengarahkan ke perangkat keras terbaik untuk diproses, sehingga menghilangkan beban pengembang harus berjuang sendiri dengan optimisasi dasar secara manual.

Kedua terobosan ini setara dengan menyediakan “compiler otomatis” bagi pengembang, dan “pengaman percepatan otomatis”.

Tapi mengapa ini sangat menguntungkan untuk jalur ZK?

Mari kita lakukan analisis logika bisnis agar lebih jelas: karena ketika ambang pengembangan mendekati nol dan aplikasi ZK meledak secara besar-besaran, pasti akan muncul permintaan komputasi bukti (Proving) yang sangat besar. Saat ini, solusi pasar Proving di jalur ZK sudah lebih dulu hadir, tetapi permintaan untuk aplikasi ZK sendiri belum cukup…

Inilah alasan utama mengapa pasar bukti terbuka seperti @boundless_xyz dan sejenisnya sangat menantikan kemajuan teknologi ini. Tanpa kebutuhan penerapan aplikasi ZK secara besar-besaran, dari mana datangnya permintaan komputasi bukti yang melimpah? Dan bagaimana membuktikan keunggulan serta nilai bisnis teknologi ZK Prove sendiri di tengah era ketidakpastian teknologi ini?

Oleh karena itu, kedatangan kedua Step Functions ini sebenarnya sangat penting untuk kemajuan keseluruhan jalur ZK. Karena mereka benar-benar memisahkan pengembangan ZK di front-end dari bukti daya komputasi di back-end, sehingga pengembang front-end dapat fokus mencari skenario aplikasi, sementara pusat daya komputasi di back-end fokus meningkatkan efisiensi dan menekan biaya bukti.

Kemajuan kedua aspek ini secara bersamaan akan benar-benar mendorong ledakan jalur ZK.