Formal modeling and verification of GRANDPA finalization safety in polkadot
Abstract Polkadot enhances its security and reliability through the GRANDPA(GHOST-based Recursive Ancestor Deriving Prefix Agreement) finalization protocol, which provides deterministic and irreversible block finalization via structured validator voting rounds. Finality is a fundamental component of...
Guardat en:
| Autors principals: | , , , , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Nature Portfolio
2026-05-01
|
| Col·lecció: | Scientific Reports |
| Matèries: | |
| Accés en línia: | https://doi.org/10.1038/s41598-026-51047-3 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|