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.
100 sats \ 0 replies \ @nout 3 Mar
So all in all this proposal is really not that interesting, unless I'm missing something.
reply