Dokumen yang sangat penting. Mari kita bahas satu "tujuan" ini pada satu waktu. Kita akan mulai dengan slot cepat dan finalitas cepat. Saya berharap kita akan mengurangi waktu slot secara bertahap, misalnya. Saya suka rumus "sqrt(2) sekaligus" (12 -> 8 -> 6 -> 4 -> 3 -> 2, meskipun dua langkah terakhir lebih spekulatif dan bergantung pada penelitian berat). Dimungkinkan untuk pergi lebih cepat atau lebih lambat di sini; Tetapi tingkat tingginya adalah kita akan melihat waktu slot sebagai parameter yang kita sesuaikan saat kita yakin itu aman, mirip dengan target blob. Slot cepat berada di jalur mereka sendiri di bagian atas peta jalan, dan tampaknya tidak benar-benar terhubung ke apa pun. Ini karena sisa peta jalan cukup independen dari waktu slot: kita perlu melakukan hal yang kira-kira sama apakah waktu slot adalah 2 detik atau 32 detik Ada beberapa area persimpangan. Salah satunya adalah peningkatan p2p. @raulvk baru-baru ini mengerjakan lapisan p2p yang dioptimalkan untuk Ethereum, yang menggunakan pengkodean penghapusan untuk sangat meningkatkan batas tradeoff bandwidth/latensi. Secara kasar: dalam desain saat ini, setiap node menerima bodi blok penuh dari beberapa rekan, dan dapat menerima dan menyiarkannya ulang segera setelah menerima yang pertama. Jika "lebar" (jumlah rekan yang mengirimi Anda blok) rendah, maka satu rekan yang buruk dapat sangat menunda saat Anda menerima blok. Jika lebar tinggi, ada banyak overhead data yang tidak diperlukan. Dengan pengkodean penghapusan, Anda dapat memilih pengaturan k-of-n, misalnya: membagi setiap blok menjadi 8 bagian sehingga dengan 4 di antaranya Anda dapat merekonstruksi blok penuh. Ini memberi Anda banyak manfaat redundansi dari lebar tinggi, tanpa overhead. Kami memiliki statistik yang menunjukkan bahwa arsitektur ini dapat sangat mengurangi waktu propagasi blok persentil ke-95, membuat slot yang lebih pendek layak tanpa pengorbanan keamanan (kecuali peningkatan kompleksitas protokol, meskipun di sini rasio kinerja-gain-to-line-of-code cukup menguntungkan) Area persimpangan lainnya adalah struktur slot yang lebih kompleks yang dilengkapi dengan ePBS, FOCIL, dan aturan konfirmasi cepat. Ini memiliki manfaat penting, tetapi mereka mengurangi latensi aman maksimum dari slot/3 ke slot/5. Ada penelitian yang sedang berlangsung untuk mencoba menyalurkan hal-hal dengan lebih baik untuk meminimalkan kerugian (perhatikan juga: waktu slot dibatasi lebih rendah tidak hanya oleh latensi slot, tetapi juga oleh bagian biaya tetap dari latensi pembuktian ZK), tetapi ada beberapa pengorbanan di sini. Salah satu cara yang kami jelajahi untuk mengimbangi ini adalah dengan mengubah ke arsitektur di mana hanya ~256-1024 attester yang dipilih secara acak yang menandatangani di setiap slot. Untuk fungsi pilihan garpu (non-finalisasi), ini sudah cukup. Jumlah tanda tangan yang lebih kecil memungkinkan kita menghapus fase agregasi, mempersingkat slot. Finalitas cepat lebih kompleks (protokol pamungkas IMO lebih sederhana daripada status quo Gasper, tetapi jalur perubahannya kompleks). Saat ini, finalitas memakan waktu rata-rata 16 menit (slot 12 detik * 32 epoch slot * 2,5 epoch). Tujuannya adalah untuk memisahkan slot dan finalitas, jadi izinkan kami untuk bernalar tentang keduanya secara terpisah, dan kami bertujuan untuk menggunakan algoritma BFT satu putaran finalitas (varian Minimmit) untuk menyelesaikannya. Jadi waktu finalitas akhir permainan mungkin misalnya. 6-16 detik. Karena ini adalah serangkaian perubahan yang sangat invasif, rencananya adalah untuk menggabungkan langkah terbesar dalam setiap perubahan dengan peralihan kriptografi, terutama ke tanda tangan berbasis hash pasca-kuantum, dan ke hash yang ramah STARK secara maksimal (ada tiga kemungkinan respons terhadap serangan Poseidon2 baru-baru ini: (i) meningkatkan jumlah putaran atau memperkenalkan tindakan penanggulangan lain seperti lapisan Monolith, (ii) kembali ke Poseidon1, yang bahkan lebih lindy daripada Poseidon2 dan belum melihat kekurangan, (iii) gunakan BLAKE3 atau hash "konvensional" yang sangat murah lainnya. Semua sedang diteliti). Selain itu, ada rencana untuk memperkenalkan banyak dari perubahan ini sepotong demi sepotong, misalnya. "Finalitas 1 zaman ini" berarti kita menyesuaikan konsensus saat ini untuk berubah dari finalisasi gaya FFG ke finalisasi gaya Minimmit. Salah satu lintasan waktu finalitas yang mungkin adalah: 16 menit (hari ini) -> 10m40 detik (slot 8 detik) -> 6 menit 24 detik (finalitas satu zaman) -> 1 menit 1 detik (8 slot zaman, 6 detik slot) -> 48 detik (4 detik) -> 16 detik (minimal) -> 8 detik (minimit dengan parameter yang lebih agresif) Salah satu konsekuensi menarik dari pendekatan inkremental adalah bahwa ada jalur untuk membuat slot tahan kuantum jauh lebih cepat daripada membuat finalitas tahan kuantum, jadi kita mungkin dengan cepat sampai ke rezim di mana, jika komputer kuantum tiba-tiba muncul, kita kehilangan jaminan finalitas, tetapi rantai terus berjalan. Ringkasan: perkirakan untuk melihat penurunan progresif dari waktu slot dan waktu finalitas, dan berharap untuk melihat perubahan ini terjalin dengan penggantian komponen demi komponen gaya "kapal Theseus" dari struktur slot Ethereum dan konsensus dengan alternatif yang lebih bersih, lebih sederhana, tahan kuantum, ramah prover, dan diverifikasi secara formal secara menyeluruh.