Any arbitrary computation can now be verified on Bitcoin, with no softfork necessary, in a challenge-response based protocol that can be enforced on-chain.
The first successful discreet log contract has been executed on the Lightning Network by creating a new type of transaction when opening a Lightning channel.