Tezos

Tezos was founded by the husband-and-wife team of Arthur and Kathleen Breitman, and the Tezos Foundation was founded by Johann Gevers. Arthur studied applied mathematics, computer science, and physics in France and financial mathematics at New York University under Nassim Nicholas Taleb before working in quantitative finance.[10] Kathleen studied at Cornell and worked at a hedge fund and as a consultant.[11] Arthur was the leader of an anarcho-capitalist group in New York and Kathleen was a libertarian Republican who became interested in politics after listening to Rush Limbaugh at age 5; The two of them met at a crypto-anarchist lunch in 2010.[12] Arthur was a follower of Patri Friedman, the founder of The Seasteading Institute, and he learned of Gevers when Friedman hired him for a project to build a libertarian city in Honduras.[10]

While working at Morgan Stanley in 2014, Arthur Breitman released two papers proposing a new type of blockchain under the pseudonym "L. M Goodman", referencing a journalist at Newsweek who had misidentified the creator of Bitcoin.[10] He chose the name "Tezos" after writing a program to list unclaimed websites that could be pronounced in English.[10] In 2015, he registered Dynamic Ledger Solutions Inc (DLS) in Delaware with himself as chief executive.[10] The Breitmans contracted French firm OCamlPro to help develop the software.[10] Arthur worked at Morgan Stanley at the time, but he did not provide them with notice of his work on Tezos as required by the Financial Industry Regulatory Authority (FINRA),[12] and he was eventually fined $20,000.[13] He sought to raise $5 to $10 million from banks but was unable to find backers. By 2016, he left Morgan Stanley; Tezos received $612,000 from 10 backers while the Breitmans planned for an initial coin offering (ICO).[12]

In 2016, Arthur travelled to meet Gevers in Zug, Switzerland, which is known for its effective corporate tax rate of zero and lax regulations.[10] Setting up a Swiss foundation would avoid US securities laws,[14] and in 2017 Gevers created the Tezos Foundation in Zug.[10] At the time, he was also establishing Monetas, his own digital currency.[11] They planned for the foundation to become a non-profit that would raise money through the ICO and acquire DLS, which owned the group's technology.[10] They received a $1.5 million investment from Tim Draper and hired public relations firm Strange Brew to promote their project.[12] The firm was alleged to have falsely claimed that large American financial firms were using Tezos.[10][15]

The primary protocol of Tezos utilizes liquid proof of stake (LPoS) and supports Turing-complete smart contracts in a domain-specific language called Michelson. Michelson is a purely functional stack-based language with a reduced instruction set and no side effects, designed with formal verification in mind.[21][22][23][24]

In Tezos' LPoS model, network nodes that validate blocks and add them to the blockchain – known as bakers – are selected to perform those actions proportionally to their share of rolls of 8,000 XTZ that they put up for stake, and a baker receives staking rewards in the form of newly minted XTZ after successfully validating a block and adding it to the blockchain.[25] Holders of XTZ can delegate their XTZ to bakers to share in the staking rewards that bakers receive.[25] Holders of XTZ who do not stake or delegate their XTZ risk suffering a loss in value due to inflation as new XTZ are created and distributed to bakers for validating new blocks and adding them to the blockchain. The current annual inflation rate is 3.6%.[25] As of January 2021, nearly 80% of all XTZ in circulation were either directly staked by bakers or delegated to bakers for staking.[9]

The Tezos protocol allows itself to be amended by a staged process performed by committing operations to the stored blockchain to submit proposals (intended code changes) and to vote on those changes. If a proposal receives enough votes the protocol updates itself to incorporate the code changes.[26]

The Tezos blockchain has been used for NFTs as an alternative to more energy-intensive projects, such as Ethereum.[27]

1. FA1.2 (TZIP-7)
   • An ERC20-like fungible token standard for Tezos. At its core, FA1.2 contains a ledger which maps identities to token balances, providing a standard API for token transfer operations, as well as providing approval to external contracts (e.g. an auction) or accounts to transfer a user's tokens.[28]
2. FA2 (TZIP-12)
   • A standard for a unified token contract interface, supporting a wide range of token types and implementations.[29]
   • Tokens might be fungible or non-fungible.[29]
   • A token contract can be designed to support a single token type (e.g. ERC-20 or ERC-721) or multiple token types (e.g. ERC-1155) to optimize batch transfers and atomic swaps of the tokens.[30]
3. TZIP-16
   • A standard for accessing contract metadata in JSON format in on-chain storage or off-chain using IPFS or HTTP(S).[31]

In March 2019, the audit company Least Authority published the results of five audits, performed for Tezos Foundation during 2018.[32]

With high probability, Tezos protects against chain reorganizations and selfish-baking,[33] which are two common issues in blockchains using Nakamoto-style consensus.[34] A subsequent analysis confirms that selfish baking in Tezos results in insignificant profits, even when the baker attempting it has a very large portion of the stake. One study revealed a potential flaw in the current consensus proof of stake mechanism that Tezos uses, providing a theoretical analysis of the feasibility and profitability of a block stealing attack referred to as "selfish endorsing". A change to the protocol was proposed to reduce the profitability of this dishonest behavior.[35]

• Official website