How about a single large scale smart contract launch that doesn’t end up needing a hard fork or result in people having money permanently frozen?
I hold ETH and I am excited for what it could do. But Solidity is hot garbage and that Python inspired alternative is a close second. I also don’t care about quantity of developers. These things deal with real money from real people, it demands a level of seriousness an average developer should run screaming from.
Serpent is deprecated, there's no first or second there.
Also think you are confusing poorly made cookie cutter erc20 tokens as representative of smart contracts in general, it is most certainly all a mess, but perhaps those treating alpha software as production ready is the real problem?
Last i looked the biggest user of gas and thus what is keeping your jaded investment afloat is ENS, no token just a pure smart contact. It has been running fine for a year.
Sadly we have people investing into hairbrained marketing brochures created by unqualified people in their underwear rather than proven products, in a free world I see no solution to this other than education.
On the other side of the equation we have people like Dan Guido seeking funding to make formal verification frameworks and the commmunity barely even notices nor puts it on a pedestal like every doomed ico that comes along.
It's not just the cookie cutter ERC20 contracts. There have been repeated serious issues with, for example, multisig contracts written by core Etherium developers and shipped in wallet apps. I think people may still be waiting on a hard fork to release funds locked by the latest multisig fuckup.
That's just marketing hype from Cardano, which is the same hype being used to promote Tezos. It's based on the plan to allow Cardano smart contracts to be formally verified. Two other programming languages are being developed for Ethereum that are being formalized by independent teams, and will allow formal verification of smart contracts. e.g. an ERC20 token smart contract implementation is being formally verified by the KEVM project. And a third language is being developed with the aim of doing the same.
Also, Cardano is currently centralized and will be until 2018 at the earliest when further upgrades are made in an attempt to make it decentralized. Meanwhile, Ethereum is already decentralized and work is under way to upgrade it to massively increase its scalability. Ethereum is way ahead and has the critical mass of developer and industry support.
> Pyramid Scheme is implemented using the appropriately-named Racket.