Return-Path: Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org [172.17.192.35]) by mail.linuxfoundation.org (Postfix) with ESMTPS id 37176BF8 for ; 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 ; Fri, 3 Nov 2017 01:10:44 +0000 (UTC) Received: by mail-vk0-f42.google.com with SMTP id g11so840459vkd.13 for ; 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: <052D6E20-7194-4645-B628-1B7B7FECF330@gmail.com> From: "Russell O'Connor" Date: Thu, 2 Nov 2017 21:10:42 -0400 Message-ID: To: =?UTF-8?Q?JOSE_FEMENIAS_CA=C3=91UELO?= , Bitcoin Protocol Discussion 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-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
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 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.

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.

HTH.


On Nov 2, 2017 18:35, "JOSE FEMENIA= S CA=C3=91UELO via bitcoin-dev" <bitcoin-dev@lists.linuxfoundation.org> wrote:=
Hi,

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.
Can a= nyone 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.linuxfou= ndation.org wrote:

The plan is that d= iscounted jets will be explicitly labeled as jets in the
commitment.=C2=A0 If you can provide a Merkle pat= h 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--