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.
Oxford PharmaGenesis and OriginTrail are building a decentralized, AI-ready medical knowledge paranet on the OriginTrail DKG. It will collate and verify data and publications from numerous sources so researchers, healthcare professionals, and patients can access trusted information.
