Syntax aside, are verified smart contracts a solution looking for a problem?
They were supposed to be the killer app for blockchain-based solution, but they are computationally (and architecture-wise) prohibitively expensive, slow and just too complicated given the problems they can and can't solve. Am I wrong here? You can always cheat a 'smart' contract outside of blockchain?