.@MLabs10, the Polkadot core contributor + DF grantee, is delivering formal verification for the GRANDPA protocol to ensure the security and reliability of the Relay Chain ✅
GHOST-based Recursive ANcestor Deriving Prefix Agreement (GRANDPA) is a key component of Polkadot's consensus mechanism. It allows asynchronous, accountable, and safe finality.
MLabs, with its valuable experience from the Cardano ecosystem, is taking a three-pronged approach to this initiative:
🔹 Preamble - initial structuring and splitting of proofs into more manageable lemmas
🔹 Safety - proving the safety of the GRANDPA protocol, ensuring it functions without causing harm to the network
🔹 Liveness - ensuring the protocol continues to operate effectively under all conditions
👉 Follow @MLabs10 and check out @Web3foundation's announcement for more info.