From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org [172.17.192.35]) by mail.linuxfoundation.org (Postfix) with ESMTPS id 9694C989 for ; 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 ; Fri, 3 Nov 2017 08:46:19 +0000 (UTC) Received: by mail-wm0-f51.google.com with SMTP id z3so3490475wme.5 for ; 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 (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?=" X-Google-Original-From: =?UTF-8?Q?Ad=c3=a1n_S=c3=a1nchez_de_Pedro_Crespo?= Reply-To: adan@stampery.com To: bitcoin-dev@lists.linuxfoundation.org References: <052D6E20-7194-4645-B628-1B7B7FECF330@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: 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-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" > > 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 >> 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 > > > > > > _______________________________________________ > 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