[temp0876456]

To clarify a few things:

1. The first vote passed successfully into stage 2 meaning a protocol upgrade has been selected and is being voted on for inclusion.

2. Smart contracts are written in Michelson, a stack based language that can be formally verified. Other user friendly languages have been built on top of it.

3. The software of Tezos is written in OCaml which can also be formally verified.

4. There have been several security audits and, as far as I know, no issues were found.

5. Tezos has never been hacked.

6. It uses a unique flavor of PoS called Liquid PoS. It is designed to be as decentralized as possible meaning the barriers for becoming a baker (equiv. to a Bitcoin miner) are very low.

7. #6 is also designed to make voting as decentralized as possible.