100 sats \ 1 reply \ @BlueSlime 3 Mar \ parent \ on: DLCVM: Generalized, Unboundedly Scalable Computation on Bitcoin bitcoin
My understanding is that BitVM actually forces you to demonstrate the computation of a particular gate when challenged, or forfeit the money.
With a DLC you can't stop the oracle from lying, unless you throw more oracles at the problem. But then you can't exactly stop them from lying either, so it's turtles all the way down.