> Another Solidity alternative is Vyper. Vitalik was pushing Vyper quite hard for a while, but he seems to have ramped that down. I wonder if Vyper is in any

> Another Solidity alternative is Vyper. Vitalik was pushing Vyper quite hard for a while, but he seems to have ramped that down. I wonder if Vyper is in any way better than Solidity. At any rate, smart contract languages have security / verifiability constraints that few other domain of application have, and I don't believe any of the current languages offer what is really needed (integrated formal proof of behavior of the smart contract).