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
182
183
184
185
186
187
188
|
Return-Path: <roconnor@blockstream.io>
Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org
[172.17.192.35])
by mail.linuxfoundation.org (Postfix) with ESMTPS id 37176BF8
for <bitcoin-dev@lists.linuxfoundation.org>;
Fri, 3 Nov 2017 01:10:45 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.7.6
Received: from mail-vk0-f42.google.com (mail-vk0-f42.google.com
[209.85.213.42])
by smtp1.linuxfoundation.org (Postfix) with ESMTPS id 986434CE
for <bitcoin-dev@lists.linuxfoundation.org>;
Fri, 3 Nov 2017 01:10:44 +0000 (UTC)
Received: by mail-vk0-f42.google.com with SMTP id g11so840459vkd.13
for <bitcoin-dev@lists.linuxfoundation.org>;
Thu, 02 Nov 2017 18:10:44 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=blockstream-io.20150623.gappssmtp.com; s=20150623;
h=mime-version:in-reply-to:references:from:date:message-id:subject:to;
bh=+FaOFYps/Ec8OoAG3skQNnnvBmsfdn9eI7mG+c/8K6U=;
b=B9b+RfObnS9VFDKyRHT+20kTz7mmxR7DF0bXV+lPTVyveDVrCq/I7LP4osUfsVzsBM
3gXieCcnvbTp4ZHhVfqnHRsAyxo7R9AyYUh3exCFP4Cgeb14WU/U83MoaQzP0oGBvIE1
GyqG5oe/1iU4UeLFIGQBJrIhqWm2AyehOhi6NEia94BXsG1fLla1m8pjH/KuIAZ34sIb
18S1xamuU6nT6vfNgfK8fGGVZUC2ePN5+qnPb6h2wv0GcVIC5da8ID+1g5C1QOVIkj3v
qVLRxUcHisAvwPw3mFbFmDaG4qJFm2j5Vjr1v/Q3BwentWh4Om1Tq3hQ4k5UfdTuKuMq
WmPw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20161025;
h=x-gm-message-state:mime-version:in-reply-to:references:from:date
:message-id:subject:to;
bh=+FaOFYps/Ec8OoAG3skQNnnvBmsfdn9eI7mG+c/8K6U=;
b=k1VJlxP7sLKFiA38LtXou7Vilu0eBx/OE7Estf1kjsHAiNvOrsOEW417Vamp7AskAl
d57um7m8MaO82Agid+faoDYN7+z/rtPQfn7xrdwCRqv/4niPfapz67ZNgY1P03KW8C/b
5+PYzU72XP/+/oaNk5DoPhTecNKSVntyLt5V1XpoEHZvO39nS3dPsIuJNPgeczLX+uyf
Wix1x8jM5uwa7/c5aQPdYFe3bad6pY94JKaoxk1/MHpaoPrYsVnnnDtogoKJBexbzaZ4
9GHZTt92vv1hNfKUX5upgyRf0MW00abWQWVY+mJOzaxEc+7mvrzFTmujAzUFRdnqge1z
lx2Q==
X-Gm-Message-State: AMCzsaUcAkpQqG+rRZLbpBnB08OkrUDNHnUxroR4rkJwn9EMXfX/DYsU
gZCobAnyd6YGYdn1JXElQrGe5KnMVIWIP/SQM5whFg==
X-Google-Smtp-Source: ABhQp+SvW1+rm8jxVCJ4c+PNWUrgwbV50fEzeg0mfZ7LGwj4PNKT0fjtKLFO32IWMk2g2Y0R9gbePgigl6ZdVNoea+Q=
X-Received: by 10.31.180.143 with SMTP id d137mr4108285vkf.40.1509671443619;
Thu, 02 Nov 2017 18:10:43 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.176.73.202 with HTTP; Thu, 2 Nov 2017 18:10:42 -0700 (PDT)
Received: by 10.176.73.202 with HTTP; Thu, 2 Nov 2017 18:10:42 -0700 (PDT)
In-Reply-To: <052D6E20-7194-4645-B628-1B7B7FECF330@gmail.com>
References: <mailman.5469.1509483670.27509.bitcoin-dev@lists.linuxfoundation.org>
<052D6E20-7194-4645-B628-1B7B7FECF330@gmail.com>
From: "Russell O'Connor" <roconnor@blockstream.io>
Date: Thu, 2 Nov 2017 21:10:42 -0400
Message-ID: <CAMZUoKk+8MFLywQB3jQFkk7BYZ4Rw3Paj=ErQe8pZ0beGwu0RA@mail.gmail.com>
To: =?UTF-8?Q?JOSE_FEMENIAS_CA=C3=91UELO?= <jose.femenias@gmail.com>,
Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Content-Type: multipart/alternative; boundary="001a1143fc241ffcd1055d09c65b"
X-Spam-Status: No, score=0.0 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,
HTML_MESSAGE,RCVD_IN_DNSWL_NONE autolearn=disabled version=3.3.1
X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on
smtp1.linux-foundation.org
Subject: Re: [bitcoin-dev] Simplicity proposal - Jets?
X-BeenThere: bitcoin-dev@lists.linuxfoundation.org
X-Mailman-Version: 2.1.12
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: Fri, 03 Nov 2017 01:10:45 -0000
--001a1143fc241ffcd1055d09c65b
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Hi Jose,
Jets are briefly discussed in section 3.4 of
https://blockstream.com/simplicity.pdf
The idea is that we can recognize some set of popular Simplicity
expressions, and when the Simplicity interpreter encounters one of these
expressions it can skip over the Simplicity interpreter and instead
directly evaluate the function using specialized C or assembly code.
For example, when the Simplicity interpreter encounters the Simplicity
expression for ECDSA verification, it might directly call into libsecp
rather than continuing the ECDSA verification using interpreted Simplicity.
HTH.
On Nov 2, 2017 18:35, "JOSE FEMENIAS CA=C3=91UELO via bitcoin-dev" <
bitcoin-dev@lists.linuxfoundation.org> wrote:
Hi,
I am trying to follow this Simplicity proposal and I am seeing all over
references to =E2=80=98jets=E2=80=99, but I haven=E2=80=99t been able to fi=
nd any good reference to
it.
Can anyone give me a brief explanation and or a link pointing to this
feature?
Thanks
On 31 Oct 2017, at 22:01, bitcoin-dev-request@lists.linuxfoundation.org
wrote:
The plan is that discounted jets will be explicitly labeled as jets in the
commitment. If you can provide a Merkle path from the root to a node that
is an explicit jet, but that jet isn't among the finite number of known
discounted jets,
_______________________________________________
bitcoin-dev mailing list
bitcoin-dev@lists.linuxfoundation.org
https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev
--001a1143fc241ffcd1055d09c65b
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"auto"><div>Hi Jose,<div dir=3D"auto"><br></div><div dir=3D"auto=
">Jets are briefly discussed in section 3.4 of <a href=3D"https://blockstre=
am.com/simplicity.pdf">https://blockstream.com/simplicity.pdf</a></div><div=
dir=3D"auto"><br></div><div dir=3D"auto">The idea is that we can recognize=
some set of popular Simplicity expressions, and when the Simplicity interp=
reter encounters one of these expressions it can skip over the Simplicity i=
nterpreter and instead directly evaluate the function using specialized C o=
r assembly code.</div><div dir=3D"auto"><br></div><div dir=3D"auto">For exa=
mple, when the Simplicity interpreter encounters the Simplicity expression =
for ECDSA verification, it might directly call into libsecp rather than con=
tinuing the ECDSA verification using interpreted Simplicity.</div><div dir=
=3D"auto"><br></div><div dir=3D"auto">HTH.</div><br><div class=3D"gmail_ext=
ra"><br><div class=3D"gmail_quote">On Nov 2, 2017 18:35, "JOSE FEMENIA=
S CA=C3=91UELO via bitcoin-dev" <<a href=3D"mailto:bitcoin-dev@list=
s.linuxfoundation.org">bitcoin-dev@lists.linuxfoundation.org</a>> wrote:=
<br type=3D"attribution"><blockquote class=3D"quote" style=3D"margin:0 0 0 =
.8ex;border-left:1px #ccc solid;padding-left:1ex"><div style=3D"word-wrap:b=
reak-word">Hi,<div><br></div><div>I am trying to follow this Simplicity pro=
posal and I am seeing all over references to =E2=80=98jets=E2=80=99, but I =
haven=E2=80=99t been able to find any good reference to it.</div><div>Can a=
nyone give me a brief explanation and or a link pointing to this feature?</=
div><div>Thanks</div><div><br></div><div><div><blockquote type=3D"cite"><di=
v>On 31 Oct 2017, at 22:01, <a href=3D"mailto:bitcoin-dev-request@lists.lin=
uxfoundation.org" target=3D"_blank">bitcoin-dev-request@lists.<wbr>linuxfou=
ndation.org</a> wrote:</div><br class=3D"m_-8057571337992392675Apple-interc=
hange-newline"><div><span style=3D"font-family:Helvetica;font-size:12px;fon=
t-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:n=
ormal;text-align:start;text-indent:0px;text-transform:none;white-space:norm=
al;word-spacing:0px;float:none;display:inline!important">The plan is that d=
iscounted jets will be explicitly labeled as jets in the</span><br style=3D=
"font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:n=
ormal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent=
:0px;text-transform:none;white-space:normal;word-spacing:0px"><span style=
=3D"font-family:Helvetica;font-size:12px;font-style:normal;font-variant-cap=
s:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-ind=
ent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;=
display:inline!important">commitment.=C2=A0 If you can provide a Merkle pat=
h from the root to a node that</span><br style=3D"font-family:Helvetica;fon=
t-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;l=
etter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;w=
hite-space:normal;word-spacing:0px"><span style=3D"font-family:Helvetica;fo=
nt-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;=
letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;=
white-space:normal;word-spacing:0px;float:none;display:inline!important">is=
an explicit jet, but that jet isn't among the finite number of known</=
span><br style=3D"font-family:Helvetica;font-size:12px;font-style:normal;fo=
nt-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:=
start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0=
px"><span style=3D"font-family:Helvetica;font-size:12px;font-style:normal;f=
ont-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align=
:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:=
0px;float:none;display:inline!important">discounted jets,</span></div></blo=
ckquote></div><br></div></div><br>______________________________<wbr>______=
___________<br>
bitcoin-dev mailing list<br>
<a href=3D"mailto:bitcoin-dev@lists.linuxfoundation.org">bitcoin-dev@lists.=
<wbr>linuxfoundation.org</a><br>
<a href=3D"https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev" =
rel=3D"noreferrer" target=3D"_blank">https://lists.linuxfoundation.<wbr>org=
/mailman/listinfo/bitcoin-<wbr>dev</a><br>
<br></blockquote></div><br></div></div></div>
--001a1143fc241ffcd1055d09c65b--
|
