From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp2.osuosl.org (smtp2.osuosl.org [140.211.166.133]) by lists.linuxfoundation.org (Postfix) with ESMTP id CFB73C002D for ; Mon, 25 Apr 2022 17:27:24 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by smtp2.osuosl.org (Postfix) with ESMTP id BD08D40A5D for ; Mon, 25 Apr 2022 17:27:24 +0000 (UTC) X-Virus-Scanned: amavisd-new at osuosl.org X-Spam-Flag: NO X-Spam-Score: -1.697 X-Spam-Level: X-Spam-Status: No, score=-1.697 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_INVALID=0.1, DKIM_SIGNED=0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NONE=0.001] autolearn=no autolearn_force=no Authentication-Results: smtp2.osuosl.org (amavisd-new); dkim=neutral reason="invalid (public key: not available)" header.d=shesek.info Received: from smtp2.osuosl.org ([127.0.0.1]) by localhost (smtp2.osuosl.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id X956u1ehdKnX for ; Mon, 25 Apr 2022 17:27:23 +0000 (UTC) X-Greylist: whitelisted by SQLgrey-1.8.0 Received: from mail-io1-xd2f.google.com (mail-io1-xd2f.google.com [IPv6:2607:f8b0:4864:20::d2f]) by smtp2.osuosl.org (Postfix) with ESMTPS id 3A17040503 for ; Mon, 25 Apr 2022 17:27:23 +0000 (UTC) Received: by mail-io1-xd2f.google.com with SMTP id z19so12021409iof.12 for ; Mon, 25 Apr 2022 10:27:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=shesek.info; s=shesek; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=fST5qO8dAmzj4ewEYpPweycoivZQpEnVlCR4km5TgH0=; b=lJ4B3Tvzfi8aoC58j46Ku8owKNoQt9rCUUT4GS66Hy7aDYfEHyqi4Fz9/JjtcHdr/L /s3rTdcRVIQ90AK2TcL1LHepzuD9fJyxzWz/Er6BS3rNMYHJlRkYOUhXMpCwQqiNkaUY 1rpSNVlaHLCRW287pvPNLKjaiini9F9ur1haw= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=fST5qO8dAmzj4ewEYpPweycoivZQpEnVlCR4km5TgH0=; b=zteYwzxPLOzSVT9QOQhpUr7M4mS4m5ahdQlyYcDmE+IP+j3rnzmQw1zJZaV+4UPe1u zflEmM6biXUPLAiSsy0nlxt+I0zkVHHSOjTHfFOdmB1Ofvdhpoaxh9oM34PpdIZyLDC9 TcSuR6fy1dJYjHpClilgsB6QCa8jmyo/V2KSOjKcPJqLQrLgS0O+buYhhhzyHsudeMlg z7HuKMrr9m/KUkhOYz/GEPsSKYTChjLQLjEvlbw3K14fOhniK9LSg05aWcKqVDuzzC/t gGknadfHexX0XD4ZLDZYoPUfRVUDLuOPEaEQLMm6Afo798iFmqeVhsoCYtKa0c4M+c+y uxEA== X-Gm-Message-State: AOAM532rhdpvKh9MLlQTxGH8jgUYx+LiXDJlkIWDfg3+wYhOaj3AE10J fm03CMWHMCzwirCm62q9KUtv+a5DmMagfUNtzWhQl7RlbwSs2Pmp X-Google-Smtp-Source: ABdhPJzn+H2Q5b6u1jKWQ86791R6yTk53KYexCh4rMv/LvIBBarG9I9vaamL6q44oS8bKGfpOxIxPhKIVJFJW2mqqHw= X-Received: by 2002:a05:6638:c3:b0:32a:f5d0:5d58 with SMTP id w3-20020a05663800c300b0032af5d05d58mr2049123jao.40.1650907642155; Mon, 25 Apr 2022 10:27:22 -0700 (PDT) MIME-Version: 1.0 References: <64a34b4d46461da322be51b53ec2eb01@dtrt.org> <4b252ef6f86bbd494a67683f6113f3fe@dtrt.org> <48a4546c-85b3-e9ff-83b5-60ba4eae2c76@mattcorallo.com> In-Reply-To: From: Nadav Ivgi Date: Mon, 25 Apr 2022 20:27:11 +0300 Message-ID: To: Billy Tetrud , Bitcoin Protocol Discussion Content-Type: multipart/alternative; boundary="000000000000916ba405dd7de37d" X-Mailman-Approved-At: Mon, 25 Apr 2022 17:31:22 +0000 Subject: Re: [bitcoin-dev] Vaulting (Was: Automatically reverting ("transitory") soft forks) X-BeenThere: bitcoin-dev@lists.linuxfoundation.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Bitcoin Protocol Discussion List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 25 Apr 2022 17:27:24 -0000 --000000000000916ba405dd7de37d Content-Type: text/plain; charset="UTF-8" On Mon, Apr 25, 2022 at 1:36 PM Billy Tetrud via bitcoin-dev < bitcoin-dev@lists.linuxfoundation.org> wrote: > If you unvault an output to your hot wallet, the thief could be lying in wait, ready to steal those funds upon them landing. One way to mitigate some of the risk is to split up your UTXOs so that your hot wallet exposure is limited. > However, if you compare it against a multisig wallet (eg 2 of 3), you can see that while theft of a single key would never result in any theft in that setup, it could in a CTV vault. These are two orthogonal things though. You can have a CTV vault where the hot key signer is a multisig to get the advantages of both. In this case the addition of a CTV-based unvaulting procedure is an improvement compared to not using it. shesek On Mon, Apr 25, 2022 at 1:36 PM Billy Tetrud via bitcoin-dev < bitcoin-dev@lists.linuxfoundation.org> wrote: > @Matt > > both of which are somewhat frustrating limitations, but not security > limitations, only practical ones. > > So I think the first limitation you mentioned (that if your hot wallet's > key gets stolen you need) can be legitimately considered a security > limitation. Not because you need to rotate your keys, but because you might > *not know* your hot wallet key has been stolen. If you unvault an output to > your hot wallet, the thief could be lying in wait, ready to steal those > funds upon them landing. At that point, you would then know your hot wallet > key was compromised and could rotate your vault keys in order to prevent > further theft. However, the fact that there is a clear theft vulnerability > is something I would say should be considered a "security limitation". > > As you mentioned, this is of course also a security limitation of a hot > wallet, so this setup definitely has a lot of advantages over a simple hot > wallet. However, if you compare it against a multisig wallet (eg 2 of 3), > you can see that while theft of a single key would never result in any > theft in that setup, it could in a CTV vault. The other trade offs there > are ones of practicality and convenience. > > This isn't to say a CTV vault wouldn't be useful. Just that it has > significant trade offs. > > @Russel > > the original MES vault .. commits to the destination address during > unvaulting > > I see. Looking at the MES16 paper, OP_COV isn't described clearly enough > for me to understand that it does that. However, I can imagine how it > *might* do that. > > One possibility is that the intended destination is predetermined and > hardcoded. This wouldn't be very useful, and also wouldn't be different > than how CTV could do it, so I assume that isn't what you envisioned this > doing. > > I can imagine instead that the definition of the pattern could be > specified as a number indicating the number of stack items in the pattern, > followed by that number of stack items. If that's how it is done, I can see > the user inputting an intended destination script (corresponding to the > intended destination address) which would then be somehow rotated in to the > right spot within the pattern, allowing the pattern to specify the coins > eventually reaching an address with that script. However, this could be > quite cumbersome, and would require fully specifying the scripts along the > covenant pathways leading to a fair amount of information duplication > (since scripts must be specified both in the covenant and in spending the > subsequent output). Both of these things would seem to make OP_COV in > practice quite an expensive opcode to spend with. It also means that, since > the transactor must fully specify the script, its not possible to take > advantage of taproot's script hiding capabilities (were it to send to a > taproot address). > > However, my assumptions might be incorrect. If you think OP_COV would be a > useful opcode, I would encourage you to write up a complete specification. > > > What ways can we build a secured vault that commits to the destination > address? > > Some kind of passed-through state allows doing this. With OP_COV (if my > assumptions above are correct), the intended destination can be passed > through the output script pattern(s). With my own proposed > op_pushoutputstack > , > state is passed as an attachment on the output more directly. Curious what > you think about that proposal. > > > Are there elegant ways of building secure vaults by using CTV plus > something else. > > Since CTV predefines all the transactions that can happen under its > control, passed state like this can't help because any dynamic state would > change the template and render the CTV transaction invalid. I don't see any > way of solving this problem for CTV. > > I'm curious how you think op_cat could enable this with CTV (other than > the cat+schnorr tricks that don't require CTV at all). > > > > On Sat, Apr 23, 2022 at 2:31 PM Russell O'Connor via bitcoin-dev < > bitcoin-dev@lists.linuxfoundation.org> wrote: > >> Okay, Matt explained to me the intended application of CTV vaults off >> list, so I have a better understanding now. >> >> The CTV vault scheme is designed as an improvement over the traditional >> management of hot-wallets and cold-wallets. The CTV vault is logically on >> the "cold-side" and lets funds be sent from the "cold" side to *one's own* >> the hot wallet after the unvaulting delay. In this case, the hot wallet >> funds are always at risk, so it isn't unexpected that those funds could be >> stolen. After all, that is how hot wallets are today. The advantage is >> that funds can be moved from the "cold" side without needing to dig out the >> cold keys. >> >> The MES vault scheme applies to a different scenario. In the MES case it >> is the hot funds are inside the vault, and it is the hot key that unvaults >> the funds and sends them to *customer's addresses* after a delay. If the >> hot-key is used in any unauthorised way, then funds can be sent to the >> address of the cold key (the MES vault actually does something fancy in >> case of recovery, but it could be adapted to simply send funds to a cold >> wallet). >> >> The MES vault lie somewhere between "better" and "different" when >> compared to the CTV vault. If one is unwilling to use the MES vault on the >> hot side and have every withdrawl vetted, then, while you could use the MES >> design on the cold side like the CTV vault, it wouldn't really offer you >> any advantages over a CTV vault. However, if you are interested in >> managing all your payments through a vault (as I've been imagining) then >> the CTV vault comes across as ineffective when compared to an MES style >> vault. >> >> On Sat, Apr 23, 2022 at 2:24 PM Matt Corallo >> wrote: >> >>> Still trying to make sure I understand this concern, let me know if I >>> get this all wrong. >>> >>> On 4/22/22 10:25 AM, Russell O'Connor via bitcoin-dev wrote: >>> > It's not the attackers *only choice to succeed*. If an attacker >>> steals the hot key, then they have >>> > the option to simply wait for the user to unvault their funds of their >>> own accord and then race / >>> > outspend the users transaction with their own. Indeed, this is what >>> we expect would happen in the >>> > dark forest. >>> >>> Right, a key security assumption of the CTV-based vaults would be that >>> you MUST NOT EVER withdraw >>> more in one go than your hot wallet risk tolerance, but given that your >>> attack isn't any worse than >>> simply stealing the hot wallet key immediately after a withdraw. >>> >>> It does have the drawback that if you ever get a hot wallet key stole >>> you have to rotate all of your >>> CTV outputs and your CTV outputs must never be any larger than your hot >>> wallet risk tolerance >>> amount, both of which are somewhat frustrating limitations, but not >>> security limitations, only >>> practical ones. >>> >>> > And that's not even mentioning the issues already noted by the >>> document regarding fee management, >>> > which would likely also benefit from a less constrained design for >>> covenants. >>> >>> Of course I've always been in favor of a less constrained covenants >>> design from day one for ten >>> reasons, but that's a whole other rabbit hole :) >>> >> _______________________________________________ >> bitcoin-dev mailing list >> bitcoin-dev@lists.linuxfoundation.org >> https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev >> > _______________________________________________ > bitcoin-dev mailing list > bitcoin-dev@lists.linuxfoundation.org > https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev > --000000000000916ba405dd7de37d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On Mon, Apr 25, 2022 at 1:36 PM Bill= y Tetrud via bitcoin-dev <bitcoin-dev@lists.linuxfoundation.org> wrote:
<= br>
> If you unvault an output to your hot wallet, the thief c= ould be lying in wait, ready to steal those funds upon them landing.
<= div>
One way to mitigate some of the risk is to split up your= UTXOs so that your hot wallet exposure is limited.

> However, if you compare it against a multisig wallet (eg 2 of 3), yo= u=20 can see that while theft of a single key would never result in any theft in that setup, it could in a CTV vault.

These are= two orthogonal things though. You can have a CTV vault where the hot key s= igner is a multisig to get the advantages of both. In this case the additio= n of a CTV-based unvaulting procedure is an improvement compared to not usi= ng it.

shesek

On Mon, Apr 25, 2022 at 1:3= 6 PM Billy Tetrud via bitcoin-dev <bitcoin-dev@lists.linuxfoundation.org> wrote:
<= div>@Matt
>=C2=A0 both of which are somewhat frustrating limitations, but not security limita= tions, only practical ones.

So I think the first limitat= ion you mentioned (that if your hot wallet's key gets stolen you need) = can be legitimately considered a security limitation. Not because you need = to rotate=C2=A0your keys, but because you might *not know* your hot wallet = key has been stolen. If you unvault an output to your hot wallet, the thief= =C2=A0could be lying in wait, ready to steal those funds upon them landing.= At that point, you would then know your hot wallet key was compromised and= could rotate your vault keys in order to prevent further theft. However, t= he fact that there is a clear theft vulnerability is something I would say = should be considered a "security limitation".=C2=A0
As you mentioned, this is of course also a security limitation = of a hot wallet, so this setup definitely has a lot of advantages over a si= mple hot wallet. However, if you compare it against a multisig wallet (eg 2= of 3), you can see that while theft of a single key would never result in = any theft in that setup, it could in a CTV vault. The other trade offs ther= e are ones of practicality and convenience.

This i= sn't to say a CTV vault wouldn't be useful. Just that it has signif= icant trade offs.=C2=A0

@Russel
>= the original MES vault ..=C2=A0commits to the destination address during u= nvaulting

I see. Looking at the MES16 paper, OP_CO= V isn't described clearly enough for me to understand that it does that= . However, I can imagine how it *might* do that.=C2=A0

=
One possibility is that the intended destination is predetermined and = hardcoded. This wouldn't be very useful, and also wouldn't be diffe= rent than how CTV could do it, so I assume that isn't what you envision= ed this doing.

I can imagine instead that the defi= nition of the pattern could be specified as a number indicating the number = of stack items in the pattern, followed by that number of stack items. If t= hat's how it is done, I can see the user inputting an intended destinat= ion script (corresponding to the intended destination address) which would = then be somehow rotated in to the right spot within the pattern, allowing t= he pattern to specify the coins eventually reaching an address with that sc= ript. However, this could be quite cumbersome, and would require fully spec= ifying the scripts along the covenant pathways leading to a fair amount of = information duplication (since scripts must be specified both in the covena= nt and in spending the subsequent output). Both of these things would seem = to make OP_COV in practice quite an expensive opcode to spend with. It also= means that, since the transactor must fully specify the script, its not po= ssible to take advantage of taproot's=C2=A0script hiding capabilities (= were it to send to a taproot address).=C2=A0

Howev= er, my assumptions might be incorrect. If you think OP_COV would be a usefu= l opcode, I would encourage you to write up a complete specification.
=

> What ways can we build a secured vault that commit= s to the destination address?

Some kind of pas= sed-through state allows doing this. With OP_COV (if my assumptions above a= re correct), the intended destination can be passed through the output scri= pt pattern(s). With my own proposed=C2=A0op_pushoutputstack, state is passed as an attachment = on the output more directly. Curious what you think about that proposal.

> Are there elegant ways of building secure v= aults by using CTV plus something else.

Since CTV = predefines all the transactions that can happen under its control, passed s= tate like this can't help because any dynamic state would change the te= mplate and render the CTV transaction invalid. I don't see any way of s= olving this problem for CTV.=C2=A0=C2=A0

I'm c= urious how you think op_cat could enable this with CTV (other than the cat+= schnorr tricks that don't require CTV at all).



On Sat, Apr 23, 2022 at 2:31 PM Russell O'Connor via bitcoin= -dev <bitcoin-dev@lists.linuxfoundation.org> wrote:
Okay, M= att explained to me the intended application of CTV vaults off list, so I h= ave a better understanding now.

The CTV vault sche= me is designed as an improvement over the traditional management of hot-wal= lets and cold-wallets.=C2=A0 The CTV vault is logically on the "cold-s= ide" and lets funds be sent from the "cold" side to *one'= ;s own* the hot wallet after the unvaulting delay.=C2=A0 In this case, the = hot wallet funds are always at risk, so it isn't unexpected that those = funds could be stolen.=C2=A0 After all, that is how hot wallets are today.= =C2=A0 The advantage is that funds can be moved from the "cold" s= ide without needing to dig out the cold keys.

= The MES vault scheme applies to a different scenario.=C2=A0 In the MES case= it is the hot funds are inside the vault, and it is the hot key that unvau= lts the funds and sends them to *customer's addresses* after a delay.= =C2=A0 If the hot-key is used in any unauthorised way, then funds can be se= nt to the address of the cold key (the MES vault actually does something fa= ncy in case of recovery, but it could be adapted to simply send funds to a = cold wallet).

The MES vault lie somewhere between = "better" and "different" when compared to the CTV vault= .=C2=A0 If one is unwilling to use the MES vault on the hot side and have e= very withdrawl vetted, then, while you could use the MES design on the cold= side like the CTV vault, it wouldn't really offer you any advantages o= ver a CTV vault.=C2=A0 However, if you are interested in managing all your = payments through a vault (as I've been imagining) then the CTV vault co= mes across as ineffective when compared to an MES style vault.
On Sat, A= pr 23, 2022 at 2:24 PM Matt Corallo <lf-lists@mattcorallo.com> wrote:
Still trying to make sur= e I understand this concern, let me know if I get this all wrong.

On 4/22/22 10:25 AM, Russell O'Connor via bitcoin-dev wrote:
> It's not the attackers *only choice to succeed*.=C2=A0 If an attac= ker steals the hot key, then they have
> the option to simply wait for the user to unvault their funds of their= own accord and then race /
> outspend the users transaction with their own.=C2=A0 Indeed, this is w= hat we expect would happen in the
> dark forest.

Right, a key security assumption of the CTV-based vaults would be that you = MUST NOT EVER withdraw
more in one go than your hot wallet risk tolerance, but given that your att= ack isn't any worse than
simply stealing the hot wallet key immediately after a withdraw.

It does have the drawback that if you ever get a hot wallet key stole you h= ave to rotate all of your
CTV outputs and your CTV outputs must never be any larger than your hot wal= let risk tolerance
amount, both of which are somewhat frustrating limitations, but not securit= y limitations, only
practical ones.

> And that's not even mentioning the issues already noted by the doc= ument regarding fee management,
> which would likely also benefit from a less constrained design for cov= enants.

Of course I've always been in favor of a less constrained covenants des= ign from day one for ten
reasons, but that's a whole other rabbit hole :)
_______________________________________________
bitcoin-dev mailing list
= bitcoin-dev@lists.linuxfoundation.org
https://lists.linuxfoundation.org/mail= man/listinfo/bitcoin-dev
_______________________________________________
bitcoin-dev mailing list
= bitcoin-dev@lists.linuxfoundation.org
https://lists.linuxfoundation.org/mail= man/listinfo/bitcoin-dev
--000000000000916ba405dd7de37d--