Kemajuan yang dibuat oleh @SuccinctLabs dan @RiscZero menuju pembuktian waktu nyata sangat mengesankan. QT-ing bukan untuk kritis tetapi karena saya pikir pertanyaan-pertanyaan ini sangat menarik (dan saya ingin melihat RTP mengenai Ethereum!). 1. Membuktikan semua blok Ethereum historis dalam waktu 12 detik tidak cukup untuk menutupi waktu pembuktian kasus terburuk. Ini penting karena ada kemungkinan blok patologis ("prover-killer") di mana biaya pembuktian >> biaya gas (biaya pembuktian adalah ukuran latensi atau $). Langkah pertama adalah membuktikan semua blok historis dalam waktu 12 detik. Tapi ini tidak cukup. Kita perlu bekerja untuk mengidentifikasi kasus patologis yang belum muncul di Ethereum. Tidak yakin berapa jadwal biaya untuk SP1, tetapi sesuatu seperti seluruh blok yang penuh dengan extcodehash bisa mahal dalam hal latensi. 2. Verifikasi Formal juga perlu mencakup compiler 😱 @argumentxyz memiliki artikel yang bagus tentang frekuensi di mana bug kompiler ditemukan ( tl; dr ada kelas tertentu dari "bug pengoptimalan yang salah" yang berpotensi dapat dieksploitasi di zkVM untuk menciptakan masalah kesehatan. Serangga ini cukup sering ditemukan. @drakefjustin berpendapat bahwa kita dapat menyiasatinya dengan banyak implementasi zkVM. Tetapi itu tidak berhasil jika zkVM tersebut berbagi toolchain kompiler yang sama dan rentan terhadap bug yang sama. 3. Pembuktian di rumah tidak diperlukan Saya pikir saya setuju bahwa pembuktian di rumah tidak diperlukan. Kami sudah mengandalkan aktor ekstra-protokol seperti pembangun untuk membangun blok. Jaminan yang kami inginkan adalah bahwa *seseorang* selalu tersedia untuk menghasilkan bukti. Menunda RTP untuk skenario WW3 di mana semua provers offline sepertinya berlebihan. Mungkin dalam skenario ini, Ethereum dapat default kembali ke mode di mana batas gas berkurang dan blok dieksekusi kembali dengan ZKP. 4. 100x-ing batas gas dapat menimbulkan masalah Pembuktian paralel pasti membantu, tetapi waktunya sangat ketat sehingga kita perlu mempertimbangkan pembuatan saksi (tidak dapat diparalelkan di banyak zkVM) dan rekursi. Overhead rekursi harus diskalakan secara logaritma, tetapi jika batas gas meningkat 100x, waktu pembuktian dapat melebihi waktu blok. Bonus - Saya berpendapat bahwa sangat penting bagi Ethereum untuk mengurangi waktu blok dan waktu hingga finalitas, untuk membantu pengguna onboard ke L2, menjembatani dari CEX, dll. Ini meningkatkan tuntutan latensi untuk membuktikan. Ini akan menjadi suboptimal jika kita tidak dapat beralih ke waktu blok 1s karena batas bawah pada latensi RTP terburuk adalah 10 detik.