The operations of a regular blockchain are implemented as a purely functional module abstracted into a shell responsible for network operations. Bitcoin, Ethereum, Cryptonote, etc. Can all be represented within Tezos by implementing  the proper interface to the network layer. most importantly, Tezos supports meta upgrades: the protocos can evolve byamending their own code. To achieve this, Tezos begins with a seed protocol defining a procedure for stakeholders  to approve amendments to the protocol, including  amendments to the voting procedure itself. In addition, Tezos’s seed protocol is based on  a pure proof-of-stake system and supports Turing  complete smart contracts. Tezos is implemented in OCaml, a powerful functional programming language offering speed, an unambiguous syntax and semantic, and an ecosystem making Tezos a good candidate for formal proofs of correctness