Tezos Foundation, the Swiss maker of a decentralized blockchain that facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of smart contracts, announced a $50m venture capital commitment.