Saya terus kembali ke satu perbedaan dalam bagian konsensus Dusk: iterasi yang tidak menghasilkan blok yang Anda bangun bukan berarti iterasi itu pasti gagal.
Kedengarannya seperti membahas terlalu teknis sampai Anda membaca bagaimana attestation dan fallback saling berinteraksi.
Dalam Succinct Attestation milik Dusk, suara validasi dan ratifikasi dapat menghasilkan sebuah attestation sukses untuk kuorum Valid, atau attestation gagal untuk Invalid, NoCandidate, atau NoQuorum. Tetapi ada keadaan ketiga: unknown, ketika kuorum yang diperlukan tidak teramati.
Bacaan pertama saya menganggap “unknown” pada dasarnya sudah mati. Putaran pun berlanjut, iterasi lain menghasilkan sebuah blok.
Dusk tidak.
Jika sebuah blok diproduksi pada iterasi I > 0, protokol menengok ke belakang. Jika setiap iterasi sebelumnya memiliki attestation gagal, blok tersebut ditandai sebagai attested. Jalur-jalur awal itu tidak bisa lagi mengklaim konsensus di kemudian hari.
Jika bahkan satu iterasi sebelumnya tidak memiliki bukti fail itu, blok tersebut hanya diterima.
Perbedaan itu melakukan lebih banyak pekerjaan daripada yang disarankan oleh label-labelnya.
Aturan fallback Dusk memungkinkan blok dari iterasi yang lebih tinggi digantikan jika blok dari iterasi yang lebih rendah juga mencapai konsensus. Whitepaper mencatat bahwa pesan yang tertunda atau hilang dapat menghasilkan jenis fork seperti ini. Jadi, iterasi awal yang sekadar menjadi sunyi tetap belum terselesaikan.
Rolling finality mengubah ketidakpastian itu menjadi waktu tunggu. Di Dusk, misalkan n adalah jumlah iterasi sebelumnya yang belum ditandai attested. Sebuah blok yang diterima memerlukan 2×n suksesor berturut-turut yang attested atau confirmed sebelum menjadi confirmed. Ia hanya menjadi final setelah confirmed dan parent-nya juga final.
Jadi, Dusk tidak hanya menghitung blok di sini. Ia secara efektif menghitung riwayat yang belum terselesaikan.
Itu membuat attestation gagal menjadi lebih menarik bagi saya. Di Dusk, ia melakukan lebih dari sekadar mengatakan “percobaan ini gagal.” Ia menutup cabang ketidakjelasan. Jika bukti itu hilang, sebagian masa lalu tetap terbuka, dan blok-blok berikutnya harus mengumpulkan cukup bukti sebelum Dusk menganggap rantai sudah mantap.
@Dusk #dusk $DUSK $TMX $TAC
Kedengarannya seperti membahas terlalu teknis sampai Anda membaca bagaimana attestation dan fallback saling berinteraksi.
Dalam Succinct Attestation milik Dusk, suara validasi dan ratifikasi dapat menghasilkan sebuah attestation sukses untuk kuorum Valid, atau attestation gagal untuk Invalid, NoCandidate, atau NoQuorum. Tetapi ada keadaan ketiga: unknown, ketika kuorum yang diperlukan tidak teramati.
Bacaan pertama saya menganggap “unknown” pada dasarnya sudah mati. Putaran pun berlanjut, iterasi lain menghasilkan sebuah blok.
Dusk tidak.
Jika sebuah blok diproduksi pada iterasi I > 0, protokol menengok ke belakang. Jika setiap iterasi sebelumnya memiliki attestation gagal, blok tersebut ditandai sebagai attested. Jalur-jalur awal itu tidak bisa lagi mengklaim konsensus di kemudian hari.
Jika bahkan satu iterasi sebelumnya tidak memiliki bukti fail itu, blok tersebut hanya diterima.
Perbedaan itu melakukan lebih banyak pekerjaan daripada yang disarankan oleh label-labelnya.
Aturan fallback Dusk memungkinkan blok dari iterasi yang lebih tinggi digantikan jika blok dari iterasi yang lebih rendah juga mencapai konsensus. Whitepaper mencatat bahwa pesan yang tertunda atau hilang dapat menghasilkan jenis fork seperti ini. Jadi, iterasi awal yang sekadar menjadi sunyi tetap belum terselesaikan.
Rolling finality mengubah ketidakpastian itu menjadi waktu tunggu. Di Dusk, misalkan n adalah jumlah iterasi sebelumnya yang belum ditandai attested. Sebuah blok yang diterima memerlukan 2×n suksesor berturut-turut yang attested atau confirmed sebelum menjadi confirmed. Ia hanya menjadi final setelah confirmed dan parent-nya juga final.
Jadi, Dusk tidak hanya menghitung blok di sini. Ia secara efektif menghitung riwayat yang belum terselesaikan.
Itu membuat attestation gagal menjadi lebih menarik bagi saya. Di Dusk, ia melakukan lebih dari sekadar mengatakan “percobaan ini gagal.” Ia menutup cabang ketidakjelasan. Jika bukti itu hilang, sebagian masa lalu tetap terbuka, dan blok-blok berikutnya harus mengumpulkan cukup bukti sebelum Dusk menganggap rantai sudah mantap.
@Dusk #dusk $DUSK $TMX $TAC
