X

Feedback + Support

Need Assistance? Notice something missing or broken? Let us know!

Press esc to dismiss

project icon for tezzies

Tezos

XTZ
$1.42
-6.94%
Negative delta icon

Tezos is a liquid proof-of-stake smart contract platform that features formalized blockchain governance and enables formal verification for smart contracts.

Overview

Project Stage

Live status icon

Amount Raised

$234,000,000.00

Market Cap

$992MM

Sector

Smart Contract Platform

Blockchain

Native token icon

Tezos

Funding Source

Token Sale

Project Profile

Tezos is a liquid proof-of-stake smart contract platform focusing on formalizing blockchain governance and enabling formal verification for smart contracts, which provides certain mathematical guarantees that a smart contract does what it is programmed to do. Tezos’ on-chain governance processes is designed to be broad in scope, allowing token holders to alter any parameter of the protocol, including the ledger operations, consensus algorithm, and governance model. This is intended to allow the protocol to remain flexible and adapt with changing technology based on token holder’s interests—thus addressing a perceived problem with Bitcoin and other cryptoassets, where miners, validators, or other stakeholders can exert outsized influence on protocol direction. Tezos describes its governance as 'self-amending,' because stakeholder approved protocol changes are implemented automatically.

Tezos’ founding is a tale of controversial fundraising, a sensational raise, organizational infighting, and lawsuits. Co-founded by Arthur and Kathleen Breitman, Tezos raised $232 million during its 2017 token sale. Criticism surrounding the token sale includes:

  • In its Terms of Allocation, contributions are described as ‘non-refundable donations’, with sale participants waiving the right to class action lawsuits. The attempt to cast token sale participants as ‘donors’, with the implicit goal of avoiding securities regulation, was not unique to Tezos, though it did seem like the starkest version of double-speak during the 2017 ICO boom.
  • The supply of tokens, XTZ or ‘tezzies’, was not released to sale participants till June 2018, nearly a year later from end of sale, and introduced new KYC requirements to retrieve previously purchased tokens.
  • The process for claiming purchased tokens was perceived by some as onerous, and included several items easily misplaced, such as the token sale contribution, seed phrase, token sale user password, user public key, and the activation code received from KYC completion.
  • Internal disagreements and lawsuits also led to delays in betanet launch and release of development funds, and the project faces SEC scrutiny.

Despite this friction, the mainet launched as of September 2018.

Project Details

Tezos is a platform that, like Ethereum, supports Turing complete smart contracts, yet differs from Ethereum in its consensus algorithm, governance mechanisms, and smart contract programming languages. Tezos major features include a liquid proof-of-stake consensus algorithm, on-chain governance and native funding, formal verification for smart contracts, and a zero knowledge proof scaling solution.

Consensus Algorithm

For consensus, Tezos uses a variation of proof of stake dubbed ‘liquid proof-of-stake’, which is designed to lower barriers to entry for validators. Liquid proof-of-stake differs from delegated proof-of-stake in that delegation is optional (anyone can become a delegate that contributes to consensus directly by delegating themselves), that validation requires modest computing power, and that the set of validators is dynamic, not fixed. Users also have the option of delegating their tokens to others, who perform the work of validating the network state. In addition to acting as a full consensus node, ‘bakers’, Tezos' equivalent to miners, can become signatories and earn rewards for signing completed blocks. Right to bake is determined when owned tokens are randomly selected to create blocks, with baking additionally requiring the baker to freeze tokens in a dynamically set bond, forfeitable upon malicious behavior.

Tezos additionally uses checkpoints: hashes of the blockchain’s state stored outside of the blockchain itself. These checkpoints are read by the nodes (usually hardcoded into the client software) to validate the current blockchain up to that point. Checkpoints limit the window in which attacks on the network can take place— an attacker who wanted to fork the network would need to build up an alternate chain and push it to the network between two checkpoints hashing events. Despite this, checkpoints are controversial because they are considered a form of centralization, as they are stored off-chain and managed by the foundation.

Onchain governance and native funding

Tezos’ governance is self-described as ‘broad scope’ by design, meaning that the ledger’s operations, consensus algorithm, and governance model are designed to be revisable in light of reasons and evidence. In practice, Tezos has governance processes for funding protocol development, making and incorporating protocol changes, and for determining participation in network consensus. Participation in Tezos’ governance processes is tied to token holdings: tezos token holders can delegate tokens, influencing who participates in consensus and governance as a baker, and bakers can propose and vote on development proposals or protocol amendments.

Formal Verification

Tezos attempts to simplify formal verification for smart contracts. The team invented Michelson (described as a mix between Forth and Lisp), a purely functional programming language, for its smart contracts. Tezos itself is implemented in OCaml. OCaml is primarily a functional language popularized in the financial industry by the hedge fund Jane Street.

Formal verification provides certain mathematical guarantees that a smart contract does what it is programed to do. This typically involves creating an abstract mathematical model of the smart contract that can be proved to be equivalent to the specifications provided. By doing so, one can establish an equivalence between the smart contract and the specifications, so that as far as the specifications are accurate, the smart contract will also be accurate. This eliminates many common forms of bugs in smart contracts. However, that does not mean that the smart contract will behave as ‘expected’ — just that the contract will be consistent with what is expressed in the formal verification.

Long Term Scalability

For long term blockchain scalability, Tezos plans to implement Zcash’s zero knowledge proof protocol, with a few minor revisions. Tezos’ proposed method separates the execution of a smart contract and its verification by the consensus nodes. The smart contract’s actual execution is done on specialized servers, so is in respects executed in a more centralized manner, but with the consensus nodes verifying that the execution is indeed valid, based on the proof submitted to them.

This method greatly reduces the load on consensus nodes, as they only verify the proof and do not need to execute the entire smart contract. This also preserves the decentralization property of the smart contracts, since the consensus nodes would reject any invalid execution being presented to them by a malicious actor. Tezos plans to eventually switch to the STARKs protocol, which is similar to SNARKs but is less resource intensive and does not require trusted setup. More information about Tezos’ approach to scaling can be found in their blog post.

Asset Details

The Tezos token, XTZ, is the native blockchain token for Tezos. XTZ’s functions are somewhat analogous to Ethereum’s ETH: XTZ will be a store of value, the sole means of paying transaction fees, and payment for smart contract execution. The token is also used to determine who participates in both the liquid proof of stake consensus and governance process, with token holders able to delegate tokens to determine who acts as a baker, and to provide validator oversight, with bakers staking tokens forfeitable upon malicious behavior. The overall token supply increases at a 5.4% emission rate each year, subject to change by vote.

project icon for tezzies

Tezos

XTZ
$1.42
-6.94%
Negative delta icon

Tezos is a liquid proof-of-stake smart contract platform that features formalized blockchain governance and enables formal verification for smart contracts.

Overview

STATUS

MARKET CAP

BLOCKCHAIN

TOKEN TYPE

Live status icon
Live
$992MM
Native token icon

Tezos

N/A

FUNDING SOURCE

AMOUNT RAISED

SECTOR

Token Sale

$234MM

Smart Contract Platform

Project Profile

Tezos is a liquid proof-of-stake smart contract platform focusing on formalizing blockchain governance and enabling formal verification for smart contracts, which provides certain mathematical guarantees that a smart contract does what it is programmed to do. Tezos’ on-chain governance processes is designed to be broad in scope, allowing token holders to alter any parameter of the protocol, including the ledger operations, consensus algorithm, and governance model. This is intended to allow the protocol to remain flexible and adapt with changing technology based on token holder’s interests—thus addressing a perceived problem with Bitcoin and other cryptoassets, where miners, validators, or other stakeholders can exert outsized influence on protocol direction. Tezos describes its governance as 'self-amending,' because stakeholder approved protocol changes are implemented automatically.

Tezos’ founding is a tale of controversial fundraising, a sensational raise, organizational infighting, and lawsuits. Co-founded by Arthur and Kathleen Breitman, Tezos raised $232 million during its 2017 token sale. Criticism surrounding the token sale includes:

  • In its Terms of Allocation, contributions are described as ‘non-refundable donations’, with sale participants waiving the right to class action lawsuits. The attempt to cast token sale participants as ‘donors’, with the implicit goal of avoiding securities regulation, was not unique to Tezos, though it did seem like the starkest version of double-speak during the 2017 ICO boom.
  • The supply of tokens, XTZ or ‘tezzies’, was not released to sale participants till June 2018, nearly a year later from end of sale, and introduced new KYC requirements to retrieve previously purchased tokens.
  • The process for claiming purchased tokens was perceived by some as onerous, and included several items easily misplaced, such as the token sale contribution, seed phrase, token sale user password, user public key, and the activation code received from KYC completion.
  • Internal disagreements and lawsuits also led to delays in betanet launch and release of development funds, and the project faces SEC scrutiny.

Despite this friction, the mainet launched as of September 2018.

Project Details

Tezos is a platform that, like Ethereum, supports Turing complete smart contracts, yet differs from Ethereum in its consensus algorithm, governance mechanisms, and smart contract programming languages. Tezos major features include a liquid proof-of-stake consensus algorithm, on-chain governance and native funding, formal verification for smart contracts, and a zero knowledge proof scaling solution.

Consensus Algorithm

For consensus, Tezos uses a variation of proof of stake dubbed ‘liquid proof-of-stake’, which is designed to lower barriers to entry for validators. Liquid proof-of-stake differs from delegated proof-of-stake in that delegation is optional (anyone can become a delegate that contributes to consensus directly by delegating themselves), that validation requires modest computing power, and that the set of validators is dynamic, not fixed. Users also have the option of delegating their tokens to others, who perform the work of validating the network state. In addition to acting as a full consensus node, ‘bakers’, Tezos' equivalent to miners, can become signatories and earn rewards for signing completed blocks. Right to bake is determined when owned tokens are randomly selected to create blocks, with baking additionally requiring the baker to freeze tokens in a dynamically set bond, forfeitable upon malicious behavior.

Tezos additionally uses checkpoints: hashes of the blockchain’s state stored outside of the blockchain itself. These checkpoints are read by the nodes (usually hardcoded into the client software) to validate the current blockchain up to that point. Checkpoints limit the window in which attacks on the network can take place— an attacker who wanted to fork the network would need to build up an alternate chain and push it to the network between two checkpoints hashing events. Despite this, checkpoints are controversial because they are considered a form of centralization, as they are stored off-chain and managed by the foundation.

Onchain governance and native funding

Tezos’ governance is self-described as ‘broad scope’ by design, meaning that the ledger’s operations, consensus algorithm, and governance model are designed to be revisable in light of reasons and evidence. In practice, Tezos has governance processes for funding protocol development, making and incorporating protocol changes, and for determining participation in network consensus. Participation in Tezos’ governance processes is tied to token holdings: tezos token holders can delegate tokens, influencing who participates in consensus and governance as a baker, and bakers can propose and vote on development proposals or protocol amendments.

Formal Verification

Tezos attempts to simplify formal verification for smart contracts. The team invented Michelson (described as a mix between Forth and Lisp), a purely functional programming language, for its smart contracts. Tezos itself is implemented in OCaml. OCaml is primarily a functional language popularized in the financial industry by the hedge fund Jane Street.

Formal verification provides certain mathematical guarantees that a smart contract does what it is programed to do. This typically involves creating an abstract mathematical model of the smart contract that can be proved to be equivalent to the specifications provided. By doing so, one can establish an equivalence between the smart contract and the specifications, so that as far as the specifications are accurate, the smart contract will also be accurate. This eliminates many common forms of bugs in smart contracts. However, that does not mean that the smart contract will behave as ‘expected’ — just that the contract will be consistent with what is expressed in the formal verification.

Long Term Scalability

For long term blockchain scalability, Tezos plans to implement Zcash’s zero knowledge proof protocol, with a few minor revisions. Tezos’ proposed method separates the execution of a smart contract and its verification by the consensus nodes. The smart contract’s actual execution is done on specialized servers, so is in respects executed in a more centralized manner, but with the consensus nodes verifying that the execution is indeed valid, based on the proof submitted to them.

This method greatly reduces the load on consensus nodes, as they only verify the proof and do not need to execute the entire smart contract. This also preserves the decentralization property of the smart contracts, since the consensus nodes would reject any invalid execution being presented to them by a malicious actor. Tezos plans to eventually switch to the STARKs protocol, which is similar to SNARKs but is less resource intensive and does not require trusted setup. More information about Tezos’ approach to scaling can be found in their blog post.

Asset Details

The Tezos token, XTZ, is the native blockchain token for Tezos. XTZ’s functions are somewhat analogous to Ethereum’s ETH: XTZ will be a store of value, the sole means of paying transaction fees, and payment for smart contract execution. The token is also used to determine who participates in both the liquid proof of stake consensus and governance process, with token holders able to delegate tokens to determine who acts as a baker, and to provide validator oversight, with bakers staking tokens forfeitable upon malicious behavior. The overall token supply increases at a 5.4% emission rate each year, subject to change by vote.

Recent News

Bison Trails announce $5.25 million seed funding round involving Mark Novogratz (Galaxy Digital) for a staking-as-a-service initiative allowing users to smooth user experience when staking on Livepeer, Decred, Tezos and in the future others including Cosmos, Polkadot and EOS

March 19, 2019

Sources:

more

InfStones, a startup focused on staking solutions/services, raises $2 million from investors including Danhua VC and Plug and Play Ventures; the company holds some $450 million of staked EOS tokens and produces blocks for several blockchains including TRON, Cosmos and Tezos

May 16, 2019

Sources:

moreCoinDesk

Tezos completes its first protocol upgrade through a token holder vote, with over 80% of staked XTZ participating in a vote that decreased minimum staking requirements from 10k to 8k XTZ and increases computation limits on blocks

May 30, 2019

Sources:

moreCoinDesk
Show projects Article List
Sort icon: direction descending
Project Added as Signal
1d
Nexus Mutual is a blockchain-based, protocol-enabled mutual insurance fund operating on Ethereum and owned entirely by its members, who buy into the fund by purchasing NXM tokens.
Project Added as Signal
30d
Gods Unchained is a decentralized trading card game that uses the ERC-721 non-fungible token standard to establish on-chain ownership of cards to be used in off-chain gameplay.
Project Added as Signal
39d
Synthetix is a decentralized synthetic asset issuance protocol consisting of an Ethereum-based smart contract, an exchange, and a dApp to facilitate smart contract interaction.
project icon for zrx
ZRX
Profile Updated
45d
Update on 0x v3, including protocol fees, staking incentives, and liquidity pooling with Uniswap, Kyber, and Oasis.
No icon fallback
LUNA
Project Added as Signal
53d
Terra is an algorithmically-governed, seigniorage share style stablecoin blockchain platform to which a collection of fiat-pegged tokens and a stabilizing cryptoasset, Luna, are native.
Profile Updated
70d
Stellar Development Foundation burns 55 billion XLM from its reserves, over half of the total supply, and removes the ongoing inflation to current token holders. The SDF had previously earmarked these tokens for community airdrops and ongoing organization funding.
Project Added as Signal
85d
Nervos is a public, PoW-based smart contract platform that utilizes off-chain computation in service of transaction scalability and implements a unique token emissions mechanic that imposes a perpetual cost for on-chain data storage.
Profile Updated
96d
Supply Information added.
project icon for beam
BEAM
Profile Updated
99d
Supply Information added.
project icon for grin
GRIN
Profile Updated
99d
Supply Information added.
Profile Updated
102d
Supply Information added.
Profile Updated
102d
Supply Information added.
project icon for siacoin
SC
Profile Updated
102d
Mining Information added.
project icon for dash
DASH
Profile Updated
103d
Mining and Supply Information added.
Profile Updated
103d
Mining and Supply Information added.
Profile Updated
106d
Mining and Supply information added.
Profile Updated
107d
Mining and Supply Information added.
project icon for kin
KIN
Project Removed as Signal
114d
Kin removed as Signal.
project icon for simple
OST
Project Added as Signal
114d
OST added as Signal.
Profile Updated
129d
Signal profile updated.
Project Added as Signal
142d
Edgeware added as Signal.
Profile Updated
145d
Ethereum Classic profile added.
project icon for steem
STEEM
Profile Updated
156d
Signal profile updated.
Profile Updated
156d
Signal profile updated.
project icon for neo
NEO
Profile Updated
156d
Signal profile updated.
No icon fallback
KLAY
Project Added as Signal
156d
Klaytn added as Signal.
No icon fallback
ALTG
Project Added as Signal
163d
Althea added as Signal.
Profile Updated
169d
Signal profile updated.
No icon fallback
UMA
Project Added as Signal
176d
UMA added as Signal.
No icon fallback
LIBRA
Project Added as Signal
177d
Libra added as Signal.
Project Added as Signal
182d
Chainlink added as Signal.
Profile Updated
188d
Signal profile updated.
Profile Updated
195d
Signal profile updated.
project icon for chia
CHIA
Profile Updated
201d
Signal profile updated.
project icon for bitfinex-leo
LEOTOKEN
Project Added as Signal
207d
Bitfinex LEO added as Signal.
project icon for coda
CODA
Profile Updated
212d
Signal profile updated.
Project Added as Signal
218d
Paxos added as Signal.
project icon for celo
CELO
Project Added as Signal
224d
Celo added as Signal.

You've reached the end of the list

project icon for tezzies

Tezos

XTZ
$1.42
-6.94%
Negative delta icon

Tezos is a liquid proof-of-stake smart contract platform that features formalized blockchain governance and enables formal verification for smart contracts.

Overview

STATUS

MARKET CAP

BLOCKCHAIN

TOKEN TYPE

Live status icon
Live
$992MM
Native token icon

Tezos

N/A

FUNDING SOURCE

AMOUNT RAISED

SECTOR

Token Sale

$234MM

Smart Contract Platform

Project Profile

Tezos is a liquid proof-of-stake smart contract platform focusing on formalizing blockchain governance and enabling formal verification for smart contracts, which provides certain mathematical guarantees that a smart contract does what it is programmed to do. Tezos’ on-chain governance processes is designed to be broad in scope, allowing token holders to alter any parameter of the protocol, including the ledger operations, consensus algorithm, and governance model. This is intended to allow the protocol to remain flexible and adapt with changing technology based on token holder’s interests—thus addressing a perceived problem with Bitcoin and other cryptoassets, where miners, validators, or other stakeholders can exert outsized influence on protocol direction. Tezos describes its governance as 'self-amending,' because stakeholder approved protocol changes are implemented automatically.

Tezos’ founding is a tale of controversial fundraising, a sensational raise, organizational infighting, and lawsuits. Co-founded by Arthur and Kathleen Breitman, Tezos raised $232 million during its 2017 token sale. Criticism surrounding the token sale includes:

  • In its Terms of Allocation, contributions are described as ‘non-refundable donations’, with sale participants waiving the right to class action lawsuits. The attempt to cast token sale participants as ‘donors’, with the implicit goal of avoiding securities regulation, was not unique to Tezos, though it did seem like the starkest version of double-speak during the 2017 ICO boom.
  • The supply of tokens, XTZ or ‘tezzies’, was not released to sale participants till June 2018, nearly a year later from end of sale, and introduced new KYC requirements to retrieve previously purchased tokens.
  • The process for claiming purchased tokens was perceived by some as onerous, and included several items easily misplaced, such as the token sale contribution, seed phrase, token sale user password, user public key, and the activation code received from KYC completion.
  • Internal disagreements and lawsuits also led to delays in betanet launch and release of development funds, and the project faces SEC scrutiny.

Despite this friction, the mainet launched as of September 2018.

Project Details

Tezos is a platform that, like Ethereum, supports Turing complete smart contracts, yet differs from Ethereum in its consensus algorithm, governance mechanisms, and smart contract programming languages. Tezos major features include a liquid proof-of-stake consensus algorithm, on-chain governance and native funding, formal verification for smart contracts, and a zero knowledge proof scaling solution.

Consensus Algorithm

For consensus, Tezos uses a variation of proof of stake dubbed ‘liquid proof-of-stake’, which is designed to lower barriers to entry for validators. Liquid proof-of-stake differs from delegated proof-of-stake in that delegation is optional (anyone can become a delegate that contributes to consensus directly by delegating themselves), that validation requires modest computing power, and that the set of validators is dynamic, not fixed. Users also have the option of delegating their tokens to others, who perform the work of validating the network state. In addition to acting as a full consensus node, ‘bakers’, Tezos' equivalent to miners, can become signatories and earn rewards for signing completed blocks. Right to bake is determined when owned tokens are randomly selected to create blocks, with baking additionally requiring the baker to freeze tokens in a dynamically set bond, forfeitable upon malicious behavior.

Tezos additionally uses checkpoints: hashes of the blockchain’s state stored outside of the blockchain itself. These checkpoints are read by the nodes (usually hardcoded into the client software) to validate the current blockchain up to that point. Checkpoints limit the window in which attacks on the network can take place— an attacker who wanted to fork the network would need to build up an alternate chain and push it to the network between two checkpoints hashing events. Despite this, checkpoints are controversial because they are considered a form of centralization, as they are stored off-chain and managed by the foundation.

Onchain governance and native funding

Tezos’ governance is self-described as ‘broad scope’ by design, meaning that the ledger’s operations, consensus algorithm, and governance model are designed to be revisable in light of reasons and evidence. In practice, Tezos has governance processes for funding protocol development, making and incorporating protocol changes, and for determining participation in network consensus. Participation in Tezos’ governance processes is tied to token holdings: tezos token holders can delegate tokens, influencing who participates in consensus and governance as a baker, and bakers can propose and vote on development proposals or protocol amendments.

Formal Verification

Tezos attempts to simplify formal verification for smart contracts. The team invented Michelson (described as a mix between Forth and Lisp), a purely functional programming language, for its smart contracts. Tezos itself is implemented in OCaml. OCaml is primarily a functional language popularized in the financial industry by the hedge fund Jane Street.

Formal verification provides certain mathematical guarantees that a smart contract does what it is programed to do. This typically involves creating an abstract mathematical model of the smart contract that can be proved to be equivalent to the specifications provided. By doing so, one can establish an equivalence between the smart contract and the specifications, so that as far as the specifications are accurate, the smart contract will also be accurate. This eliminates many common forms of bugs in smart contracts. However, that does not mean that the smart contract will behave as ‘expected’ — just that the contract will be consistent with what is expressed in the formal verification.

Long Term Scalability

For long term blockchain scalability, Tezos plans to implement Zcash’s zero knowledge proof protocol, with a few minor revisions. Tezos’ proposed method separates the execution of a smart contract and its verification by the consensus nodes. The smart contract’s actual execution is done on specialized servers, so is in respects executed in a more centralized manner, but with the consensus nodes verifying that the execution is indeed valid, based on the proof submitted to them.

This method greatly reduces the load on consensus nodes, as they only verify the proof and do not need to execute the entire smart contract. This also preserves the decentralization property of the smart contracts, since the consensus nodes would reject any invalid execution being presented to them by a malicious actor. Tezos plans to eventually switch to the STARKs protocol, which is similar to SNARKs but is less resource intensive and does not require trusted setup. More information about Tezos’ approach to scaling can be found in their blog post.

Asset Details

The Tezos token, XTZ, is the native blockchain token for Tezos. XTZ’s functions are somewhat analogous to Ethereum’s ETH: XTZ will be a store of value, the sole means of paying transaction fees, and payment for smart contract execution. The token is also used to determine who participates in both the liquid proof of stake consensus and governance process, with token holders able to delegate tokens to determine who acts as a baker, and to provide validator oversight, with bakers staking tokens forfeitable upon malicious behavior. The overall token supply increases at a 5.4% emission rate each year, subject to change by vote.

Recent News

Bison Trails announce $5.25 million seed funding round involving Mark Novogratz (Galaxy Digital) for a staking-as-a-service initiative allowing users to smooth user experience when staking on Livepeer, Decred, Tezos and in the future others including Cosmos, Polkadot and EOS

March 19, 2019

Sources:

more

InfStones, a startup focused on staking solutions/services, raises $2 million from investors including Danhua VC and Plug and Play Ventures; the company holds some $450 million of staked EOS tokens and produces blocks for several blockchains including TRON, Cosmos and Tezos

May 16, 2019

Sources:

moreCoinDesk

Tezos completes its first protocol upgrade through a token holder vote, with over 80% of staked XTZ participating in a vote that decreased minimum staking requirements from 10k to 8k XTZ and increases computation limits on blocks

May 30, 2019

Sources:

moreCoinDesk