📅 Original date posted:2018-02-20
📝 Original message: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 at 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 at lists.linuxfoundation.org
> https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20180221/c8f680ea/attachment-0001.html>;
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Multi CSV.png
Type: image/png
Size: 119739 bytes
Desc: not available
URL: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20180221/c8f680ea/attachment-0001.png>;
Daniel Robinson [ARCHIVE] /
npub1hy…7jzt2
2023-06-07 20:10:58
in reply to nevent1q…6gkt
Author Public Key
npub1hy94r8apyzhxsdl76rtgspps5sdg2d9darnyzlrcfqcwjl073trqc7jzt2Published at
2023-06-07 20:10:58Event JSON
{
"id": "f03b6f4337d3cb7aa84e803bb7eaf58c7a656fefe27eca119cb97688e52548c2",
"pubkey": "b90b519fa120ae6837fed0d6880430a41a8534ade8e6417c784830e97dfe8ac6",
"created_at": 1686161458,
"kind": 1,
"tags": [
[
"e",
"2eba05b530a2c44fde3e75ea012bbf2cf4bcb68ab567f4823c7f153f2f9aa631",
"",
"root"
],
[
"e",
"68b76ccf335242f015a8c4bbbde0f1984634c6d8563ed2135fb63aef251e3714",
"",
"reply"
],
[
"p",
"ac05a78bbf6404f2d73636d005183880f5ee97bf96418992be2ff07d86012d24"
]
],
"content": "📅 Original date posted:2018-02-20\n📝 Original message:Yes, although it's a functionality of Bitcoin Script generally, not OP_CSV\nin particular. Bitcoin Script allows you to use nested IF statements, and\nenforce whatever different conditions you want in each branch.\n\nHere's your contract in Ivy \u003chttps://ivy-lang.org/bitcoin/\u003e:\n\ncontract MultiCSV(\n bob: PublicKey,\n carol: PublicKey,\n bobDelay: Duration,\n carolDelay: Duration,\n val: Value\n) {\n clause bobSpend(sig: Signature) {\n verify checkSig(bob, sig)\n verify older(bobDelay)\n unlock val\n }\n clause carolSpend(sig: Signature) {\n verify checkSig(carol, sig)\n verify older(carolDelay)\n unlock val\n }\n clause bothSpend(bobSig: Signature, carolSig: Signature) {\n verify checkMultiSig([bob, carol], [bobSig, carolSig])\n unlock val\n }\n}\n\nIt compiles to the following Bitcoin Script:\n\nPUSH(carolKey) PUSH(bobKey) 2 PICK 2 EQUAL IF ROT DROP 0 4 ROLL 4 ROLL 2\n2ROT 2 CHECKMULTISIG ELSE ROT IF DROP CHECKSIGVERIFY PUSH(carolDelay)\nCHECKSEQUENCEVERIFY DROP 1 ELSE NIP CHECKSIGVERIFY PUSH(bobDelay)\nCHECKSEQUENCEVERIFY DROP 1 ENDIF ENDIF\n\nOn Tue, Feb 20, 2018 at 5:32 PM Praveen Baratam via bitcoin-dev \u003c\nbitcoin-dev at lists.linuxfoundation.org\u003e wrote:\n\n\u003e Hello Everybody,\n\u003e\n\u003e I need a little clarity about how OP_CHECKSEQUENCEVERIFY (CSV) works in\n\u003e transactions.\n\u003e\n\u003e Can I use multiple CSV end points as depicted in the figure below? I\n\u003e basically want to allow different conditions at different delays.\n\u003e\n\u003e [image: Multi CSV.png]\n\u003e\n\u003e I just want to know if OP_CHECKSEQUENCEVERIFY can be used to achieve the\n\u003e above.\n\u003e\n\u003e Thank you.\n\u003e\n\u003e Praveen\n\u003e ᐧ\n\u003e _______________________________________________\n\u003e bitcoin-dev mailing list\n\u003e bitcoin-dev at lists.linuxfoundation.org\n\u003e https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev\n\u003e\n-------------- next part --------------\nAn HTML attachment was scrubbed...\nURL: \u003chttp://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20180221/c8f680ea/attachment-0001.html\u003e\n-------------- next part --------------\nA non-text attachment was scrubbed...\nName: Multi CSV.png\nType: image/png\nSize: 119739 bytes\nDesc: not available\nURL: \u003chttp://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20180221/c8f680ea/attachment-0001.png\u003e",
"sig": "19b7f3606353969e01dbb4d39e7c0e8bd99c5ef4b4eaed8653ea2867989ce0f0fd2f1f7eb2ed0ee2aacd35994096d29007e3db9cd978a09b2cc4ce503def9321"
}