The Big Deal With BitVM: Arbitrary Computation Now Possible On Bitcoin Without A Fork

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.