Return-Path: <jeremy.l.rubin@gmail.com> Received: from smtp1.osuosl.org (smtp1.osuosl.org [140.211.166.138]) by lists.linuxfoundation.org (Postfix) with ESMTP id 81FB6C000B for <bitcoin-dev@lists.linuxfoundation.org>; Sat, 29 Jan 2022 17:02:52 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by smtp1.osuosl.org (Postfix) with ESMTP id 5A1A183E19 for <bitcoin-dev@lists.linuxfoundation.org>; Sat, 29 Jan 2022 17:02:52 +0000 (UTC) X-Virus-Scanned: amavisd-new at osuosl.org X-Spam-Flag: NO X-Spam-Score: -2.098 X-Spam-Level: X-Spam-Status: No, score=-2.098 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no Authentication-Results: smtp1.osuosl.org (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com Received: from smtp1.osuosl.org ([127.0.0.1]) by localhost (smtp1.osuosl.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 5wcvjIIg46Sp for <bitcoin-dev@lists.linuxfoundation.org>; Sat, 29 Jan 2022 17:02:51 +0000 (UTC) X-Greylist: whitelisted by SQLgrey-1.8.0 Received: from mail-lf1-x130.google.com (mail-lf1-x130.google.com [IPv6:2a00:1450:4864:20::130]) by smtp1.osuosl.org (Postfix) with ESMTPS id 9A3A083E17 for <bitcoin-dev@lists.linuxfoundation.org>; Sat, 29 Jan 2022 17:02:51 +0000 (UTC) Received: by mail-lf1-x130.google.com with SMTP id z4so18034656lft.3 for <bitcoin-dev@lists.linuxfoundation.org>; Sat, 29 Jan 2022 09:02:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=3Q9T9a3OQ9X1M63XF52eG9pH980qPbvqrPgG2xltHEQ=; b=lG3snBiB1JmnfD3m5Ozoy+rOzdu4xvr9ubM/JwVQL8wJCpic5LQ1oTdxNjzIVTnbl7 x7RweGTLheT4GFKbWdRRbk/nQ337svAzif6inMA2zvfqB+YzJQlzhCL0kzeIJ9Ax8Y+M vQbquYaVwa9O4USKqqjwu1OLRYpLXM6+NlJdc2W7x/5g7i5k0IEfCA+mHVeDXTCu+WYY JAUCmnk9cdZu+dcl3obygtri/ngsxdzy58gsHXxpwYdkzz7TBSZMxRqKRwNTi8VhTFXO vZtC0/pZH705NNjpqtmnNeih9hQ4XYogguYROrqQmSbd6jgPePLDDxEKJsJLO/Gryqta qu5Q== 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=3Q9T9a3OQ9X1M63XF52eG9pH980qPbvqrPgG2xltHEQ=; b=V0s+C0yCm5tc10xDxCizxC10N+4Mo8ZQRjamSFaw5UaJvRKreIMRXSQwEB79A5wBj9 VLP5N5qccADNs9PUGKLQhT7lFayEzN/G+GSnKhzlJyyeDvSFHMO+iUnuB9kgqQp5ErdZ 563xU7rmbWCQ63r9Hj9GJYmzDsKsrPH1V5C2bIy6VDT9RuRiWdrOaOVCjtJzklg0vbdF rM29sW/hTdOyKb8YW9Ufhrz3MpNDtveu61Qe6UD5wui55yIrrpULl7yTIs1W5ghiYVVn qaBFiHD1sMyoRMkN6OxIWBQWK8oVD8h6LY+SvWiqdMXqTd6Y8O2g7GRmNM8ssqgUghJJ fMhQ== X-Gm-Message-State: AOAM530V2ywEsG6m0OnhNRh0MtEaCZfDQRsHIbjD4ByjLYVNml5qnWjP TJH5VEhaCfmAMjjmFczH2LJuDdHr1/GuR4G9e90= X-Google-Smtp-Source: ABdhPJzmLOOFnRNF2GwXiQElICH2W5RPx1MjTYfY2ei9Y/qTMydqdiBTpHp4ozwnzjiIH2T2o41UgQ2lulzmXoxOmhw= X-Received: by 2002:ac2:5fc7:: with SMTP id q7mr9611162lfg.175.1643475769254; Sat, 29 Jan 2022 09:02:49 -0800 (PST) MIME-Version: 1.0 References: <CAMZUoK=pkZuovtifBzdqhoyegzG+9hRTFEc7fG9nZPDK4KbU3w@mail.gmail.com> <CAD5xwhhwqJ_AETAb3p_zUZmRX-Dzh8J9G984zwEs=KFsGN8aNQ@mail.gmail.com> <CAMZUoKmU1cwUAQaBv5m8oo8H3TWBvgsZ_OkQaMC0n0+3cpFtWg@mail.gmail.com> <CAPfvXfLr4n6RsS6VbEZR59=MRwAx41Crx88ko8-qnRXW4nFYGA@mail.gmail.com> <CAMZUoKkvoJs0WtN71A_qRSwToP4YnY707WdW3C-KJYGXsmkjSw@mail.gmail.com> <CAPfvXfLWtDvgJYwQCaxnww5jyQkqFsi6aG0OUxtp3Okx_ab7Hw@mail.gmail.com> <CAMZUoKkqEx5mh9Aq9XFc=7YPKmfObMzEipECFuWm4e3q_tVEEQ@mail.gmail.com> In-Reply-To: <CAMZUoKkqEx5mh9Aq9XFc=7YPKmfObMzEipECFuWm4e3q_tVEEQ@mail.gmail.com> From: Jeremy Rubin <jeremy.l.rubin@gmail.com> Date: Sat, 29 Jan 2022 09:02:37 -0800 Message-ID: <CAD5xwhjsVA7k7ZQ_QdrcZOxdi+L6L7dvqAj1Mhx+zmBA3DM5zw@mail.gmail.com> To: "Russell O'Connor" <roconnor@blockstream.com>, Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org> Content-Type: multipart/alternative; boundary="0000000000006c662505d6bb857a" Subject: Re: [bitcoin-dev] TXHASH + CHECKSIGFROMSTACKVERIFY in lieu of CTV and ANYPREVOUT X-BeenThere: bitcoin-dev@lists.linuxfoundation.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Bitcoin Protocol Discussion <bitcoin-dev.lists.linuxfoundation.org> List-Unsubscribe: <https://lists.linuxfoundation.org/mailman/options/bitcoin-dev>, <mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=unsubscribe> List-Archive: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/> List-Post: <mailto:bitcoin-dev@lists.linuxfoundation.org> List-Help: <mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=help> List-Subscribe: <https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev>, <mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=subscribe> X-List-Received-Date: Sat, 29 Jan 2022 17:02:52 -0000 --0000000000006c662505d6bb857a Content-Type: text/plain; charset="UTF-8" Perhaps there is some misunderstanding. TXHASH + CSFSV doesn't allow for complex or recursive covenants. Typically CAT is needed, at minimum, to create those sorts of things. TXHASH still amounts to deploying a non-recursive covenant construction. This seems false to me. <Only hash a single input scriptpubkey> txhash <only hash a single output scriptpubkey> txhash equalverify Is that not a recursive covenant? With a little extra work you can also control for amounts and stuff. --0000000000006c662505d6bb857a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"auto"><div style=3D"color:rgb(80,0,80);font-size:12.8px" dir=3D= "auto"><div dir=3D"auto"><div class=3D"elided-text"><blockquote style=3D"ma= rgin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:= 1ex"><div dir=3D"ltr"><div class=3D"elided-text"><div><br><br></div><div>Pe= rhaps there is some misunderstanding.=C2=A0 TXHASH=C2=A0+ CSFSV doesn't= allow for complex or recursive covenants.=C2=A0 Typically CAT is needed, a= t minimum, to create those sorts of things.=C2=A0 TXHASH still amounts to d= eploying a non-recursive covenant construction.<br></div><div><br></div><di= v></div></div></div></blockquote></div></div><div dir=3D"auto"><div class= =3D"elided-text"><blockquote style=3D"margin:0px 0px 0px 0.8ex;border-left:= 1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr"><div class=3D= "elided-text"><div></div></div></div></blockquote></div></div><div dir=3D"a= uto"><br></div></div><div dir=3D"auto" style=3D"font-size:12.8px">This seem= s false to me.=C2=A0</div><div dir=3D"auto" style=3D"font-size:12.8px"><br>= </div><div dir=3D"auto" style=3D"font-size:12.8px"><Only hash a single i= nput scriptpubkey> txhash <only hash a single output scriptpubkey>= txhash equalverify</div><div dir=3D"auto" style=3D"font-size:12.8px"><br><= /div><div dir=3D"auto" style=3D"font-size:12.8px">Is that not a recursive c= ovenant? With a little extra work you can also control for amounts and stuf= f.</div></div> --0000000000006c662505d6bb857a--