Tezos has a similar pitch (having a better language that is less bug prone) and is a ghost chain now.