Merangkum terobosan di MonadBFT Kemarin Category Labs merilis makalah MonadBFT, yang menjelaskan mekanisme konsensus yang akan menggerakkan Monad di mainnet. MonadBFT merupakan perkembangan signifikan dalam penelitian konsensus karena ini adalah pertama kalinya Piped HotStuff menjadi tahan terhadap tail-forking. Tail-forking terjadi ketika slot yang terlewat menyebabkan proposal sebelumnya dibuang dan ditambang kembali. Ini adalah masalah serius dalam formulasi Pipelined HotStuff sebelumnya karena membuka serangan MEV multi-blok yang mengacaukan konsensus. Meringankan masalah ini adalah masalah besar karena memberi kita semua manfaat dari Pipelined HotStuff - pemblokiran yang sering, latensi rendah, set validator besar - sambil menghindari kelemahan terbesar. MonadBFT juga menawarkan peningkatan besar untuk finalitas. Ini menampilkan finalitas spekulatif slot tunggal (500 ms) dan finalitas keras dua slot (1 detik). "Finalitas spekulatif" berarti "finalitas yang akan dikembalikan hanya jika terjadi keraguan (penandatanganan ganda) oleh mayoritas validator". Keraguan adalah pelanggaran utama di sebagian besar sistem blockchain dan umumnya dihukum dengan pemotongan; semakin besar hukuman untuk keraguan, semakin dekat Anda dapat memikirkan "finalitas spekulatif" ke finalitas. Finalitas spekulatif satu slot adalah pembukaan besar untuk aplikasi berkinerja tinggi, yang dapat dengan percaya diri menampilkan keadaan dunia yang diperbarui segera setelah blok berikutnya diterima. Sifat-sifat ini menjadikan MonadBFT kemajuan besar dalam konsensus, dan pelengkap yang layak untuk peningkatan majemuk lainnya di Monad termasuk Eksekusi Asinkron, Eksekusi Paralel Optimis, dan MonadDb. Sisa artikel ini berfungsi sebagai ringkasan tentang bagaimana perbaikan berturut-turut di HotStuff telah dibangun satu sama lain, untuk menjelaskan masalah yang dipecahkan MonadBFT. Untuk meringkas: 1. HotStuff memberi kita kompleksitas komunikasi linier sehingga kita dapat memiliki set validator yang besar, tetapi tidak terlalu efisien 2. HotStuff yang dipipa memberi kami efisiensi dan latensi rendah dari mengusulkan blok setiap slot, tetapi menderita masalah garpu ekor 3. MonadBFT memberi kita resistensi tail-fork dan finalitas spekulatif satu slot --- HotStuff: Kompleksitas komunikasi linier memungkinkan jumlah node yang besar...