Write smart contacts with formal verification.
Formal verification uses math to specify and analyze a program for errors in logic.
Ethereum’s Parity wallet bug led to a $180 million in losses.
A bug The DAO enabled a hacker to siphon $50 million from the Ethereum smart contract.
Tezos smart contract languages are specifically designed to facilitate formal verification.
Lots of newbies hate Tezos due to Tezos being able
to raise so much money with their ICO .
It's painfully obvious actually that they can do
a lot with that money.
They had some issues in the past but they really
showed that they kept building.