[zertrin]

Not doubting any of your statements, but why have I never heard of it before? If it is good why hasn't it displaced ethereum and become more mainstream? Are there any cons that prevent it to become more prominent?

(sincere question from me, I am curious to know more)

[dmihal]

The same reason that Bitcoin hasn't been displaced by newer projects.

Both have massive network effects. Marginal technology improvements aren't enough to convince developers to build on a platform that has no users, no application & no infrastructure.

[ddeyar]

This is are very good question. I really don't know why the mainstream ignored this project so far. Compared to some other projects, there is no single person in the center of the project, so there is no one to be hyped. This is sad but it seems to be a disadvantage. The loudest are getting attention and with so many projects out there, the tezos community was a long time pretty silent. The smart contract language is completely different from solidity. Its a functional language which allows formal verification. This is one reason which makes it harder for developers to migrate to tezos. It's easeier to migrate to an ethereum clone. Sapling came with the edo upgrade this year, this allows privacy preserving smart contracts. Gas price is extremly low. A part of the nft hype has already migrated to tezos because of PoS and low gas prices. See the stats here https://better-call.dev/stats/mainnet/general The next upgrade is currently in the voting phase. When you're technically interested in it see here http://doc.tzalpha.net/protocols/009_florence.html

Last week a marketing campaign started, maybe you will see an add somewhere in the near future. A lot is going on in adoption atm, here a few recent news:

banking https://xtz.news/adoption/french-banking-giant-societe-gener...

gaming https://xtz.news/adoption/ubisoft-become-a-tezos-corporate-b...

stablecoin https://xtz.news/adoption/groupe-casino-with-11000-stores-to...

digital identity https://xtz.news/adoption/spruce-systems-makes-it-into-y-com...

[mratsim]

> Its a functional language which allows formal verification.

Imperative languages can also be formally verified. See the K framework for formal modeling and verification of EVM smart contracts.

Detailed list: https://github.com/leonardoalt/ethereum_formal_verification_...

> Gas price is extremely low.

Beware, the gas price might be low because there is no volume. Binance Smart Chain had a lot of difficulty the past 2 days because they underpriced gas cost and basically DOS-ed themselves:

- https://mobile.twitter.com/PancakeSwap/status/13845099723948...

- https://mobile.twitter.com/peter_szilagyi/status/13848238801...

You missed a very nice example of Tezos adoption, which was the French military police using it to pay sources

https://journalducoin.com/blockchain/actualites-blockchain/u...

[ddeyar]

> Imperative languages can also be formally verified. See the K framework for formal modeling and verification of EVM smart contracts.

Good to see that eth has the possibility too. It's a must have in my opinion.

> Beware, the gas price might be low because there is no volume. Binance Smart Chain had a lot of difficulty the past 2 days because they underpriced gas cost and basically DOS-ed themselves:

I don't know how tezos would react when DOS-ed. The next upgrade brings some further optimizations with it. Gas will then be calculated using saturated arithmetic.