Re: [Lightning-dev] Arbitrary Bitcoin Contracts over LN

2018-08-01 Thread ZmnSCPxj via Lightning-dev
Good morning Michael, > A couple of follow ups please: > > 1) Poon-Dryja (LN penalty), Decker-Wattenhofer and Decker-Osuntokun-Russell > (eltoo) just refer to the process for claiming funds when an old state is > broadcast? Poon-Dryja doesn't require a soft fork but > Decker-Osuntokun-Russell d

Re: [Lightning-dev] Arbitrary Bitcoin Contracts over LN

2018-08-01 Thread ZmnSCPxj via Lightning-dev
Good morning Christian, > My issue is with the fact that CLTV-branches and nLocktimed spending > transactions also need to be guarded with a further `OP_CSV` condition, > since they may leak on-chain, and be immediately valid. This is the > reason why we introduced the two stage HTLC resolution, w

Re: [Lightning-dev] Arbitrary Bitcoin Contracts over LN

2018-08-01 Thread Christian Decker
Thanks for the excellent writeup ZmnSCPxj, I just have a minor issue with your characterization that LN-penalty is to be preferred. My issue is with the fact that CLTV-branches and nLocktimed spending transactions also need to be guarded with a further `OP_CSV` condition, since they may leak on-ch

Re: [Lightning-dev] Arbitrary Bitcoin Contracts over LN

2018-08-01 Thread Michael Folkson
Thanks for this ZmnSCPxj, very interesting. A couple of follow ups please: 1) Poon-Dryja (LN penalty), Decker-Wattenhofer and Decker-Osuntokun-Russell (eltoo) just refer to the process for claiming funds when an old state is broadcast? Poon-Dryja doesn't require a soft fork but Decker-Osuntokun-R

[Lightning-dev] Arbitrary Bitcoin Contracts over LN

2018-08-01 Thread ZmnSCPxj via Lightning-dev
Good morning list, Recently, somebody on the IRC channel, asked regarding smart contracts being transported via LN. Indeed, this is theoretically possible, provided the "smart contract" is implementable as a Bitcoin SCRIPT. Afterwards, I opined that, for transportation of *arbitrary* contracts