Bagian 5 dari "Dari 0 Pengetahuan ke Pengetahuan Nol" sudah ditayangkan. Bagaimana kode sebenarnya dapat dibuktikan? Apa itu zkVM dan mengapa itu penting? 🧵

Sistem bukti ZK bekerja dengan persamaan matematika. Pengembang menulis kode. Menjembatani kesenjangan itu dulunya membutuhkan penulisan sirkuit aritmatika dengan tangan. Kuat, tetapi hanya para ahli yang bisa melakukannya. zkVM mengubah ini. Tulis Karat normal, dapatkan bukti. Tidak diperlukan keahlian sirkuit.

Pikirkan bagaimana pengembangan AI berkembang. Sebelum TensorFlow, Anda perlu menulis kode GPU tingkat rendah. Hanya spesialis yang dapat membangun jaringan saraf. Kerangka kerja mengabstraksi kompleksitasnya. Jutaan pengembang mengikuti. zkVM melakukan hal yang sama untuk pengetahuan nol.

Tidak semua zkVM sama. Setiap tim membuat pilihan arsitektur berdasarkan apa yang mereka optimalkan. Beberapa memprioritaskan transparansi. Beberapa memprioritaskan verifikasi on-chain yang murah. Beberapa memprioritaskan pembuktian kecepatan. Anda tidak dapat mengoptimalkan untuk semuanya. Tradeoff tidak dapat dihindari.