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
|
Return-Path: <adan@stampery.co>
Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org
[172.17.192.35])
by mail.linuxfoundation.org (Postfix) with ESMTPS id 9694C989
for <bitcoin-dev@lists.linuxfoundation.org>;
Fri, 3 Nov 2017 08:46:20 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.7.6
Received: from mail-wm0-f51.google.com (mail-wm0-f51.google.com [74.125.82.51])
by smtp1.linuxfoundation.org (Postfix) with ESMTPS id E8AAD433
for <bitcoin-dev@lists.linuxfoundation.org>;
Fri, 3 Nov 2017 08:46:19 +0000 (UTC)
Received: by mail-wm0-f51.google.com with SMTP id z3so3490475wme.5
for <bitcoin-dev@lists.linuxfoundation.org>;
Fri, 03 Nov 2017 01:46:19 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=stampery.co; s=google;
h=from:reply-to:subject:to:references:organization:message-id:date
:user-agent:mime-version:in-reply-to:content-language
:content-transfer-encoding;
bh=xKPrQrQuBi55utuW3Ew8TBnK+adLQvy3iMwv96Nb0kg=;
b=O6jemxu5CXX4SIKhYv2H+tFH0Fe0ZvBkRbF951lWjq165wYKs7YYlCEAcb9C0YBb3m
wDyRmCuDHhYAtbDuMI+WSignoV8LUDAFJBMT+s/AQ/3PjJi8siv9DZo3IHzdD0GI2atS
6iE/597y8ohyntGkCxDRL60OHRMc+4CVLS6Ps=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20161025;
h=x-gm-message-state:from:reply-to:subject:to:references:organization
:message-id:date:user-agent:mime-version:in-reply-to
:content-language:content-transfer-encoding;
bh=xKPrQrQuBi55utuW3Ew8TBnK+adLQvy3iMwv96Nb0kg=;
b=a0vUrLYai41Eb6U8vQQABXeDPDBQynZK7eYbaT2QphcIYPM8UqZl+mmC50n7dudbGm
f655cZcinkckWUhOanTi7IkI9KauplTnO9qfHIGBrNAOPib6noMstpg2HK1KQyEyRPPt
1Rldju5gg2CqM4wCJ931PlL+jEqDTzSn33IjY6z6PB2KLb89nfpC/Rus0+bj93CszBy6
7jnXy6dDKbLukHmvR+LV2XFe0E5FbSPyW/WSfZ1gvH/HL7PRtiBcbh348HSwqFwv2HJ0
olB9LmTuffS3YCMZtV6kglj2H/Ei7Qi8BemKk0jlTHnfn8mKKFoicKqMKXh7F1KFndMl
2H2g==
X-Gm-Message-State: AMCzsaUCuKivXcQtEuELGa5ELUwi921fujg+rCvencBqCh4zycpZUwHB
xyfZdTSOfrnn9yppczonILRDJGYaEYU=
X-Google-Smtp-Source: ABhQp+TNIJsO+1IA5cbAIfA3LEbSDojR9bNYDaqbLwVPVbWwOiRu8qb/mXZtuRWHvetVxCbyGftvNA==
X-Received: by 10.80.158.207 with SMTP id a73mr7885242edf.90.1509698778180;
Fri, 03 Nov 2017 01:46:18 -0700 (PDT)
Received: from [192.168.1.42] (32.red-83-45-227.dynamicip.rima-tde.net.
[83.45.227.32])
by smtp.gmail.com with ESMTPSA id h2sm4569662edc.89.2017.11.03.01.46.17
for <bitcoin-dev@lists.linuxfoundation.org>
(version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
Fri, 03 Nov 2017 01:46:17 -0700 (PDT)
From: "=?UTF-8?Q?Ad=c3=a1n_S=c3=a1nchez_de_Pedro_Crespo?=" <adan@stampery.co>
X-Google-Original-From: =?UTF-8?Q?Ad=c3=a1n_S=c3=a1nchez_de_Pedro_Crespo?=
<adan@stampery.com>
Reply-To: adan@stampery.com
To: bitcoin-dev@lists.linuxfoundation.org
References: <mailman.5469.1509483670.27509.bitcoin-dev@lists.linuxfoundation.org>
<052D6E20-7194-4645-B628-1B7B7FECF330@gmail.com>
<CAMZUoKk+8MFLywQB3jQFkk7BYZ4Rw3Paj=ErQe8pZ0beGwu0RA@mail.gmail.com>
Organization: Stampery
Message-ID: <7d3a97f7-37c0-3eb6-6f39-00bd99c36132@stampery.com>
Date: Fri, 3 Nov 2017 09:46:16 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
Thunderbird/52.4.0
MIME-Version: 1.0
In-Reply-To: <CAMZUoKk+8MFLywQB3jQFkk7BYZ4Rw3Paj=ErQe8pZ0beGwu0RA@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 8bit
X-Spam-Status: No, score=0.4 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,
DKIM_VALID_AU, RCVD_IN_DNSWL_NONE, RCVD_IN_SORBS_SPAM autolearn=disabled
version=3.3.1
X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on
smtp1.linux-foundation.org
X-Mailman-Approved-At: Fri, 03 Nov 2017 12:22:10 +0000
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 08:46:20 -0000
Oops. That makes much more sense than what I said. Thanks a lot for the
clarification.
On 03.11.2017 02:10, Russell O'Connor via bitcoin-dev wrote:
> 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ÑUELO via bitcoin-dev"
> <bitcoin-dev@lists.linuxfoundation.org
> <mailto:bitcoin-dev@lists.linuxfoundation.org>> wrote:
>
> Hi,
>
> I am trying to follow this Simplicity proposal and I am seeing all
> over references to ‘jets’, but I haven’t been able to find 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
>> <mailto: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
> <mailto:bitcoin-dev@lists.linuxfoundation.org>
> https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev
> <https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev>
>
>
>
>
> _______________________________________________
> bitcoin-dev mailing list
> bitcoin-dev@lists.linuxfoundation.org
> https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev
>
--
Adán Sánchez de Pedro Crespo
CTO, Stampery Inc.
San Francisco - Madrid
|
