While the notion of bring-your-own-VM sounds nice and a lot of emphasis is given to the EVM, we all know what a pain it has been to program in a language like Solidity and the numerous vulnerabilities that has resulted in its incorrect (though understandable) use. While promoting the EVM could help with adoption, it will also continue to proliferate the issues that come with it. Resorting to security audits and expecting users to purchase insurance feel like bandages to addressing a more fundamental problem.
Clearly a platform tailored for financial use cases such as Avalanche should endorse a better, safer and verifiable environment for writing contract logic than the EVM. So far (could be just me) there appears to have been little discussion on this topic.
- Is there work being done on such a language?
- Is the current position a wait-and-see approach?
- Should the Avalanche community be promoting one of the existing but lesser known languages like DAML, Move, Pact?
Care to discuss?