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.
The Web3 Foundation has announced the fourth cohort of Web3 Foundation Decentralized Voices delegates. Six delegations will receive voting power of 5M DOT on Polkadot and 30K KSM for a four-month term starting on April 14th. Notably absent are three-time delegates Saxemberg and ChaosDAO, as the foundation selected this cohort with a preference for candidates that haven鈥檛 been nominated multiple times before. The delegates for cohort 4 are: Hungarian Polkadot DAO JAM Implementers DAO KusDAO PermanenceDAO Polkaworld Trustless Core
