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.
David Sedacca (Polkadot Capital Group) participated in a panel at InnovateDenver on February 18th, exploring the shift from speculation to utility in the crypto market.