Tezos is a blockchain that evolves by upgrading itself. Token holders vote on amendments to the protocol, including amendments to the governance mechanism to reach social consensus on proposals. Tezos was designed to facilitate formal verification to improve the security of smart contracts and decentralised applications.
Tools that allow writing programs that don’t have bugs. Applicable to contact automation but also critical code in all industries like aerospace, transportation infrastructure, finance, etc.
Automated contracts written in a special language (Michelson) that helps checking they have no bugs.
Technology that allows the secure integration of Tezos with other systems that have less strict security requirements (e.g. banks) without compromising the security of Tezos. Also useful for privacy.
Technology that enables the Tezos network to be upgraded with technological improvements whenever needed
Technology enabling Tezos users to agree on update the network all together and avoid division of the community into incompatible groups (avoid “software version nightmare”)