* [bitcoin-dev] Multi CSV Transaction @ 2018-02-20 16:53 Praveen Baratam 2018-02-21 0:59 ` Daniel Robinson 0 siblings, 1 reply; 3+ messages in thread From: Praveen Baratam @ 2018-02-20 16:53 UTC (permalink / raw) To: bitcoin-dev [-- Attachment #1.1: Type: text/plain, Size: 388 bytes --] Hello Everybody, I need a little clarity about how OP_CHECKSEQUENCEVERIFY (CSV) works in transactions. Can I use multiple CSV end points as depicted in the figure below? I basically want to allow different conditions at different delays. [image: Inline image 3] I just want to know if OP_CHECKSEQUENCEVERIFY can be used to achieve the above. Thank you. Praveen ᐧ [-- Attachment #1.2: Type: text/html, Size: 1520 bytes --] [-- Attachment #2: Multi CSV.png --] [-- Type: image/png, Size: 119739 bytes --] ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [bitcoin-dev] Multi CSV Transaction 2018-02-20 16:53 [bitcoin-dev] Multi CSV Transaction Praveen Baratam @ 2018-02-21 0:59 ` Daniel Robinson 2018-02-21 2:36 ` Praveen Baratam 0 siblings, 1 reply; 3+ messages in thread From: Daniel Robinson @ 2018-02-21 0:59 UTC (permalink / raw) To: Praveen Baratam, Bitcoin Protocol Discussion [-- Attachment #1.1: Type: text/plain, Size: 1818 bytes --] Yes, although it's a functionality of Bitcoin Script generally, not OP_CSV in particular. Bitcoin Script allows you to use nested IF statements, and enforce whatever different conditions you want in each branch. Here's your contract in Ivy <https://ivy-lang.org/bitcoin/>: contract MultiCSV( bob: PublicKey, carol: PublicKey, bobDelay: Duration, carolDelay: Duration, val: Value ) { clause bobSpend(sig: Signature) { verify checkSig(bob, sig) verify older(bobDelay) unlock val } clause carolSpend(sig: Signature) { verify checkSig(carol, sig) verify older(carolDelay) unlock val } clause bothSpend(bobSig: Signature, carolSig: Signature) { verify checkMultiSig([bob, carol], [bobSig, carolSig]) unlock val } } It compiles to the following Bitcoin Script: PUSH(carolKey) PUSH(bobKey) 2 PICK 2 EQUAL IF ROT DROP 0 4 ROLL 4 ROLL 2 2ROT 2 CHECKMULTISIG ELSE ROT IF DROP CHECKSIGVERIFY PUSH(carolDelay) CHECKSEQUENCEVERIFY DROP 1 ELSE NIP CHECKSIGVERIFY PUSH(bobDelay) CHECKSEQUENCEVERIFY DROP 1 ENDIF ENDIF On Tue, Feb 20, 2018 at 5:32 PM Praveen Baratam via bitcoin-dev < bitcoin-dev@lists•linuxfoundation.org> wrote: > Hello Everybody, > > I need a little clarity about how OP_CHECKSEQUENCEVERIFY (CSV) works in > transactions. > > Can I use multiple CSV end points as depicted in the figure below? I > basically want to allow different conditions at different delays. > > [image: Multi CSV.png] > > I just want to know if OP_CHECKSEQUENCEVERIFY can be used to achieve the > above. > > Thank you. > > Praveen > ᐧ > _______________________________________________ > bitcoin-dev mailing list > bitcoin-dev@lists•linuxfoundation.org > https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev > [-- Attachment #1.2: Type: text/html, Size: 3768 bytes --] [-- Attachment #2: Multi CSV.png --] [-- Type: image/png, Size: 119739 bytes --] ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [bitcoin-dev] Multi CSV Transaction 2018-02-21 0:59 ` Daniel Robinson @ 2018-02-21 2:36 ` Praveen Baratam 0 siblings, 0 replies; 3+ messages in thread From: Praveen Baratam @ 2018-02-21 2:36 UTC (permalink / raw) To: Daniel Robinson; +Cc: Bitcoin Protocol Discussion [-- Attachment #1.1: Type: text/plain, Size: 2157 bytes --] Thank you Daniel! Your detailed explanation did clear things up :-) ᐧ On Wed, Feb 21, 2018 at 6:29 AM, Daniel Robinson <danrobinson010@gmail•com> wrote: > Yes, although it's a functionality of Bitcoin Script generally, not OP_CSV > in particular. Bitcoin Script allows you to use nested IF statements, and > enforce whatever different conditions you want in each branch. > > Here's your contract in Ivy <https://ivy-lang.org/bitcoin/>: > > contract MultiCSV( > bob: PublicKey, > carol: PublicKey, > bobDelay: Duration, > carolDelay: Duration, > val: Value > ) { > clause bobSpend(sig: Signature) { > verify checkSig(bob, sig) > verify older(bobDelay) > unlock val > } > clause carolSpend(sig: Signature) { > verify checkSig(carol, sig) > verify older(carolDelay) > unlock val > } > clause bothSpend(bobSig: Signature, carolSig: Signature) { > verify checkMultiSig([bob, carol], [bobSig, carolSig]) > unlock val > } > } > > It compiles to the following Bitcoin Script: > > PUSH(carolKey) PUSH(bobKey) 2 PICK 2 EQUAL IF ROT DROP 0 4 ROLL 4 ROLL 2 > 2ROT 2 CHECKMULTISIG ELSE ROT IF DROP CHECKSIGVERIFY PUSH(carolDelay) > CHECKSEQUENCEVERIFY DROP 1 ELSE NIP CHECKSIGVERIFY PUSH(bobDelay) > CHECKSEQUENCEVERIFY DROP 1 ENDIF ENDIF > > On Tue, Feb 20, 2018 at 5:32 PM Praveen Baratam via bitcoin-dev < > bitcoin-dev@lists•linuxfoundation.org> wrote: > >> Hello Everybody, >> >> I need a little clarity about how OP_CHECKSEQUENCEVERIFY (CSV) works in >> transactions. >> >> Can I use multiple CSV end points as depicted in the figure below? I >> basically want to allow different conditions at different delays. >> >> [image: Multi CSV.png] >> >> I just want to know if OP_CHECKSEQUENCEVERIFY can be used to achieve the >> above. >> >> Thank you. >> >> Praveen >> ᐧ >> _______________________________________________ >> bitcoin-dev mailing list >> bitcoin-dev@lists•linuxfoundation.org >> https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev >> > -- Dr. Praveen Baratam about.me <http://about.me/praveen.baratam> [-- Attachment #1.2: Type: text/html, Size: 5240 bytes --] [-- Attachment #2: Multi CSV.png --] [-- Type: image/png, Size: 119739 bytes --] ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2018-02-21 2:36 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2018-02-20 16:53 [bitcoin-dev] Multi CSV Transaction Praveen Baratam 2018-02-21 0:59 ` Daniel Robinson 2018-02-21 2:36 ` Praveen Baratam
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox