Return-Path: <pete@petertodd.org>
Received: from smtp3.osuosl.org (smtp3.osuosl.org [140.211.166.136])
 by lists.linuxfoundation.org (Postfix) with ESMTP id 8307DC0032
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Thu, 26 Oct 2023 21:55:54 +0000 (UTC)
Received: from localhost (localhost [127.0.0.1])
 by smtp3.osuosl.org (Postfix) with ESMTP id 437E16FCB2
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Thu, 26 Oct 2023 21:55:54 +0000 (UTC)
DKIM-Filter: OpenDKIM Filter v2.11.0 smtp3.osuosl.org 437E16FCB2
Authentication-Results: smtp3.osuosl.org; dkim=pass (2048-bit key,
 unprotected) header.d=messagingengine.com header.i=@messagingengine.com
 header.a=rsa-sha256 header.s=fm3 header.b=P5SoyOhO
X-Virus-Scanned: amavisd-new at osuosl.org
X-Spam-Flag: NO
X-Spam-Score: -2.6
X-Spam-Level: 
X-Spam-Status: No, score=-2.6 tagged_above=-999 required=5
 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1,
 RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001,
 RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001]
 autolearn=ham autolearn_force=no
Received: from smtp3.osuosl.org ([127.0.0.1])
 by localhost (smtp3.osuosl.org [127.0.0.1]) (amavisd-new, port 10024)
 with ESMTP id 9okKnkZLq3VP
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Thu, 26 Oct 2023 21:55:52 +0000 (UTC)
Received: from out1-smtp.messagingengine.com (out1-smtp.messagingengine.com
 [66.111.4.25])
 by smtp3.osuosl.org (Postfix) with ESMTPS id A20866FCB1
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Thu, 26 Oct 2023 21:55:52 +0000 (UTC)
DKIM-Filter: OpenDKIM Filter v2.11.0 smtp3.osuosl.org A20866FCB1
Received: from compute2.internal (compute2.nyi.internal [10.202.2.46])
 by mailout.nyi.internal (Postfix) with ESMTP id 9E56C5C0263;
 Thu, 26 Oct 2023 17:55:51 -0400 (EDT)
Received: from mailfrontend2 ([10.202.2.163])
 by compute2.internal (MEProxy); Thu, 26 Oct 2023 17:55:51 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=
 messagingengine.com; h=cc:content-type:content-type:date:date
 :feedback-id:feedback-id:from:from:in-reply-to:in-reply-to
 :message-id:mime-version:references:reply-to:sender:subject
 :subject:to:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender
 :x-sasl-enc; s=fm3; t=1698357351; x=1698443751; bh=rY2icI2bwUIFs
 KYFofuBiCxuRqvWkYJxgu52lPEUgnA=; b=P5SoyOhOpP7kG3JMr86zyAgE8rf4g
 +Dy8AHoilS5Vv81Y1kyiODFopWGNEVSe2mZVCaAHhDNyIOevVnKxnt1ZKZQ1PDO2
 gcUHVpYgnwDrFHKwPFuE2RxWL7VP8wQig6GBOLmi+7CBy+i2YfxY5RXvHs7cVPyt
 FspG0vG7ufdqYPxmpRA6t7CafE+/E8QeZGKos78C5cXRQ0Hugkge1WpS18FFaKtZ
 okrswmgfFrX5XjK5deOhYm/rcBy9dw8OYSHntFN/7lHpb4CDhGg01xEJ0x2h+/pZ
 8yNyDE2Zs4q6H9X7THIrXvY5hMViaxNwU5xfeXgu8c+rEZJesLkYcVkxg==
X-ME-Sender: <xms:ZuA6ZQLijiHPLtEi1Ynj_v6XFDzUkiDwKbldJn4O83RsciAOcm1iTg>
 <xme:ZuA6ZQIjsgbnlql4e6BGG1IPnybSGO_kKhssL207NvSLp0lFE1wYFuaWeDzi11y-L
 3qDf5iorS2G2nxOrD8>
X-ME-Received: <xmr:ZuA6ZQsMhd4eMs9h8c9ymM9X6QFM1V-JkjcpCVDgqkIJOpMXkg-cZME7WHoVoWL-GCmBZKJIFg1GoTgkQYsvumP-OUeL>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvkedrleefgddthecutefuodetggdotefrodftvf
 curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu
 uegrihhlohhuthemuceftddtnecunecujfgurhepfffhvffukfhfgggtuggjsehgtderre
 dttddvnecuhfhrohhmpefrvghtvghrucfvohguugcuoehpvghtvgesphgvthgvrhhtohgu
 ugdrohhrgheqnecuggftrfgrthhtvghrnhepiedvvdelieekjeeukefgtdelfeegheehle
 ffueehteeghfelveejfeelgeevffefnecuffhomhgrihhnpehpvghtvghrthhouggurdho
 rhhgnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrhhomhepph
 gvthgvsehpvghtvghrthhouggurdhorhhg
X-ME-Proxy: <xmx:ZuA6ZdZufzAeVL6eVUD39yFfC99JYEdjhSk5TScFOufMo6AOyqdg2w>
 <xmx:ZuA6ZXY5YiEHJ5oG8xtdZWQtC1GXFiPi1bH6LTbjgcCPRr-7xIkmig>
 <xmx:ZuA6ZZAXIUT6egtcC3roR9Y2c7cbKbccSFG2UzdOBV-iCxJe0ovnTQ>
 <xmx:Z-A6ZTHfXhOfvBGq2Dxho0ANXEyQkvpMJZumwulahn5I64Fe8L1TWw>
Feedback-ID: i525146e8:Fastmail
Received: by mail.messagingengine.com (Postfix) with ESMTPA; Thu,
 26 Oct 2023 17:55:50 -0400 (EDT)
Received: by localhost (Postfix, from userid 1000)
 id BF60F5F97F; Thu, 26 Oct 2023 21:55:48 +0000 (UTC)
Date: Thu, 26 Oct 2023 21:55:48 +0000
From: Peter Todd <pete@petertodd.org>
To: Ethan Heilman <eth3rs@gmail.com>,
 Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Message-ID: <ZTrgZPwv1BlXqyWV@petertodd.org>
References: <CAEM=y+XDB7GGa5BTAWrQHqTqQHBE2VRyd7VWjEb+zCOMzRP+Lg@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha512;
 protocol="application/pgp-signature"; boundary="TYRilTdV0/skuLlG"
Content-Disposition: inline
In-Reply-To: <CAEM=y+XDB7GGa5BTAWrQHqTqQHBE2VRyd7VWjEb+zCOMzRP+Lg@mail.gmail.com>
Subject: Re: [bitcoin-dev] Proposed BIP for OP_CAT
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: Thu, 26 Oct 2023 21:55:54 -0000


--TYRilTdV0/skuLlG
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Sat, Oct 21, 2023 at 01:08:03AM -0400, Ethan Heilman via bitcoin-dev wro=
te:
> OP_CAT fails if there are less than two values on the stack or if a
> concatenated value would have a combined size of greater than the
> maximum script element size of 520 Bytes.

Note that if OP_CAT immediately _succeeds_ if the combined size is >=3D 520
bytes, reverting to the behavior of OP_SUCCESSx, the maximum size can be
increased in a subsequent soft fork.

Of course, this would often require extra opcodes to validate the size of
non-const arguments. But you'd only need another five or six bytes in many
cases:

    SIZE <n> LESSTHAN VERIFY
    <fixed data>
    CAT

--=20
https://petertodd.org 'peter'[:-1]@petertodd.org

--TYRilTdV0/skuLlG
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEE0RcYcKRzsEwFZ3N5Lly11TVRLzcFAmU64FwACgkQLly11TVR
Lzeh8BAAiqDsH9vftys91EdeCEGMDASRgrn9mGEP/9Nirq9k+OFALDjgIzaBFFMa
jtQd0ZxXBDsn9ksM2SwCxQlyzeAOQjFeVBMJd/7rtnqpO4ltVFzGOhXCeNthtsF7
9CXG423B3rwH0G0VusoEGaq1Kf4pyGtgKY5cM8ypMqK7wCK3m/Nz3jYyoILgH+Lj
7C09L/db9iOuJT6fMRWbUD+Hh8WI9Aywz1HZZJhOAvKCkO2dJt+sEvZI86LtE/a0
vwdbiYg9yhPfU3pM60w/GidDnlo3/ybetiyWkQzsYfZ6GZCqHD6qHoKGIoXXZ4rZ
RNjljuRR5DJMppn4Oecbxry0SlY72s/cg2CJiEQLLpVtsOjK3wX4lZca0hfAn4BL
yWz3QHJRxDq1PkVt/ymWxNWnGAyi1Tvg3tyxxX3wCbTdTwpEJP/ItAG3SlBISpry
ev98ynTMCYLpXx2hNQX/8GlMWtSDhhM54dDuoYAAJ9ozfMpqi+qUHKLelnTFve7z
8otzmTvnfJETRk098w5IUnR4/ZK5609bOYBhaYayA1KEOfShxxg0/fIe3MgCozoS
Bl6A48hBKfnkfyXchKmtNGfdC46Mmsvsfvswvv/B/n7fg9gHLQCwaQo22UFa6RF8
iCMKSabNyhITb40XQduBmNoODUoNRYfspe8lCuh6l7rBB5JK6UU=
=qzDT
-----END PGP SIGNATURE-----

--TYRilTdV0/skuLlG--