> the stakes are too high to want to trust your assets to arbitrary turing-complete code. Does it matter whether the language is turing-complete or not? you're

> the stakes are too high to want to trust your assets to arbitrary turing-complete code. Does it matter whether the language is turing-complete or not? you're trusting a contract, not the PL used to write the contract, and the contract can be very simple (and formally verified, if the PL has a formal semantics).