Pengumuman pembuktian real-time kemarin adalah tonggak sejarah besar, dan @VitalikButerin memunculkan beberapa poin bagus tentang pekerjaan lebih lanjut yang akan diperlukan. TAPI saya pikir kita lebih dekat pada semua poin ini daripada yang mungkin disadari orang... 1. Pembuktian real-time terburuk dapat diselesaikan dengan perubahan sederhana pada jadwal gas Ethereum: Saat ini, ~94% blok dapat dibuktikan dalam < 12 detik, 99% blok dapat dibuktikan dalam < 13 detik. Untuk outlier yang tersisa, penyesuaian sederhana pada jadwal gas Ethereum sudah cukup (saat ini prakompilasi bn254, bls12-381 dihargai terlalu rendah relatif terhadap biaya pembuktiannya). Selain itu, EIP yang membatasi penggunaan gas maksimum dari satu transaksi akan membantu memastikan tidak ada vektor DDOS (karena kami membuktikan subblok transaksi secara paralel untuk mencapai latensi rendah kami). 2. Verifikasi Formal untuk SP1 sudah berlangsung: Nyaman, kami telah menerima 2 pengumuman dalam seminggu terakhir tentang verifikasi formal untuk SP1, bekerja dengan @NethermindEth dan @VeridiseInc! Kami memiliki garis pandang yang jelas untuk memverifikasi secara resmi semua AIR inti kami selama beberapa bulan ke depan. 3. Pembuktian di rumah tidak diperlukan dengan jaringan pembuktian terdesentralisasi: Saat ini RTP membutuhkan ~160 GPU, yang sangat kecil untuk pusat data apa pun tetapi mungkin sedikit besar untuk pengaturan di rumah. Namun, dengan peluncuran jaringan pembuktian terdesentralisasi yang akan datang, saya tidak yakin kita perlu bertujuan untuk membuktikannya di rumah. Jaringan akan memberi insentif secara ekonomi bahwa selalu ada penyedia online yang siap untuk membuktikan secara real-time. 4. Pembuktian subblok paralel berarti 100x-ing batas gas tidak masalah untuk latensi: Saya mendukung 100x-ing batas gas dan ini tidak akan menjadi masalah bagi kami. Implementasi pembuktian real-time kami menggunakan pendekatan subblok, di mana kami mengambil blok dan memecahnya menjadi subblok yang lebih kecil dari beberapa transaksi. Subblok ini dibuktikan secara paralel, dan kemudian dikumpulkan menjadi 1 bukti di bagian akhir. Bahkan jika batas gas meningkat 100x, kita masih dapat memparalelkan pembuktian subblok (hanya ada lebih banyak), yang berarti latensi tidak akan terpengaruh. Percaya pada sesuatu yang nyata. Percaya pada pembuktian waktu nyata.