Can a blockchain project suffer from scope creep, if so, what would that look like? I have to imagine that you don't have to invent a new language for writing safe code (which in my noob mind, I think this is.) Maybe pick up where some other safety oriented languages already are. If security is the goal, is their path equal to this path: <a href="https://en.wikipedia.org/wiki/Formal_verification" rel="nofollow">https://en.wikipedia.org/wiki/Formal_verification</a> . I can't imagine so, for they're making a new language?<p>It could be that they're making it a little safer, and a little easier, but not really too much safer. The features are described, and they look mostly like security?