Tezos

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
Tezos
Denominations
Plural Tezies
Ticker symbol XTZ
Development
Original author(s) Arthur Breitman[2],Kathleen Breitman[2]
White paper "Tezos: A Self-Amending Crypto-Ledger Position Paper"[3]
Initial release 30 June 2018 (5 years ago) (2018-06-30)[1]
Code repository https://gitlab.com/tezos/tezos
Development status Active
Written in OCaml
Operating system Clients available for Linux, macOS, POSIX, Raspbian
License MIT
Website tezos.com
Ledger
Ledger start 17 September 2018 (5 years ago) (2018-09-17)
Timestamping scheme Proof-of-stake (partial hash inversion)
Block explorer tzscan.io

Tezos' is a blockchain project that aims to offer "the world’s first 'self-amending' cryptocurrency"[2].

Its 2017 initial coin offering raised $232 million, the largest for such an offering to that date. The project experienced a management controversy over the use of raised funds that was described by a July 2018 Wired cover story as "the crypto world's biggest scandal" after its resolution.[2]

Tezos launched a Betanet on June 30th 2018[4] which became Mainnet on September 17th 2018[5].

Design

Tezos is a generic and self-amending crypto-ledger which can instantiate any blockchain based ledger. 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 protocols can evolve by amending 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. This is not unlike philosopher Peter Suber’s Nomic, a game built around a fully introspective set of rules.

In addition, Tezos’s seed protocol is based on a pure proof-of-stake system and supports Turing complete smart contracts. Its proof-of-stake approach is novel, because the validator pool grows organically with the growth of the network. It has therefore been called "liquid" proof-of-stake by some. Tezos is implemented in OCaml, a powerful functional programming language offering speed, an unambiguous syntax and semantics, and an ecosystem making Tezos a good candidate for formal proofs of correctness.

See also

References

  1. "Tezos Foundation Announces Beta Launch"
  2. 2.0 2.1 2.2 2.3 Lua error in package.lua at line 80: module 'strict' not found.
  3. "Tezos Resources"
  4. Lua error in package.lua at line 80: module 'strict' not found.
  5. Tezos Foundation, "Tezos Mainnet Is Live", 2018-09-17

External links

<templatestyles src="Asbox/styles.css"></templatestyles>