X

Feedback + Support

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

Press esc to dismiss

project icon for tezzies

Tezos

XTZ
$2.81
-8.52%
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

$2,017MM

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
$2.81
-8.52%
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
$2,017MM
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

Chainlink integrates with Tezos.

The oracle network Chainlink announced on Thursday that it has integrated with the smart contract blockchain, Tezos. The integration resulted from a collaboration between Chainlink and the independent Tezos developer organizations, Smart Chain Arena, and Cryptonomic with the requisite funding coming from the Tezos Foundation.

April 30, 2020

Sources:

CoinDesk

Tokenized Bitcoin set to launch on the Tezos network.

A tokenized version of Bitcoin, named tzBTC will launch on the Tezos network. The announcement was made by the Tezos Foundation, the Bitcoin Association Switzerland and several other parties on Wednesday. The new token will be collateralized 1:1 with Bitcoin and be issued on the FA1.2 Tezos token standard with the hope that it will lead to innovation with decentralized finance protocols on the smart contract network.

April 8, 2020

Sources:

CoinDesk

Bitfinex announces a new staking service.

The cryptoasset exchange, Bitfinex, announced on Tuesday that it is launching a new cryptoasset staking service. Initially, the exchange will offer staking for EOS, VSYS and ATOM tokens, with support for XTZ due in May and plans to support “all stackable tokens in the coming months” according to Paolo Ardoino, Bitfinex’s CTO. The decision to enter the staking service provider market was due to customer demand, said Ardoino, and the service will be available to retail and institutional clients. Rates will be fixed at 10% across all assets, although the exchange is yet to announce its chargeable fees.

April 7, 2020

Sources:

more
Load More
Show projects Article List
Sort icon: direction descending
Profile Updated
56d
Project details updated.
No icon fallback
ALTG
Profile Updated
56d
Project details updated.
Project Added as Signal
69d
Project details updated.
Profile Updated
69d
Project details updated.
Profile Updated
70d
Project details updated.
project icon for beam
BEAM
Profile Updated
70d
Project details updated.
Profile Updated
75d
Project details updated.
Profile Updated
75d
Project details updated.
project icon for qtum
QTUM
Profile Updated
80d
Project details updated.
Profile Updated
80d
Project details updated.
Profile Updated
81d
Project details updated.
project icon for aion
AION
Profile Updated
81d
Project details updated.
Profile Updated
82d
Project details updated.
project icon for grin
GRIN
Profile Updated
82d
Project details updated.
Profile Updated
83d
Project details updated.
Profile Updated
83d
Project details updated.
Profile Updated
87d
Project details updated.
project icon for kadena
KADENA
Profile Updated
87d
Project details updated.
project icon for chia
CHIA
Profile Updated
89d
Project details updated.
project icon for waves
WAVES
Profile Updated
89d
Project details updated
Profile Updated
91d
Project details updated.
Profile Updated
91d
Project details updated.
Profile Updated
94d
Project details updated.
No icon fallback
KLAY
Profile Updated
94d
Project details updated.
Profile Updated
95d
Project details updated.
project icon for neo
NEO
Profile Updated
95d
Project details updated.
Profile Updated
96d
Project details updated.
Profile Updated
96d
Project details updated.
project icon for aelf
ELF
Profile Updated
97d
Project details updated.
project icon for eos
EOS
Profile Updated
97d
Project details updated.
Profile Updated
98d
Project details updated.
Profile Updated
98d
Project details updated.
project icon for storj
STORJ
Profile Updated
102d
Project details updated.
Profile Updated
103d
Project details updated.
Profile Updated
103d
Project details updated.
project icon for zrx
ZRX
Profile Updated
104d
Project details updated.
project icon for tether
USDT
Profile Updated
104d
Project details updated.
project icon for wax
WAXP
Profile Updated
105d
Project details updated.
Profile Updated
105d
Project details updated.
Profile Updated
108d
Project details updated.
Profile Updated
108d
Project details updated.
Profile Updated
109d
Project details updated.
project icon for tzero
TZEROP
Profile Updated
109d
Project details updated.
Profile Updated
110d
Project details updated.
Profile Updated
110d
Protocol and asset details updated.
project icon for skale
SKALE
Project Added as Signal
110d
SKALE is an Ethereum Layer 2 scalability protocol facilitating the formation and operation of on-demand elastic sidechains.
Project Added as Signal
129d
TrueBit is a distributed marketplace for off-chain computation of resource-intensive smart contracts, verifying proper results using a game theory-based incentive structure rather than cryptographic proofs.
Project Added as Signal
140d
Spacemesh is a cryptocurrency and smart contract platform operating on directed acyclic graph infrastructure and utilizing a Proof-of-Spacetime consensus algorithm that intends to achieve a more equitable distribution of mining rights by decoupling the conferment thereof with access to financial means.
No icon fallback
BZRX
Project Added as Signal
143d
bZx is an Ethereum-based, decentralized cryptoasset lending protocol that facilitates margin trading of ETH and ERC-20 tokens.
Project Added as Signal
146d
Oasis Network is a permissionless, blockchain-based cloud computing platform that aims to improve upon the scalability and privacy of its peers through novel architecture.
Project Added as Signal
157d
FTX is a cryptoasset derivatives exchange, powered by a proprietary liquidation engine and clawback prevention protocol, offering futures, leveraged tokens and an over-the-counter trading portal.
Project Added as Signal
161d
ThunderCore is a permissionless, Turing-complete smart contract platform offering full EVM-compatibility and PaLa, a new variant of Proof-of-Stake consensus, as its distinguishing features.
Project Added as Signal
164d
Santiment is a blockchain data and analytics provider offering content streams, data feeds and analysis, APIs and its own ERC-20 token, SAN.
Project Added as Signal
178d
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
206d
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
216d
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
222d
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
230d
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
247d
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
262d
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
273d
Supply Information added.
project icon for beam
BEAM
Profile Updated
276d
Supply Information added.
project icon for grin
GRIN
Profile Updated
276d
Supply Information added.
Profile Updated
279d
Supply Information added.
Profile Updated
279d
Supply Information added.
project icon for siacoin
SC
Profile Updated
279d
Mining Information added.
project icon for dash
DASH
Profile Updated
280d
Mining and Supply Information added.
Profile Updated
280d
Mining and Supply Information added.
Profile Updated
283d
Mining and Supply information added.
Profile Updated
284d
Mining and Supply Information added.
project icon for kin
KIN
Project Removed as Signal
291d
Kin removed as Signal.
project icon for simple
OST
Project Added as Signal
291d
OST added as Signal.
Profile Updated
305d
Signal profile updated.
Project Added as Signal
319d
Edgeware added as Signal.
Profile Updated
321d
Ethereum Classic profile added.
project icon for steem
STEEM
Profile Updated
333d
Signal profile updated.
Profile Updated
333d
Signal profile updated.
project icon for neo
NEO
Profile Updated
333d
Signal profile updated.
No icon fallback
KLAY
Project Added as Signal
333d
Klaytn added as Signal.
No icon fallback
ALTG
Project Added as Signal
339d
Althea added as Signal.
Profile Updated
346d
Signal profile updated.
No icon fallback
UMA
Project Added as Signal
353d
UMA added as Signal.
No icon fallback
LIBRA
Project Added as Signal
354d
Libra added as Signal.
Project Added as Signal
359d
Chainlink added as Signal.
Profile Updated
365d
Signal profile updated.
Profile Updated
372d
Signal profile updated.
project icon for chia
CHIA
Profile Updated
377d
Signal profile updated.
project icon for bitfinex-leo
LEOTOKEN
Project Added as Signal
383d
Bitfinex LEO added as Signal.
project icon for coda
CODA
Profile Updated
389d
Signal profile updated.
Project Added as Signal
395d
Paxos added as Signal.
project icon for celo
CELO
Project Added as Signal
401d
Celo added as Signal.

You've reached the end of the list

project icon for tezzies

Tezos

XTZ
$2.81
-8.52%
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
$2,017MM
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

Chainlink integrates with Tezos.

The oracle network Chainlink announced on Thursday that it has integrated with the smart contract blockchain, Tezos. The integration resulted from a collaboration between Chainlink and the independent Tezos developer organizations, Smart Chain Arena, and Cryptonomic with the requisite funding coming from the Tezos Foundation.

April 30, 2020

Sources:

CoinDesk

Tokenized Bitcoin set to launch on the Tezos network.

A tokenized version of Bitcoin, named tzBTC will launch on the Tezos network. The announcement was made by the Tezos Foundation, the Bitcoin Association Switzerland and several other parties on Wednesday. The new token will be collateralized 1:1 with Bitcoin and be issued on the FA1.2 Tezos token standard with the hope that it will lead to innovation with decentralized finance protocols on the smart contract network.

April 8, 2020

Sources:

CoinDesk

Bitfinex announces a new staking service.

The cryptoasset exchange, Bitfinex, announced on Tuesday that it is launching a new cryptoasset staking service. Initially, the exchange will offer staking for EOS, VSYS and ATOM tokens, with support for XTZ due in May and plans to support “all stackable tokens in the coming months” according to Paolo Ardoino, Bitfinex’s CTO. The decision to enter the staking service provider market was due to customer demand, said Ardoino, and the service will be available to retail and institutional clients. Rates will be fixed at 10% across all assets, although the exchange is yet to announce its chargeable fees.

April 7, 2020

Sources:

more
Load More