From mboxrd@z Thu Jan  1 00:00:00 1970
Delivery-date: Fri, 15 Nov 2024 09:51:38 -0800
Received: from mail-qv1-f62.google.com ([209.85.219.62])
	by mail.fairlystable.org with esmtps  (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256
	(Exim 4.94.2)
	(envelope-from <bitcoindev+bncBDL4XL646QOBBIMU324QMGQEMK4PXMQ@googlegroups.com>)
	id 1tC0Tp-0004vf-T0
	for bitcoindev@gnusha.org; Fri, 15 Nov 2024 09:51:38 -0800
Received: by mail-qv1-f62.google.com with SMTP id 6a1803df08f44-6d4037d4fcbsf6217186d6.3
        for <bitcoindev@gnusha.org>; Fri, 15 Nov 2024 09:51:37 -0800 (PST)
ARC-Seal: i=2; a=rsa-sha256; t=1731693091; cv=pass;
        d=google.com; s=arc-20240605;
        b=YCrpYkVtnDPkyCePbMWKicNU/Bg1VvLlPwC6HEbJeMjdeAKX8u7fleGuolSAa4Bf+d
         n8STt90x3VlBc1ytBweApIIz7Paj0MdxTCO+84w0NkR7kRC8VkafwrNbo3wZssfJBaR+
         s3bdMr5Oz8JWFZlMxmcdTjIM1VnWkpu1ajE3DxB/PC8Uv0YFlD4ciVToZMN/yiquNj7q
         PYyPxdr2HFKI1ZNAOqNy2cNphvrGhx3tSeq0o/g17Tf8vBwY2eIGSPTvbtBerMGmmwJg
         qevbRkDq1ciw47QzCqB5cBVHjmO+7mm8MoyyedkVnzutGYUm3GlkP8/oTVYK2B/aSy+z
         ncxw==
ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605;
        h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
         :list-id:mailing-list:precedence:reply-to:content-transfer-encoding
         :mime-version:feedback-id:references:in-reply-to:message-id:subject
         :cc:from:to:date:dkim-signature;
        bh=18aH1eH18f+rcNXK1AtfGPFFqQtOHifOMW+CkAz1c+s=;
        fh=+ipBuu/lzDRMiUy9C7xNBgC6H+t0nAJLZQF82TlZYsk=;
        b=XMXfYfB497S56ZfHxkFJuliIgwxYmcIQ/h3CEXBUetkMpVWoak9F7cIBCz/BGMn88p
         g1mpLOuJCyoi8spTrkDD8Ns/F56o1Nwi3C1Cwu4TsSCJKX+XSseDa839LjZtGM1gDk8B
         Ze6nqQHRxZGEonCj1McIe+VTcQaYqdr1EDqg752RD1jd9XsR6izyO0cP8DgQEC5wI6tX
         GpPY2yKbwUeH+XCoTmHh0cuYyZuofzL5jBOrgageBKLJBl1YkPccWqIAjEQHgwb+HGgn
         4y4UEA8ffzxWLcfYMMbPUiFMHvf+PPqrIMnh9awH+/3i1lbtnNMDTc/jT8hfPjjQewGn
         j32Q==;
        darn=gnusha.org
ARC-Authentication-Results: i=2; gmr-mx.google.com;
       dkim=pass header.i=@protonmail.com header.s=protonmail3 header.b=pkgd5+bS;
       spf=pass (google.com: domain of darosior@protonmail.com designates 185.70.40.130 as permitted sender) smtp.mailfrom=darosior@protonmail.com;
       dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=protonmail.com
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20230601; t=1731693091; x=1732297891; darn=gnusha.org;
        h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
         :list-id:mailing-list:precedence:reply-to
         :x-original-authentication-results:x-original-sender
         :content-transfer-encoding:mime-version:feedback-id:references
         :in-reply-to:message-id:subject:cc:from:to:date:from:to:cc:subject
         :date:message-id:reply-to;
        bh=18aH1eH18f+rcNXK1AtfGPFFqQtOHifOMW+CkAz1c+s=;
        b=cm8WA9S7CvbtlgCeG1U79p8/g6bRadPvXNUoDeDiRVJXmCFTGK1fMfVqpE20yoklpK
         GD0/euhr0YRvgWImyuBP8feSLxnxJVXCvf9LcONhDbEybbIMjmmH4qYN4Ljt1YfquZkb
         fdqZ8zIuPv9Pey3qcwXr+xFFVPW+9WaE6efuegYrPKJGBnhZN0yXkYNtR4P3YOTGJ+nQ
         8GCQ7s7kZBxIKl07aIFCbEXtnXtnXXTY+58twZjim2xfOqAw3G3ebLKaF7qpkK9W75Fd
         YPKIJgZv+B1FXx8xHuauY2TcTf/XZxuIYZ8Mpbab1jMyT3xiquXxn7ZqwwGHj6dBWduq
         y8Lg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20230601; t=1731693091; x=1732297891;
        h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
         :list-id:mailing-list:precedence:reply-to
         :x-original-authentication-results:x-original-sender
         :content-transfer-encoding:mime-version:feedback-id:references
         :in-reply-to:message-id:subject:cc:from:to:date:x-beenthere
         :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
        bh=18aH1eH18f+rcNXK1AtfGPFFqQtOHifOMW+CkAz1c+s=;
        b=t2V56O/eQzfMG9tWuXlQSi6O22bedLwetpiOHJyO3BvAJnAEsuNAdsMsltC+pww08n
         jvJC/zSDVSMIsndgaKPr2wdYew0yt4+5r9yBrWmvj6MVN0O/2VeYjC5eFA9K97sRhe1R
         SRX2r/8tcJ4FQPYAe1t35mp4uycfqbQWEKP5xzp3bFUwMXoLDZSQB3CIA7b9W/9Kz8cY
         aJxe2cq6ASN3zBZ3AmWLav+LtYVU9ZkoTYARJP4Jl/PWXPCnCoJ8hhKXjJLohSpvKWhg
         QMdDzGF1IDzgMsI8qn5xsRvUcZZlC7EZZZHAEXBZS0NIfH3Pki4RQukk6v5Jvws6bJdg
         rTqw==
X-Forwarded-Encrypted: i=2; AJvYcCUq8B4bcTUDHzi3+EquJjwSuyDfNvwuufqCd0IXqqx5u9/xjLEXR7dT6ProJiXyKZZFPugiSKEVfIGC@gnusha.org
X-Gm-Message-State: AOJu0Yz84qudCP64DpVAH9r9LYGPWuzVFxMKExEwwAdPi3s4ObLt+Q5x
	VhTnz9hC85uR0BfzlFvYfamcE9/tBUOui/oEBdq9O9PAsKzErNRo
X-Google-Smtp-Source: AGHT+IHfQhGRrSfCdX+ZFDOo9nvAvhGX3XA9Xt+ee+S06MHxI4qWIc36yJex0yqxSalGT/QKVbjkkg==
X-Received: by 2002:a05:6214:4a06:b0:6d3:45cb:40eb with SMTP id 6a1803df08f44-6d3fb74962bmr55729176d6.10.1731693091559;
        Fri, 15 Nov 2024 09:51:31 -0800 (PST)
X-BeenThere: bitcoindev@googlegroups.com
Received: by 2002:a05:6214:20e2:b0:6c5:e73:a956 with SMTP id
 6a1803df08f44-6d3ea6c7cc6ls28417696d6.1.-pod-prod-01-us; Fri, 15 Nov 2024
 09:51:29 -0800 (PST)
X-Received: by 2002:a05:620a:4092:b0:7af:c60d:a0a7 with SMTP id af79cd13be357-7b36232da2bmr342859585a.50.1731693088903;
        Fri, 15 Nov 2024 09:51:28 -0800 (PST)
Received: by 2002:ae9:c002:0:b0:7b1:4744:32d3 with SMTP id af79cd13be357-7b35b0a1849ms85a;
        Fri, 15 Nov 2024 07:33:39 -0800 (PST)
X-Received: by 2002:a05:651c:1590:b0:2ff:5897:2709 with SMTP id 38308e7fff4ca-2ff60766f4emr18285711fa.38.1731684816701;
        Fri, 15 Nov 2024 07:33:36 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; t=1731684816; cv=none;
        d=google.com; s=arc-20240605;
        b=e6BGlCNTBbAxC4ZSvoMwnH9+NnHMtIcloRhUoJwq6YbfPvNsDu1uOnM9dWyHKQ6ZCL
         6mTMT2iBgRYFwz2gxB+RcygFl6bJ8FhBkogW2mDZBpci2EyeoZnYrFRqypQGcyWZsrXG
         6zH6HqMXJwkEXfQ3bu3itDy+ckS78FwNsATXMUhjNjeUhMnaICdNqYQlv0DLWNovnY5q
         GjcpFjNK7NSvr2dLxWp3kf9G8j0kQPo3fzDthUVmD6nJQzmx7b6iH9QeA5JWAOI/N/X6
         9GhKi7rPqiKRmqZdj/DTar9hwBHbFC6i3+G/VJtHAer9wsqhBn86dqg+7x6Kd55tf3YU
         JeGw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605;
        h=content-transfer-encoding:mime-version:feedback-id:references
         :in-reply-to:message-id:subject:cc:from:to:date:dkim-signature;
        bh=4na0Zf63NgcJdBV7aGLU4b7IHXM32Pkpk0Gpa1uHOME=;
        fh=foaZ9w3C3c5ltuXRyLrsJcSZd5F+/L4e8AHpKYxjE8o=;
        b=jViDz3h9a3pytcqenBecOdCU1fWKPRq224K4Y2US/1rEs8/7srn9uZzbLKX5t2aWPG
         s4ZZ8H57YTuHMcnobhJutrjlvELTAbg+N9P4xkMDEBvvrp9TDFK3VlcVyTRbVx9ySrab
         V6tYWlclJ45v3vhEuZCSI5j8s2FB0ox1fux8Jyc/9MrIxjaE7O6LnuNBMdYGqW/JRZsu
         xR5iJZHky/OMg50GFLo8HFZg+91f2zR8bbqg9B9lq95y1Z2h2KDOb9LcF3OHMKhNyL8u
         xjyfFyDZwbptVCRauGtE/5q+rBDudgfee+ebVwcrpV4R81FVkW02xxGuElLJfATsTOW0
         qHNg==;
        dara=google.com
ARC-Authentication-Results: i=1; gmr-mx.google.com;
       dkim=pass header.i=@protonmail.com header.s=protonmail3 header.b=pkgd5+bS;
       spf=pass (google.com: domain of darosior@protonmail.com designates 185.70.40.130 as permitted sender) smtp.mailfrom=darosior@protonmail.com;
       dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=protonmail.com
Received: from mail-40130.protonmail.ch (mail-40130.protonmail.ch. [185.70.40.130])
        by gmr-mx.google.com with ESMTPS id 38308e7fff4ca-2ff598a1a9dsi593101fa.6.2024.11.15.07.33.36
        for <bitcoindev@googlegroups.com>
        (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
        Fri, 15 Nov 2024 07:33:36 -0800 (PST)
Received-SPF: pass (google.com: domain of darosior@protonmail.com designates 185.70.40.130 as permitted sender) client-ip=185.70.40.130;
Date: Fri, 15 Nov 2024 15:33:32 +0000
To: Murch <murch@murch.one>
From: "'Antoine Poinsot' via Bitcoin Development Mailing List" <bitcoindev@googlegroups.com>
Cc: bitcoindev@googlegroups.com
Subject: Re: [bitcoindev] CHECKSIGFROMSTACK(VERIFY/ADD)
Message-ID: <nRFLHRhwXER56TrZy50tJ2HmvipjteXzPfz6mEs_VmyZ5sXDNVUIUniPppSphF5SOVCQmpRZSjmBN8_eIMZEbdFgl3vJn-8XSEmpAFmj5SM=@protonmail.com>
In-Reply-To: <c91269ac-e579-4089-bf9a-fdc076e34727@murch.one>
References: <ZzZziZOy4IrTNbNG@console> <c91269ac-e579-4089-bf9a-fdc076e34727@murch.one>
Feedback-ID: 7060259:user:proton
X-Pm-Message-ID: a4895ab6efe546737ce2e0c84b7d0cd06224fc68
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Original-Sender: darosior@protonmail.com
X-Original-Authentication-Results: gmr-mx.google.com;       dkim=pass
 header.i=@protonmail.com header.s=protonmail3 header.b=pkgd5+bS;
       spf=pass (google.com: domain of darosior@protonmail.com designates
 185.70.40.130 as permitted sender) smtp.mailfrom=darosior@protonmail.com;
       dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=protonmail.com
X-Original-From: Antoine Poinsot <darosior@protonmail.com>
Reply-To: Antoine Poinsot <darosior@protonmail.com>
Precedence: list
Mailing-list: list bitcoindev@googlegroups.com; contact bitcoindev+owners@googlegroups.com
List-ID: <bitcoindev.googlegroups.com>
X-Google-Group-Id: 786775582512
List-Post: <https://groups.google.com/group/bitcoindev/post>, <mailto:bitcoindev@googlegroups.com>
List-Help: <https://groups.google.com/support/>, <mailto:bitcoindev+help@googlegroups.com>
List-Archive: <https://groups.google.com/group/bitcoindev
List-Subscribe: <https://groups.google.com/group/bitcoindev/subscribe>, <mailto:bitcoindev+subscribe@googlegroups.com>
List-Unsubscribe: <mailto:googlegroups-manage+786775582512+unsubscribe@googlegroups.com>,
 <https://groups.google.com/group/bitcoindev/subscribe>
X-Spam-Score: -1.0 (-)

To add to Murch's point, from my experience working with Script in general =
and
trying to estimate the cost of validation of legacy script as part of the
consensus cleanup in particular, i think we should refrain from modifying l=
egacy
Script and further complicate reasoning about the worst case unless strictl=
y
necessary.

Best,
Antoine

On Friday, November 15th, 2024 at 9:57 AM, Murch <murch@murch.one> wrote:

> Hi everyone,
>=20
> On 2024-11-14 17:02, Brandon Black wrote:
>=20
> > * Should CHECKSIGFROMSTACKVERIFY (CSFSV) be added to pre-tapscript
> > [=E2=80=A6]
> > My personal thinking in initially including CSFSV in earlier script ver=
sions was basically that it's compatible with NOP forking, so why not.
>=20
>=20
> If there is no compelling use case or concrete benefit, I don=E2=80=99t t=
hink "it=E2=80=99s compatible, why not" is convincing motivation, especiall=
y at the cost of a NOP.
>=20
> On 2024-11-14 17:02, Brandon Black wrote:
>=20
> > * Should we include CHECKSIGFROMSTACKADD?
>=20
>=20
> I feel similar about this. If there is currently no demand for this, and =
future demand also seems unlikely, I would prefer a smaller, more focused s=
et of changes.
>=20
> Cheers,
> Murch
>=20
> --
> You received this message because you are subscribed to the Google Groups=
 "Bitcoin Development Mailing List" group.
> To unsubscribe from this group and stop receiving emails from it, send an=
 email to bitcoindev+unsubscribe@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/bitcoinde=
v/c91269ac-e579-4089-bf9a-fdc076e34727%40murch.one.

--=20
You received this message because you are subscribed to the Google Groups "=
Bitcoin Development Mailing List" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to bitcoindev+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/bitcoindev/=
nRFLHRhwXER56TrZy50tJ2HmvipjteXzPfz6mEs_VmyZ5sXDNVUIUniPppSphF5SOVCQmpRZSjm=
BN8_eIMZEbdFgl3vJn-8XSEmpAFmj5SM%3D%40protonmail.com.