Prove AI (formerly known as CasperLabs) is a company that develops an open-source blockchain platform intended for the blockchain. Its platform is designed correctly by construction.