3 ms·

I think there are a couple of new blockchains that attempt to provide a verifiable smart contract language.