Tezos

Tezos is a new decentralized blockchain that governs itself by establishing a true digital commonwealth. It facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts

About Tezos

While all blockchains offer financial incentives for maintaining
consensus on their ledgers, no blockchain has a robust on-chain
mechanism that seamlessly amends the rules governing its protocol
and rewards protocol development. As a result, first-generation
blockchains empower de facto, centralized core development teams or
miners to formulate design choices.

Tezos takes a fundamentally different approach by creating
governance rules for stakeholders to approve of protocol upgrades
that are then automatically deployed on the network. When a
developer proposes a protocol upgrade, they can attach an invoice
to be paid out to their address upon approval and inclusion of
their upgrade. This approach provides a strong incentive for
participation in the Tezos core development and further
decentralizes the maintenance of the network. It compensates
developers with tokens that have immediate value rather than
forcing them to seek corporate sponsorships, foundation salaries,
or work for Internet fame alone.

Tezos instantiates new technical innovations but also enforces
types of constitutionalism through the use of formal proofs to
mathematically verify that key properties are upheld over time. By
allowing stakeholders to coordinate on-chain, the network also
allows for the creation of bounties to implement specific features
or discover bugs. Collectively, the network maintains the
decentralized aspect of blockchains while introducing a mechanism
to enable collective decision making. Tezos tokens not only power
smart contracts in the network, but also allow votes on protocol
amendments. The initial Tezos rollout is simple by design, but its
self-amending nature means that the rules governing the network can
be improved over time.

Features

- A formal verification to any smart contract running on the Tezos
blockchain by mathematically proving the correctness of the
code
governing transactions
- Michelson, its own smart contract language with correctness and
formal verification in mind
- Strong development team
- Three years of development

Technical Info

Technical details:

Has its own blockchain, not a derivative of any other
blockchain. Relies on a less onerous, less computationally
intensive, and less power-consuming proof-of-stake consensus
algorithm. Implemented in OCaml, a functional programming
language.

DISCLAIMER & RISK WARNING

This offer is based on information provided solely by the offeror and other publicly available information. The token sale or exchange event is entirely unrelated to ICOholder and ICOholder has no involvement in it (including any technical support or promotion). Token sales listed from persons that ICOholder has no relationship with are shown only to help customers keep track of the activity taking place within the overall token sector. This information is not intended to amount to advice on which you should rely. You must obtain professional or specialist advice or carry out your own due diligence before taking, or refraining from, any action on the basis of the content on our site. Any terms and conditions entered into by contributors in respect of the acquisition of Tokens are between them and the issuer of the Token and ICOholder is not the seller of such Tokens. ICOholder has no legal responsibility for any representations made by third parties in respect of any Token sale and any claim for breach of contract must also be made directly against the Token issuing entity listed herein.

If you have any concerns about the nature, propriety or legality of this token sale or the persons involved in it please contact [email protected] with detailed information about your concerns.