1/ Waspadalah terhadap hype: sementara SNARK dan zkVM menunjukkan janji yang sangat besar, mereka belum siap untuk penerapan yang kompleks dan berisiko tinggi. Bug ada di mana-mana, verifikasi formal baru lahir, dan bukti bisa ratusan ribu kali lebih lambat daripada eksekusi asli.

2/ Saya baru saja menerbitkan posting yang menguraikan peta jalan terstruktur untuk pengembangan zkVM. Ini memisahkan "tahapan keamanan" dari "tahapan kecepatan", memberi kita cara yang transparan untuk melacak kemajuan. Baca disini:

3/ Tentang keamanan, saya mengidentifikasi tiga tahap untuk verifikasi formal: • Protokol terverifikasi • Verifikator terverifikasi • Bukti terverifikasi Sampai kita mencapai Tahap 2, kita tidak bisa benar-benar menyebut zkVM "aman"—dan sampai ke sana kemungkinan masih beberapa tahun lagi.

4/ Pada kinerja, overhead versus eksekusi asli masih melebihi 100.000×—non-starter untuk sebagian besar kasus penggunaan. Posting saya mengusulkan lima "tahap kinerja" untuk memangkas overhead itu dengan urutan besarnya dan akhirnya memungkinkan bukti di perangkat.

5/ Yang terpenting, kita harus mengisolasi efisiensi mendasar sistem pembuktian. Saat ini, banyak tolok ukur menggabungkan semuanya—sistem bukti, teknik, peningkatan perangkat keras, dan prakompilasi yang disetel dengan tangan—ke dalam satu angka garis atas, mengaburkan di mana kita sebenarnya berdiri.

6/ Jadi ya, zkVM dan SNARK memiliki potensi yang sangat besar, tetapi kita menggoda bencana jika kita berpura-pura mereka siap untuk prime time. Saya akan menggunakan tahapan ini untuk melacak kemajuan zkVM di tahun-tahun mendatang—dan berharap yang lain juga akan melakukannya. Lihat posting saya di sini: