MLabs has received a Decentralized Futures grant from the Web3 Foundation. They are tasked with providing the formal verification of GRANDPA, using mathematical proofs to ensure the security and reliability of the protocol.