Tezos is almost ready for launch
----

For those who can remember, Tezos is a competitor smart contract platform to EOS, Ethereum, Neo, Cardano and others. The benefit of Tezos is that it has a self amending capacity. This self amending capacity is something EOS may not have, something Ethereum definitely does not have, and is at this time cutting edge. This self amending capacity will allow Tezos to adopt the latest and best features from the industry without great struggle or technical debt. 

The additional feature of Tezos is that it will be using a unique much more secure programming language for smart contracts. This safety first design of their language [Michelson](https://www.tezos.com/static/papers/language.pdf) can help to avoid some of the embarrassing and ugly bugs which allowed for instance TheDAO. Industrial software requires formal verification because we want to be able to limit the probabilities of certain "states". If we think of any software as having a finite number of states, then by using formal verification we can prove mathematically speaking that a specific undesirable state is not allowed to happen by design of the formal specification.

See the latest Tezos development update for more details:
https://www.youtube.com/watch?v=xdRaIMrRkaE


Overall in my opinion Tezos has potential to be competitor. In addition Tezos is launching as Proof of Stake while Ethereum is still slowly trying to convert to Proof of Stake.  None of this is investment advice and at looking at Tezos from an investment perspective I would look at the Gini coefficient to see if there is a high chance it will be dumped by whales in the next 6 months, but then the fact that it is Proof of Stake could reduce this. The demand in my opinion will depend on how much developer support they can get using their new language Michelson and most important of all in my opinion will be how good their libraries and development tools are. If the Tezos team puts a lot of effort on creating robust secure standard libraries then Tezos will become increasingly popular to developers, but I think EOS is at this moment in time creating a lead in that area.

References
---
1. https://www.tezos.com/
2. https://coinmarketcap.com/currencies/tezos/