Return-Path: Received: from smtp4.osuosl.org (smtp4.osuosl.org [IPv6:2605:bc80:3010::137]) by lists.linuxfoundation.org (Postfix) with ESMTP id 24FB9C0088 for ; Wed, 16 Mar 2022 15:09:23 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by smtp4.osuosl.org (Postfix) with ESMTP id D2184417BC for ; Wed, 16 Mar 2022 15:09:21 +0000 (UTC) X-Virus-Scanned: amavisd-new at osuosl.org X-Spam-Flag: NO X-Spam-Score: -1.599 X-Spam-Level: X-Spam-Status: No, score=-1.599 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, FROM_LOCAL_NOVOWEL=0.5, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no Authentication-Results: smtp4.osuosl.org (amavisd-new); dkim=pass (2048-bit key) header.d=protonmail.com Received: from smtp4.osuosl.org ([127.0.0.1]) by localhost (smtp4.osuosl.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ZE0FQ_iiwg2e for ; Wed, 16 Mar 2022 15:09:21 +0000 (UTC) X-Greylist: domain auto-whitelisted by SQLgrey-1.8.0 Received: from mail-40140.protonmail.ch (mail-40140.protonmail.ch [185.70.40.140]) by smtp4.osuosl.org (Postfix) with ESMTPS id CBBDC417B5 for ; Wed, 16 Mar 2022 15:09:20 +0000 (UTC) Date: Wed, 16 Mar 2022 15:09:15 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1647443358; bh=T94PM4rNlfF1TVpcFU131CGsm4GM+Jpg2JvSNLkDSJQ=; h=Date:To:From:Cc:Reply-To:Subject:Message-ID:In-Reply-To: References:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID; b=l1AjJsLRlhRK5Uh9P7m28caz+ypKUGbZwYJgH6laKKe+NTrSjAdVQdZmUcX8U/nqS kyRH5Dvk/Km9JY+aaWVxfa1hrETpL5mUF/IoWAntLOZTSMYboK+3fo0n/uiketpWXg 01MLXP1uBgc73PjPU2neAYJm4LjrqDtUke1RRgDXPYzuH4zslRfxVnSRBjr+a+U07c HZjFU0YB03lOUTT5E/NTrtJWSpxGy+Ptzpx78A266/g0pq+WjRK2tkZze7ZcQHFW+D xepbKSkK/eTs2VSC72AbsXwiR6FmDe7/7IBV3a5jABr6Id5PG49VL8kgEfIKriucEQ gO/axn6agLieQ== To: Bram Cohen From: ZmnSCPxj Reply-To: ZmnSCPxj Message-ID: In-Reply-To: References: <20220308012719.GA6992@erisian.com.au> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Cc: Bitcoin Protocol Discussion , Anthony Towns Subject: Re: [bitcoin-dev] bitcoin scripting and lisp X-BeenThere: bitcoin-dev@lists.linuxfoundation.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Bitcoin Protocol Discussion List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 16 Mar 2022 15:09:23 -0000 Good morning Bram, > On Wed, Mar 9, 2022 at 6:30 AM ZmnSCPxj wrote: > > > I am pointing out that: > > > > * We want to save bytes by having multiple inputs of a transaction use = the same single signature (i.e. sigagg). > > > > is not much different from: > > > > * We want to save bytes by having multiple inputs of a transaction use = the same `scriptPubKey` template. > > Fair point. In the past Bitcoin has been resistant to such things because= for example reusing pubkeys can save you from having to separately pay for= the reveals of all of them but letting people get credit for that incentiv= izes key reuse which isn't such a great thing. See paragraph below: > > > > For example you might have multiple HTLCs, with mostly the same cod= e except for details like who the acceptor and offerrer are, exact hash, an= d timelock, and you could claim multiple HTLCs in a single tx and feed the = details separately but the code for the HTLC is common to all of the HTLCs. > > > > You do not even need to come from the same protocol if multiple pro= tocols use the same code for implementing HTLC. Note that the acceptor and offerrer are represented by pubkeys here. So we do not want to encourage key reuse, we want to encourage reuse of *ho= w* the pubkeys are used (but rotate the pubkeys). In the other thread on Jets in bitcoin-dev I proposed moving data like pubk= eys into a separate part of the SCRIPT in order to (1) not encourage key re= use and (2) make it easier to compress the code. In LISP terms, it would be like requiring that top-level code have a `(let = ...)` form around it where the assigned data *must* be constants or `quote`= , and disallowing constants and `quote` elsewhere, then any generated LISP = code has to execute in the same top-level environment defined by this top-l= evel `let`. So you can compress the code by using some metaprogramming where LISP gener= ates LISP code but you still need to work within the confines of the availa= ble constants. > > > HTLCs, at least in Chia, have embarrassingly=C2=A0little code in them= . Like, so little that there's almost nothing to compress. > > > > In Bitcoin at least an HTLC has, if you remove the `OP_PUSH`es, by my c= ount, 13 bytes. > > If you have a bunch of HTLCs you want to claim, you can reduce your wit= ness data by 13 bytes minus whatever number of bytes you need to indicate t= his. > > That amounts to about 3 vbytes per HTLC, which can be significant enoug= h to be worth it (consider that Taproot moving away from encoded signatures= saves only 9 weight units per signature, i.e. about 2 vbytes). > > Oh I see. That's already extremely small overhead. When you start optimiz= ing at that level you wind up doing things like pulling all the HTLCs into = the same block to take the overhead of pulling in the template only once. > =C2=A0 > > > Do note that PTLCs remain more space-efficient though, so forget about = HTLCs and just use PTLCs. > > It makes a lot of sense to make a payment channel system using PTLCs and = eltoo right off the bat but then you wind up rewriting everything from scra= tch. Bunch of #reckless devs implemented Lightning with just HTLCs so that is th= at, *shrug*, gotta wonder what those people were thinking, not waiting for = PTLCs. > =C2=A0 > > > > > This does not apply to current Bitcoin since we no longer accept a = SCRIPT from the spender, we now have a witness stack. > > > > > > My mental model of Bitcoin is to pretend that segwit was always there= and the separation of different sections of data is a semantic quibble. > > > > This is not a semantic quibble --- `witness` contains only the equivale= nt of `OP_PUSH`es, while `scriptSig` can in theory contain non-`OP_PUSH` op= codes. > > xref. `1 RETURN`. > > It's very normal when you're using lisp for snippets of code to be passed= in as data and then verified and executed. That's enabled by the extreme a= dherence to no side effects. Quining still allows Turing-completeness and infinite loops, which *is* sti= ll a side effect, though as I understand it ChiaLISP uses the "Turing-compl= ete but with a max number of ops" kind of totality. > > This makes me kinda wary of using such covenant features at all, and if= stuff like `SIGHASH_ANYPREVOUT` or `OP_CHECKTEMPLATEVERIFY` are not added = but must be reimplemented via a covenant feature, I would be saddened, as I= now have to contend with the complexity of covenant features and carefully= check that `SIGHASH_ANYPREVOUT`/`OP_CHECKTEMPLATEVERIFY` were implemented = correctly. > > Even the 'standard format' transaction which supports taproot and graftro= ot is implemented in CLVM. The benefit of this approach is that new functio= nality can be implemented and deployed immediately rather than having to pa= instakingly go through a soft fork deployment for each thing. Wow, just wow. Regards, ZmnSCPxj