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 s

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: https://en.wikipedia.org/wiki/Formal_verification https://en.wikipedia.org/wiki/Formal_verification . I can't imagine so, for they're making a new language? 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?