205 sats \ 3 replies \ @nout 2 Mar \ on: DLCVM: Generalized, Unboundedly Scalable Computation on Bitcoin bitcoin
Well, this is really theoretical - there are many details to be worked out. Is the main novelty the fact that we can plug any VM as Oracle into DLC?
This idea is sort of generalizing BitVM into being able to use any oracle for the "contract" code, not just the taproot leafs as logic gates...
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.
deleted by author
reply