1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
|
Delivery-date: Tue, 19 Nov 2024 12:24:41 -0800
Received: from mail-oo1-f62.google.com ([209.85.161.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+bncBDVJRHEUX4BRBAHI6O4QMGQEU7SVKAA@googlegroups.com>)
id 1tDUm9-0003Nv-7e
for bitcoindev@gnusha.org; Tue, 19 Nov 2024 12:24:41 -0800
Received: by mail-oo1-f62.google.com with SMTP id 006d021491bc7-5eb7826862csf1797892eaf.1
for <bitcoindev@gnusha.org>; Tue, 19 Nov 2024 12:24:41 -0800 (PST)
ARC-Seal: i=2; a=rsa-sha256; t=1732047875; cv=pass;
d=google.com; s=arc-20240605;
b=ZZPnmfjTQJ5kz5VEzZql7JPyMF2D8BMBuC5Ewz8glGOIon85JEVAGR28IuydPM+qPQ
zph7l1egy+f9YoBM/RHN4RIraH1phy2aOnpIcYQr71ewVIKSkPOkE4HNAxMdk4WKLaJN
6OJdh00MIwzjuv3gvxvCBS+uXWs8LLf7fluBCW3SinUeSPSJzWiIFJFugCw8XQjb0+54
uibyrmlTwstr6EWFoXhw5mLnhTuNR7BlO28luJVGJBatWIkF6yTznrzsy21cUdmITXPP
ukwP0gSjW7F5zgwyMX2wBxXU1qNmgvFBXDAAjyXDrFRHgr8JDU0Y/Og7q3katVKxzCBX
A/6Q==
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:in-reply-to:content-disposition
:mime-version:references:message-id:subject:cc:to:from:date:sender
:dkim-signature;
bh=WQt7JOyfNw1lT5BFE3YcIf64puwgaBWaEfG2S8KsxH8=;
fh=67fY78/+6jnK0ijPhV55eiVm70p+TJI0EXaTNd4KpVc=;
b=dYr5WXMCfBgSb9b2cJnpl/OqYES1TfjmeL2mFZUTtvJ0QDBjG470YlkFkEagKJFy8S
g7NutIXoMGB2RjWOQWZ2sNuB9lBODtNAH34WNLKfY0rIF3Ae4+Lmjg4gxETFIyvC1ShX
aAENdSpdER/qypbuHEgZ7f23xrZJ0eI8oiwSIQ6tDUeWVu4acwLareCkJia6ZqbXfEJi
vNZoVoFTidBapwgvyaijq91ylVBq5hiT24X4JDjZRBquvGq7eFZirrkY+obJe29bAiAa
Og+XN5hHpK59Gjri1XbopaxHaeo9ueUOE1cyGdz5ifHxQuSkUNJ9DyPDs/dyjHAzE2R/
Akfw==;
darn=gnusha.org
ARC-Authentication-Results: i=2; gmr-mx.google.com;
dkim=pass header.i=@reardencode.com header.s=mail header.b=hr+6+FQs;
spf=pass (google.com: domain of freedom@reardencode.com designates 2607:f2f8:ad40:ea11::1 as permitted sender) smtp.mailfrom=freedom@reardencode.com;
dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=reardencode.com
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=googlegroups.com; s=20230601; t=1732047875; x=1732652675; darn=gnusha.org;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:x-original-authentication-results
:x-original-sender:in-reply-to:content-disposition:mime-version
:references:message-id:subject:cc:to:from:date:sender:from:to:cc
:subject:date:message-id:reply-to;
bh=WQt7JOyfNw1lT5BFE3YcIf64puwgaBWaEfG2S8KsxH8=;
b=Oza+IUHMkIbYVJ2QCclXXnQ4MMw8Zgy9ggsrmgnec8fG2lRXbm/Md9TQsiyd2yhjXT
4axORrKPKpYC2pdesSdCD1hWg1Q6sDGkPkFiKOqm7nKbgGBil2tRxPANgB1Er3J6Cgo6
3Ics3iL3XvCrNjGXUYMyfU4Bl7bL/MzCimlFsQ8OZ+VkLj+nQHWOFGRwKrvNdfD+pkVt
PMN7iUlFqNhU3VIol0Zv57ADhNf3D9b5UcKnK4t0fVqMDGdECX1cRan8VIayYaMRZvQM
mLnjE6SxtLzZKqmxqXaexEqJP0cwHBWl+Bx83vO7HssJENG7A081rxmnX+ZhN05GffYl
HOZw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1732047875; x=1732652675;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:x-original-authentication-results
:x-original-sender:in-reply-to:content-disposition:mime-version
:references:message-id:subject:cc:to:from:date:x-beenthere
:x-gm-message-state:sender:from:to:cc:subject:date:message-id
:reply-to;
bh=WQt7JOyfNw1lT5BFE3YcIf64puwgaBWaEfG2S8KsxH8=;
b=KZ2d2QntneO+Ak+yKsDBPz0fi6KRJ09ygcYuMks3ZKGYUMwBwETKwompPP8GMicEwv
5P0Q/LMLC35eHru/S3QUbITF111QbQb5Sg43TxY7dPo6AQbbATfQu4aYQ0QoaebkOOND
r8YiPIuLFIl0BBIOhI+vv4/+WKRJaWk+FI8DYSatoEFXDHGEMKmWhRHiEYaf27R0UIxs
5A6JGqjjZ0UVZ/rY/gnJHXVdG8Pz+VQIi0NeaQEzxETwy6cLJ69o03IzNcmeL+ZD9OV7
BKyFQThTmVtXDqtoQcbVvBRTy8AFgQz+SwDxZONRcfTGk8z/V8XRABRz3XOESPQEg947
EpNg==
Sender: bitcoindev@googlegroups.com
X-Forwarded-Encrypted: i=2; AJvYcCWYxflcV6pXW1SzWwslQBnYGeitz6LOcGxXo2Tr8XZqC5MDLaT7zkdexwPOczJbqZ6Zqa1upI+z1eQa@gnusha.org
X-Gm-Message-State: AOJu0Yyq+Q++zuovXU6PJYAzHdMXSHuzs26k+toYbrQTkEJFWbMIkQv3
DH2G84uY+vRh7X+65+c0Ee6P4VK50O2/NIW73hBMJljmWakmf0YV
X-Google-Smtp-Source: AGHT+IHEZAjveUWYe7A3omUOUtzLWlIw8RqHFPS7L5lT1dV77n5t1cTSE9GoCoTiDLEki3Dth4WSzQ==
X-Received: by 2002:a4a:e911:0:b0:5eb:88a5:20e8 with SMTP id 006d021491bc7-5eee8204e63mr498570eaf.1.1732047875135;
Tue, 19 Nov 2024 12:24:35 -0800 (PST)
X-BeenThere: bitcoindev@googlegroups.com
Received: by 2002:a05:6820:4b12:b0:5ec:58bd:88ec with SMTP id
006d021491bc7-5eeb98a3a96ls2088587eaf.0.-pod-prod-06-us; Tue, 19 Nov 2024
12:24:32 -0800 (PST)
X-Forwarded-Encrypted: i=2; AJvYcCXgt+njG/FdA/ZMSf3SAnBAk8Jx1ZYW3gqGXCH2TOl6j63KZVUyKQ0/tnLI/mV/NV4902MjFw0PiwPR@googlegroups.com
X-Received: by 2002:a05:6808:1919:b0:3e6:ccc:2d91 with SMTP id 5614622812f47-3e7eb7a7867mr130786b6e.29.1732047872350;
Tue, 19 Nov 2024 12:24:32 -0800 (PST)
Received: by 2002:a05:6808:18b:b0:3e7:b3cb:fd2d with SMTP id 5614622812f47-3e7ea3f2349msb6e;
Tue, 19 Nov 2024 11:36:10 -0800 (PST)
X-Forwarded-Encrypted: i=2; AJvYcCUWlYlnIr1PM0miXdzIQDIIqneas/HOwIRn3K7lpfyK6D7A5nOXPduxM8BRn+Mf2f//EE9EIMYxIL59@googlegroups.com
X-Received: by 2002:a05:6a00:851:b0:71e:415:c4c6 with SMTP id d2e1a72fcca58-724bee4af27mr202534b3a.26.1732044969093;
Tue, 19 Nov 2024 11:36:09 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; t=1732044969; cv=none;
d=google.com; s=arc-20240605;
b=Zzg5SBFSJ2k4qvHw7XNvhI6uQ/Ls4YY/iQCgWOY6AD3scRoQkRx/mNfilwsnPL/OgQ
kg1BeI+w4ShNoBUJImWS75mp1CKOTKNU5AMWSYuExuJ3Zz2/cfuUKJgm9GXXb4kPCNNA
guvpGLXXlTqOR/aohvc6+H4cgMmbbyYvaj1sc807jc46ef7am3JK6NdZTQbxF5MUoOna
2UcCNzDuCbqkJTxzSzHcfP72AKAbao3quto7reGgfzw78KL/X4y685Hsl5SITQgIcULU
lC5acmVhRXQ0amAdfkYulgc6yPgFAunQ2bFKg5HsspVjswoX9i5RP2XTy9Mv59jB5xad
cYaw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605;
h=in-reply-to:content-disposition:mime-version:references:message-id
:subject:cc:to:from:dkim-signature:date;
bh=s122G0PGvGWxYGRTD7faFjuh/Cji5jAn//Yam2AamXU=;
fh=6foyvZRqcYhI+mYC2b4l6MsfmHGFsSYfIP7+KAPYgPI=;
b=RVHo71ZMlaR7nF4hjfYvNEcya6aUxAey/gqaD3CSuCDhkpZt/TQNruL+lXrP1ZX1pL
OY00nubCCXLe6YID6NDMKCRO01MddTiSdEq/7BACmxEhl35SXH8YlZEGwIVz4Rp/LIjQ
aIyXulL8ZTkprBXkJMQO9341/W1Wdc8sBS+IeAm2E1VTRwew9C3zXmjU5My3BGXFgDie
JWoCzztkUTjG8IEZNF8MqvhFU3KbsuyDW5cXfzbq+Is2/xfQTVJoE96CydebhdMzUKUX
BTtzm/AIuqDvk69NjtT0q695AeRL+AFtE7hxoZ8yCdITWgYgjJHk4NydA3bu51Z5/r7z
QLbw==;
dara=google.com
ARC-Authentication-Results: i=1; gmr-mx.google.com;
dkim=pass header.i=@reardencode.com header.s=mail header.b=hr+6+FQs;
spf=pass (google.com: domain of freedom@reardencode.com designates 2607:f2f8:ad40:ea11::1 as permitted sender) smtp.mailfrom=freedom@reardencode.com;
dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=reardencode.com
Received: from mail.reardencode.com ([2607:f2f8:ad40:ea11::1])
by gmr-mx.google.com with ESMTPS id d2e1a72fcca58-724bf0609e8si2901b3a.6.2024.11.19.11.36.08
for <bitcoindev@googlegroups.com>
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Tue, 19 Nov 2024 11:36:08 -0800 (PST)
Received-SPF: pass (google.com: domain of freedom@reardencode.com designates 2607:f2f8:ad40:ea11::1 as permitted sender) client-ip=2607:f2f8:ad40:ea11::1;
Date: Tue, 19 Nov 2024 11:35:32 -0800
From: Brandon Black <freedom@reardencode.com>
To: moonsettler <moonsettler@protonmail.com>
Cc: Weikeng Chen <weikeng.chen@l2iterative.com>,
Bitcoin Development Mailing List <bitcoindev@googlegroups.com>
Subject: Re: [bitcoindev] Multi-byte opcodes
Message-ID: <ZzzohFCFjJebA8_2@console>
References: <4235f7d2-8e09-428a-813d-9034cb21f48an@googlegroups.com>
<Zzt2OCE6Aj9H3DiY@console>
<E95uz4uyQgikJKtximyueqFTRs7cTJfpcdVvkrYEkfZ__DTpvwlsm0MSsX8BaqKg6KnONx6eQ5VueijeMqWQ8uI4iFKA--irKATjN1K4Fbg=@protonmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Disposition: inline
In-Reply-To: <E95uz4uyQgikJKtximyueqFTRs7cTJfpcdVvkrYEkfZ__DTpvwlsm0MSsX8BaqKg6KnONx6eQ5VueijeMqWQ8uI4iFKA--irKATjN1K4Fbg=@protonmail.com>
X-Operating-System: Linux 6.6.36 x86_64
X-Original-Sender: freedom@reardencode.com
X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass
header.i=@reardencode.com header.s=mail header.b=hr+6+FQs; spf=pass
(google.com: domain of freedom@reardencode.com designates 2607:f2f8:ad40:ea11::1
as permitted sender) smtp.mailfrom=freedom@reardencode.com; dmarc=pass
(p=NONE sp=NONE dis=NONE) header.from=reardencode.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: -0.8 (/)
On 2024-11-19 (Tue) at 16:38:21 +0000, moonsettler wrote:
> I think we should discuss back-porting tapscript instead of coming up with a further divergent set of opcodes.
>
> To sum up earlier discussion with Brandon, we could:
>
> * Use a single upgradeable NOP for OP_TAPSCRIPTVERIFY
> * <s1> .. <sn> | <faux-control-block> <tapscript> CTAPV
> * Isolated execution environment
> * Gets the entire stack below the top 2 elements
> * Fails if it fails, does nothing if internal script succeeds.
> * Require the last opcode executed by the script interpreter to be a push opcode, fails otherwise
>
> The faux control block can be just a few bytes mainly for tapscript version.
Few additional points that came up in discussing this with moon earlier:
* Compared to enabling tapscript without a key spend path (i.e.
potential for quantum resistance) via a new witnessv1 program length
or a new witness version, this approach will be similar in weight.
* The biggest challenge with this approach that I came up with is the
need to clean up the stack after execution (to satisfy witness v0
clean stack).
* To keep it simple, it probably makes sense to make it a 1-primary
argument opcode where the argument is `<tapscript||version>` to
prevent the version from coming from spend-time witness elements.
Best,
--Brandon
--
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/bitcoindev/ZzzohFCFjJebA8_2%40console.
|
