Tezos

Tezos is an open-source platform for assets and applications that can evolve and upgrade itself without having to split the network. It uses a proof-of-stake consensus mechanism and allows for formal verification to increase security. Users can participate in the consensus process by "baking", or they can delegate their rights to other users. Arthur Breitman and Kathleen Breitman are the two main creators of Tezos, and a group of developers and researchers have joined them to create the platform.