Return-Path: Received: from smtp2.osuosl.org (smtp2.osuosl.org [IPv6:2605:bc80:3010::133]) by lists.linuxfoundation.org (Postfix) with ESMTP id 1F301C0011 for ; Wed, 23 Feb 2022 18:15:00 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by smtp2.osuosl.org (Postfix) with ESMTP id 0CBEF404FD for ; Wed, 23 Feb 2022 18:15:00 +0000 (UTC) X-Virus-Scanned: amavisd-new at osuosl.org X-Spam-Flag: NO X-Spam-Score: -2.098 X-Spam-Level: X-Spam-Status: No, score=-2.098 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, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no Authentication-Results: smtp2.osuosl.org (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com Received: from smtp2.osuosl.org ([127.0.0.1]) by localhost (smtp2.osuosl.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id NfXv3zvE76FM for ; Wed, 23 Feb 2022 18:14:58 +0000 (UTC) X-Greylist: whitelisted by SQLgrey-1.8.0 Received: from mail-qk1-x731.google.com (mail-qk1-x731.google.com [IPv6:2607:f8b0:4864:20::731]) by smtp2.osuosl.org (Postfix) with ESMTPS id 2703F408E6 for ; Wed, 23 Feb 2022 18:14:57 +0000 (UTC) Received: by mail-qk1-x731.google.com with SMTP id c7so5104148qka.7 for ; Wed, 23 Feb 2022 10:14:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:date:mime-version:user-agent:content-language:to :references:from:subject:in-reply-to; bh=/qw7JDaeDYhb+7URwhU776wXXBgGO1Cn70Wn9I/G/r4=; b=AKHh7i/Ef9DpgKvLRTv9MnUJvgb1gwmp1swTZPxKKPMYqn3qN7tWOqXx4wbjd/zP1Z hwVDdfoEjaSfW4Z4CaTOQQPsACEA1DjY83Gow16vVCEbufi8L8Tgx4HDaLN1py2AS4W9 YTuugUIB8vet3kmBRbgQpNpbGR9ZNWdwO8V0wHpKMlL/d2LbrZT4msRTn6Lb5lpsNVJE 32g8i+5blF4qr4z+45RJ6WBbM8xS3/ZUETn96a2oOq98ZP42tgV8/eZEYsKlVL7rKx7w TMqDnqwa9pvyBbUoq8bWXTRCMWJBCB5hubLpEsnXhjpAJ/ZQSk1kdSsKCYHq1pMR58uO 81kA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:date:mime-version:user-agent :content-language:to:references:from:subject:in-reply-to; bh=/qw7JDaeDYhb+7URwhU776wXXBgGO1Cn70Wn9I/G/r4=; b=YpJzuQVmCm/4Xk/OegwwJmxSbkk/HCppRpjVRpHY8gxIJojQLMhD7fC+oFx5hvG6jO vnFSmmXQ+5h04B0KLtlmW/ejhG7T8OjR0nEJdx853MmGeqFLBs3Yp2Sf9jWjb3JuF3Ni nHJYLacgc6YUUlLAH41rxzAP8mJA6SWlkOxK8M/O3bfjKwdH4lqpOeRr03TiCAXyE6pj VCnALPYYAlHKRfp0/cQiczFaeXly4SUs9uP8sJb3SLDGSs1KtxltrtgYqw55wtzKsNw0 SmEuvN0B4hu/bXE7tRrDwb0T0S56yoGdtsv6/1Y3dmN88RVHM6/1J/1GFOV3L/EmMIbh gnmg== X-Gm-Message-State: AOAM533xXH1GjSKPJqAbCVnaKVe1LGIEwyWtFFfhpCmjylpELtiSPBdc wxhzb3YDxMQU2eGpgeUdFWbgfMfuKCY= X-Google-Smtp-Source: ABdhPJwmRg4pMVcpV37bFE77d4i2zCiDbagheurdv7xLlpxV/MC1iOQgq+weanezb1yoy1xJKpZDCg== X-Received: by 2002:a05:620a:2941:b0:47e:144b:84a9 with SMTP id n1-20020a05620a294100b0047e144b84a9mr648319qkp.32.1645640096360; Wed, 23 Feb 2022 10:14:56 -0800 (PST) Received: from [192.168.0.165] (ool-45714b6d.dyn.optonline.net. [69.113.75.109]) by smtp.googlemail.com with ESMTPSA id u38sm253754qtc.17.2022.02.23.10.14.55 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 23 Feb 2022 10:14:55 -0800 (PST) Content-Type: multipart/alternative; boundary="------------WpH0pYKlCrw4OUBJInezHs1w" Message-ID: Date: Wed, 23 Feb 2022 13:14:53 -0500 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 Thunderbird/91.5.0 Content-Language: en-US To: bitcoin-dev@lists.linuxfoundation.org References: <87leymuiu8.fsf@rustcorp.com.au> <0100017ee6472e02-037d355d-4c16-43b0-81d2-4a82b580ba99-000000@email.amazonses.com> From: Paul Sztorc In-Reply-To: Subject: Re: [bitcoin-dev] Recursive covenant opposition, or the absence thereof, was Re: TXHASH + CHECKSIGFROMSTACKVERIFY in lieu of CTV and ANYPREVOUT 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, 23 Feb 2022 18:15:00 -0000 This is a multi-part message in MIME format. --------------WpH0pYKlCrw4OUBJInezHs1w Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 T24gMi8yMy8yMDIyIDY6MjggQU0sIFptblNDUHhqIHZpYSBiaXRjb2luLWRldiB3cm90ZToN Cg0KPiAuLi4gRHJpdmVjaGFpbnMgaXMgaW1wbGVtZW50YWJsZSBvbiBhIFR1cmluZy1jb21w bGV0ZQ0KPiBsYW5ndWFnZS4NCj4gQW5kIHdlIGhhdmUgYWxyZWFkeSByZWplY3RlZCBEcml2 ZWNoYWlucywgZm9yIHRoZSBmb2xsb3dpbmcgcmVhc29uOg0KPg0KPiAxLiAgU2lkZWNoYWlu IHZhbGlkYXRvcnMgYW5kIG1haW5jaGFpbiBtaW5lcnMgaGF2ZSBhIHN0cm9uZyBpbmNlbnRp dmUgdG8NCj4gICAgICBtZXJnZSB0aGVpciBidXNpbmVzc2VzLg0KPiAyLiAgTWFpbmNoYWlu IG1pbmVycyBlbmQgdXAgdmFsaWRhdGluZyBhbmQgY29tbWl0aW5nIHRvIHNpZGVjaGFpbiBi bG9ja3MuDQo+IDMuICBFcmdvLCBzaWRlY2hhaW5zIG9uIERyaXZlY2hhaW5zIGJlY29tZSBh IGJsb2NrIHNpemUgaW5jcmVhc2UuDQoNCklzIHRoaXMgaW5kZWVkIHRoZSByZWFzb24/IEJl Y2F1c2UgaXQgaXMgbm90IGEgZ29vZCBvbmUuDQoNCkZpcnN0LCAoYXMgYWx3YXlzKSB3ZSBt dXN0IGlnbm9yZSBCSVAgMzAxKi4gKFNpbmNlIGl0IHdhcyBpbnZlbnRlZCB0byBjYW5jZWwg cG9pbnQgMS4gV2hpY2ggaXQgZG9lcyAtLSBieSBnaXZpbmcgYW4gaW5jZW50aXZlIGZvciBz aWRlLXZhbGlkYXRvcnMgYW5kIG1haW4tbWluZXJzIHRvIFVOLW1lcmdlIHRoZWlyIGJ1c2lu ZXNzZXMuKQ0KDQpXaXRoIHRoYXQgb3V0IG9mIHRoZSB3YXksIGxldCdzIHN3YXAgImJsb2Nr c2l6ZSBpbmNyZWFzZSIgZm9yICJtaW5pbmcgdmlhIG5hdHVyYWwgZ2FzIGZsYXJpbmciIDoN Cg0KMS4gT2lsIGRyaWxsZXJzIGFuZCBtYWluY2hhaW4gbWluZXJzIGhhdmUgYSBzdHJvbmcg aW5jZW50aXZlKiogdG8gbWVyZ2UgdGhlaXIgYnVzaW5lc3Nlcy4NCjIuIE1haW5jaGFpbiBt aW5lcnMgZW5kIHVwIGRyaWxsaW5nIGZvciBvaWwuDQozLiBFcmdvLCBzaWRlY2hhaW5zIG9u IERyaXZlY2hhaW5zIGJlY29tZSBhIHJlcXVpcmVtZW50LCB0aGF0IGZ1bGwgbm9kZXMgbWlu ZSBmb3Igb2lsLg0KDQpUaGUgYWJvdmUgbG9naWMgaXMgZmxhd2VkLCBiZWNhdXNlIGZ1bGwg bm9kZXMgY2FuIGlnbm9yZSB0aGUgbWluaW5nIHByb2Nlc3MuIE5vZGVzIG91dHJhbmsgbWlu ZXJzLg0KDQpNZXJnZWQgbWluaW5nIGlzLCBpbiBwcmluY2lwbGUsIG5vIGRpZmZlcmVudCBm cm9tIGFueSBvdGhlciBzb3VyY2Ugb2YgbWluaW5nIHByb2ZpdGFiaWxpdHkuIEkgYmVsaWV2 ZSB0aGVyZSBpcyBhbiBpcnJhdGlvbmFsIHByZWp1ZGljZSBhZ2FpbnN0IG1lcmdlZCBtaW5p bmcsIGJlY2F1c2UgTU0gdGFrZXMgdGhlIGZvcm0gb2Ygc29mdHdhcmUuIEl0IHdvdWxkIGJl IGxpa2UgYW4gTkZMIHJlZmVyZWUgd2hvIHJlZnVzZXMgdG8gYWxsb3cgdGhlaXIgY2hpbGQg dG8gcGxheSBhbiBORkwgdmlkZW9nYW1lLCBvbiB0aGUgZ3JvdW5kcyB0aGF0IHRoZSByZWZm aW5nIGluIHRoZSBnYW1lIGlzIGRpZmZlcmVudCBmcm9tIGhvdyB0aGUgcGFyZW50IHdvdWxk IHJlZi4gQnV0IHRoYXQgbWFrZXMgbm8gZGlmZmVyZW5jZSB0byBhbnl0aGluZy4gVGhlIG9u bHkgcmVsZXZhbnQgaXNzdWUgaXMgaWYgdGhlIGNoaWxkIGhhcyBmdW4gcGxheWluZyB0aGUg dmlkZW9nYW1lLg0KDQooQW5kIG9mIGNvdXJzZSwgbWVyZ2VkIG1pbmluZyBsb25nIHByZWRh dGVzIGRyaXZlY2hhaW4sIGFuZCBtaW5lcnMgYXJlIE1NaW5nIG5vdywgYW5kIGhhdmUgYmVl biBmb3IgeWVhcnMuIEl0IHdhcyBTYXRvc2hpIHdobyBjby1pbnZlbnRlZCBtZXJnZWQgbWlu aW5nLCBzbyB0aGUgbW9kZXJuIHByZWp1ZGljZSBhZ2FpbnN0IGl0IGlzIGFsbCB0aGUgbW9y ZSBteXN0ZXJpb3VzLikNCg0KPiBBbHNvOg0KPg0KPiAxLiAgVGhlIHNpZGVjaGFpbi10by1t YWluY2hhaW4gcGVnIGRlZ3JhZGVzIHRoZSBzZWN1cml0eSBvZiBzaWRlY2hhaW4NCj4gICAg ICB1c2VycyBmcm9tIGNvbnNlbnN1cyAiZXZlcnlvbmUgbXVzdCBhZ3JlZSB0byB0aGUgcnVs ZXMiIHRvIGRlbW9jcmFjeQ0KPiAgICAgICJpZiBlbm91Z2ggZW5mcmFuY2hpc2VkIHZvdGVy cyBzYXkgc28sIHRoZXkgY2FuIGJlYXQgeW91IHVwIGFuZCBzdGVhbA0KPiAgICAgIHlvdXIg bW9uZXkiLg0KPg0KPiBJbiB0aGlzIHdyaXRlLXVwLCBJIHdpbGwuLi4NCg0KVGhpcyBpcyBh bHNvIGEgbWlzY2hhcmFjdGVyaXphdGlvbi4NCg0KRHJpdmVjaGFpbiB3aWxsIG5vdCB3b3Jr IGlmIDUxJSBoYXNocmF0ZSBpcyBhdHRhY2tpbmcgdGhlIG5ldHdvcmsuIEJ1dCB0aGF0IGlz IHRoZSBjYXNlIGZvciBldmVyeXRoaW5nLCBpbmNsdWRpbmcgdGhlIExpZ2h0bmluZyBOZXR3 b3JrKioqLg0KDQpTbyB0aGVyZSBpcyBubyBzZW5zZSBpbiB3aGljaCB0aGUgc2VjdXJpdHkg aXMgImRlZ3JhZGVkIi4gVG8gZXN0YWJsaXNoIHRoYXQsIG9uZSB3b3VsZCBuZWVkIGFyZ3Vt ZW50cyBhYm91dCB3aGF0IHdpbGwgcHJvYmFibHkgaGFwcGVuIGFuZCB3aHkuIFdoaWNoIGlz IGV4YWN0bHkgd2hhdCBteSBvcmlnaW5hbCBOb3YgMjAxNSBhcnRpY2xlIGNvbnRhaW5zOiB0 cnV0aGNvaW4uaW5mby9ibG9nL2RyaXZlY2hhaW4vI2RyaXZlY2hhaW5zLXNlY3VyaXR5ICwg YXMgZG9lcyBteSBQZWVyIFJldmlldyBzZWN0aW9uIDpodHRwczovL3d3dy5kcml2ZWNoYWlu LmluZm8vcGVlci1yZXZpZXcvcGVlci1yZXZpZXctbmV3LyAgDQoNCihBbmQsIHRvZGF5IExh cmdlYmxvY2tlci10eXBlcyBkbyBub3QgaGF2ZSBhbnkgImV2ZXJ5b25lIG11c3QgYWdyZWUg dG8gdGhlIHJ1bGVzIiBjb25zZW5zdXMsIGF0IGFsbC4gQW55b25lIHdobyB3YW50cyB0byB1 c2UgYSBzaWRlY2hhaW4tZmVhdHVyZSB0b2RheSwgbXVzdCBvYnRhaW4gaXQgdmlhIEFsdGNv aW4gb3IgdmlhIHJlYWwtd29ybGQgdHJ1c3QuIFNvIHRoZSBjdXJyZW50IHNlY3VyaXR5IGlz ICJub3RoaW5nIiBhbmQgc28gaXQgaXMgaGFyZCB0byBzZWUgaG93IHRoYXQgY291bGQgYmUg ImRlZ3JhZGVkIi4pDQoNCi0tDQoNCkkgYW0gbm90IHN1cmUgaXQgaXMgYSBnb29kIHVzZSBv ZiBteSB0aW1lIHRvIHRhbGsgdG8gdGhpcyBsaXN0IGFib3V0IERyaXZlY2hhaW4uIE15IE5v diAyMDE1IGFydGljbGUgYW50aWNpcGF0ZWQgYWxsIG9mIHRoZSByZWxldmFudCBtaXN1bmRl cnN0YW5kaW5ncy4gQWxtb3N0IG5vdGhpbmcgaGFzIGNoYW5nZWQgc2luY2UgdGhlbi4NCg0K QXMgZmFyIGFzIEkgYW0gY29uY2VybmVkLCBEcml2ZWNoYWluIHdhcyBzaW1wbHkgYWhlYWQg b2YgaXRzIHRpbWUuIEV2ZW50dWFsbHksIG9uZSBvciBtb3JlIG9mIHRoZSBmb2xsb3dpbmcg LS10aGUgcHJvYmxlbSBvZiBBbHRjb2lucywgdGhlIGh1bWFuIGRlc2lyZSBmb3IgZnJlZWRv bSBhbmQgY3JlYXRpdml0eSwgdGhlIG1ldGEtY29uc2Vuc3VzL3VwZ3JhZGUvb3NzaWZpY2F0 aW9uIHByb2JsZW0sIHRoZSBwcm9ibGVtIG9mIHBlcnNpc3RlbnRseSBsb3cgc2VjdXJpdHkg YnVkZ2V0LCBhbmQvb3IgdGhlIGV4cHJlc3NpdmVuZXNzIG9mIEJpdGNvaW4gc21hcnQgY29u dHJhY3RzLS0gd2lsbCBmb3JjZSBCaXRjb2luZXJzIHRvIHJlbGVhcm4gZHJpdmVjaGFpbi1s b3JlIGFuZCBldmVudHVhbGx5IGFkb3B0IHNvbWV0aGluZyBkcml2ZWNoYWluLWxpa2UuIEF0 IHdoaWNoIHBvaW50IEkgd2lsbCB3cml0ZSB0byBoaXN0b3JpYW5zIHRvIGRlbWFuZCBjcmVk aXQuIFRoYXQgaXMgbXkgcGxhbiBzbyBmYXIsIGF0IGxlYXN0Lg0KDQotLQ0KDQpBcyB0byB0 aGUgYWN0dWFsIGNvbnRlbnQgb2YgeW91ciBwb3N0LCBpdCBzZWVtcyBwcm8tRHJpdmVjaGFp bi4NCg0KQWZ0ZXIgYWxsLCB5b3UgYXJlIHNheWluZyB0aGF0IFJlY3Vyc2l2ZSBDb3ZlbmFu dHMgLS0+IFR1cmluZyBDb21wbGV0ZW5lc3MgLS0+IERyaXZlY2hhaW4uIFNvLCB3aGljaCB3 b3VsZCB5b3UgcmF0aGVyIGhhdmU/IFRoZSBoYWNreSwgYml6emFybywgY292ZW5hbnQtRHJp dmVjaGFpbiwgb3IgbXkgcHVyZSBvcHRpbWl6ZWQgdHJhbnNwYXJlbnQgQmlwMzAwLURyaXZl Y2hhaW4/IFNlZW1zIHRoYXQgdGhpcyBpcyBleGFjdGx5IHdoYXQgSSBwcmVkaWN0ZWQ6IHBl b3BsZSBldmVudHVhbGx5IHJlaW52ZW50aW5nIERyaXZlY2hhaW4uDQoNCk9uIHRoaXMgdG9w aWMsIGluIDIwMTUtMjAxNiBJIHdyb3RlIGEgZmV3IHBhcGVycyBhbmQgZ2F2ZSBhIGZldyBy ZWNvcmRlZCB0YWxrcyoqKiosIGluIHdoaWNoIEkgY29tcGFyZWQgdGhlIHVuY29udHJvbGxh YmxlIGRlc3RydWN0aXZlIGNoYW9zIG9mIFR1cmluZyBDb21wbGV0ZW5lc3MsIHRvIGEgImNh dGVnb3JpY2FsIiBUdXJpbmcgQ29tcGxldGVuZXNzIHdoZXJlIGNvbnRyYWN0cyBhcmUgc29y dGVkIGJ5IGNhdGVnb3J5IChpZSwgYWxsIG9mIHRoZSBCaXROYW1lIGNvbnRyYWN0cyBpbiB0 aGUgTmFtZWNvaW4tc2lkZWNoYWluLCBhbGwgb2YgdGhlIG9yYWNsZSBjb250cmFjdHMgaW4g dGhlIG9yYWNsZSBzaWRlY2hhaW4sIGV0YykuIFRoZSBjYXRlZ29yaWNhbCBzdHJhdGVneSBh bGxvd3MsIHBhcmFkb3hpY2FsbHkgKGFuZCBwZXJoYXBzIGNvdW50ZXJpbnR1aXRpdmVseSks IGZvciBtb3JlIGV4cHJlc3NpdmUgY29udHJhY3RzLCBzaW5jZSB5b3UgY2FuIHByZXZlbnQg c21hcnQgY29udHJhY3RzIGZyb20gYXR0YWNraW5nIGVhY2ggb3RoZXIuIChUaGV5IG11c3Qg aGF2ZSBhIGNhdGVnb3J5LCBzbyBpZiB0aGV5IGFyZW4ndCBOYW1lLWNvbnRyYWN0cyB0aGV5 IGNhbm5vdCBsaXZlIGluIHRoZSBOYW1lY29pbi1zaWRlY2hhaW4gLS0gdGhleSB1bHRpbWF0 ZWx5IG11c3QgbGl2ZSBpbiBhbiAiRXZpbCBTaWRlY2hhaW4iLCB3aGljaCB0aGUgbWluZXJz IGhhdmUgbW90aXZlIGFuZCBvcHBvcnR1bml0eSB0byBzaW1wbHkgZGlzYWJsZS4pIElmIHBl b3BsZSBhcmUgbm93IHRhbGtpbmcgYWJvdXQgaG93IFR1cmluZyBDb21wbGV0ZW5lc3MgY2Fu IGxlYWQgdG8gc21hcnQgY29udHJhY3RzIGF0dGFja2luZyBlYWNoIG90aGVyLCB0aGVuIEkg c3VwcG9zZSBJIHdhcyB5ZWFycyBhaGVhZC1vZi1teS10aW1lIHdpdGggdGhhdCwgYXMgd2Vs bC4gSW5jaWRlbnRhbGx5LCBteSBjb25jbHVzaW9uIHdhcyB0aGF0IHRoaXMgcHJvYmxlbSBp cyBCRVNUIHNvbHZlZCBieSBhbGxvd2luZyBtaW5lcnMgdG8gY2Vuc29yIGNvbnRyYWN0LWNh dGVnb3JpZXMgKGFrYSBjZW5zb3Igc2lkZWNoYWluLWNhdGVnb3JpZXMsIGFrYSAnYmVhdCBw ZW9wbGUgdXAnIGFzIHlvdSBwdXQgaXQpLCB3aGljaCBpcyBob3cgSSBpbnZlbnRlZCBkcml2 ZWNoYWluIGluIHRoZSBmaXJzdCBwbGFjZS4NCg0KKlNocnVnKiwNClBhdWwNCg0KDQoNCipB IHNtYWxsIHRhYmxlIHdoaWNoIGV4cGxhaW5zIGhvdyB0aGlzIHdvcmtzOmh0dHBzOi8vZ2l0 aHViLmNvbS9iaXRjb2luL2JpcHMvYmxvYi9tYXN0ZXIvYmlwLTAzMDEubWVkaWF3aWtpI25v dGF0aW9uLWFuZC1leGFtcGxlDQoNCioqRG91YnRsZXNzIG1hbnkgb2YgeW91IGhhdmUgaGVh cmQgb2YgdGhpcyBuZXcgdHJlbmQ6IG9pbCBkcmlsbGVycyBlbmNvdW50ZXIgdW53YW50ZWQg bmF0dXJhbCBnYXMsIGluIGFyZWFzIHdoZXJlIHRoZXJlIGFyZSBubyBuYXR1cmFsIGdhcyBj dXN0b21lcnMuIEluc3RlYWQgb2Ygd2FzdGUgdGhpcyBnYXMsIHRoZXkgaGF2ZSBiZWd1biBz ZWxsaW5nIGl0IHRvIG1pbmVycy5odHRwczovL2Vjb25vbWljdGltZXMuaW5kaWF0aW1lcy5j b20vbmV3cy9pbnRlcm5hdGlvbmFsL2J1c2luZXNzL29pbC1kcmlsbGVycy1hbmQtYml0Y29p bi1taW5lcnMtYm9uZC1vdmVyLW5hdHVyYWwtZ2FzL2FydGljbGVzaG93LzgyODI4ODc4LmNt cyAgLg0KDQoqKipBcyBpcyB3ZWxsIGtub3duLCBpdCBpcyBlYXN5IGZvciA1MSUgaGFzaHJh dGUgdG8gZG91YmxlLXNwZW5kIGluIHRoZSBMTiwgYnkgY2Vuc29yaW5nICdqdXN0aWNlIHRy YW5zYWN0aW9ucycuIE1vcmVvdmVyLCBtaW5lcnMgc2VlbSBsaWtlbHkgdG8gZXZhZGUgcmV0 cmlidXRpb24gaWYgdGhleSBkbyB0aGlzLCBhcyB0aGV5IGNhbiByZXN0cmFpbiB0aGUgc2Nh bGUsIHRpbWluZywgdmljdGltcywgY2lyY3Vtc3RhbmNlcyBldGMgb2YgdGhlIGF0dGFjay4N Cg0KKioqKmh0dHBzOi8vd3d3LnlvdXR1YmUuY29tL3dhdGNoP3Y9eEd1MG84SEgxMFUmbGlz dD1QTHc4LTZBUmx5VmNpTUg3OVp5TE9wSW1zTXVnM0xnTmM0JmluZGV4PTENCmh0dHBzOi8v d3d3LnRydXRoY29pbi5pbmZvL2Jsb2cvY29udHJhY3RzLW9yYWNsZXMtc2lkZWNoYWlucy8N Cmh0dHBzOi8vd3d3LnRydXRoY29pbi5pbmZvL2Jsb2cvZHJpdmVjaGFpbi1vcC1jb2RlLw0K aHR0cHM6Ly93d3cudHJ1dGhjb2luLmluZm8vYmxvZy93aXNlLWNvbnRyYWN0cy8NCg0KDQoN Cg0K --------------WpH0pYKlCrw4OUBJInezHs1w Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 
On 2/23/2022 6:28 AM, ZmnSCPxj via bitcoin-dev wrote:

... Drivechains is implement=
able on a Turing-complete
language.
And we have already rejected Drivechains, for the following reason:

1.  Sidechain validators and mainchain miners have a strong incentive to
    merge their businesses.
2.  Mainchain miners end up validating and commiting to sidechain blocks.=

3.  Ergo, sidechains on Drivechains become a block size increase.

Is this indeed the reason? Because it is not a good one.

First, (as always) we must ignore BIP 301*. (Since it was invented to can=
cel point 1. Which it does -- by giving an incentive for side-validators =
and main-miners to UN-merge their businesses.)

With that out of the way, let's swap "blocksize increase" for "mining via=
 natural gas flaring" :

1. Oil drillers and mainchain miners have a strong incentive** to merge t=
heir businesses.
2. Mainchain miners end up drilling for oil.
3. Ergo, sidechains on Drivechains become a requirement, that full nodes =
mine for oil.

The above logic is flawed, because full nodes can ignore the mining proce=
ss. Nodes outrank miners.

Merged mining is, in principle, no different from any other source of min=
ing profitability. I believe there is an irrational prejudice against mer=
ged mining, because MM takes the form of software. It would be like an NF=
L referee who refuses to allow their child to play an NFL videogame, on t=
he grounds that the reffing in the game is different from how the parent =
would ref. But that makes no difference to anything. The only relevant is=
sue is if the child has fun playing the videogame.

(And of course, merged mining long predates drivechain, and miners are MM=
ing now, and have been for years. It was Satoshi who co-invented merged m=
ining, so the modern prejudice against it is all the more mysterious.)


Also:

1.  The sidechain-to-mainchain peg degrades the security of sidechain
    users from consensus "everyone must agree to the rules" to democracy
    "if enough enfranchised voters say so, they can beat you up and steal=

    your money".

In this write-up, I will...


This is also a mischaracterization.

Drivechain will not work if 51% hashrate is attacking the network. But th=
at is the case for everything, including the Lightning Network***.

So there is no sense in which the security is "degraded". To establish th=
at, one would need arguments about what will probably happen and why. Whi=
ch is exactly what my original Nov 2015 article contains: truthcoin.info/=
blog/drivechain/#drivechains-security , as does my Peer Review section : =
https://www.drivechain.info/peer-review/peer-=
review-new/=20

(And, today Largeblocker-types do not have any "everyone must agree to th=
e rules" consensus, at all. Anyone who wants to use a sidechain-feature t=
oday, must obtain it via Altcoin or via real-world trust. So the current =
security is "nothing" and so it is hard to see how that could be "degrade=
d".)

--

I am not sure it is a good use of my time to talk to this list about Driv=
echain. My Nov 2015 article anticipated all of the relevant misunderstand=
ings. Almost nothing has changed since then.

As far as I am concerned, Drivechain was simply ahead of its time. Eventu=
ally, one or more of the following --the problem of Altcoins, the human d=
esire for freedom and creativity, the meta-consensus/upgrade/ossification=
 problem, the problem of persistently low security budget, and/or the exp=
ressiveness of Bitcoin smart contracts-- will force Bitcoiners to relearn=
 drivechain-lore and eventually adopt something drivechain-like. At which=
 point I will write to historians to demand credit. That is my plan so fa=
r, at least.

--

As to the actual content of your post, it seems pro-Drivechain.

After all, you are saying that Recursive Covenants --> Turing Complete=
ness --> Drivechain. So, which would you rather have? The hacky, bizza=
ro, covenant-Drivechain, or my pure optimized transparent Bip300-Drivecha=
in? Seems that this is exactly what I predicted: people eventually reinve=
nting Drivechain.

On this topic, in 2015-2016 I wrote a few papers and gave a few recorded =
talks****, in which I compared the uncontrollable destructive chaos of Tu=
ring Completeness, to a "categorical" Turing Completeness where contracts=
 are sorted by category (ie, all of the BitName contracts in the Namecoin=
-sidechain, all of the oracle contracts in the oracle sidechain, etc). Th=
e categorical strategy allows, paradoxically (and perhaps counterintuitiv=
ely), for more expressive contracts, since you can prevent smart contract=
s from attacking each other. (They must have a category, so if they aren'=
t Name-contracts they cannot live in the Namecoin-sidechain -- they ultim=
ately must live in an "Evil Sidechain", which the miners have motive and =
opportunity to simply disable.) If people are now talking about how Turin=
g Completeness can lead to smart contracts attacking each other, then I s=
uppose I was years ahead-of-my-time with that, as well. Incidentally, my =
conclusion was that this problem is BEST solved by allowing miners to cen=
sor contract-categories (aka censor sidechain-categories, aka 'beat peopl=
e up' as you put it), which is how I invented drivechain in the first pla=
ce.

*Shrug*,
Paul



*A small table which explains how this works: https://github.com/bitcoin/bips/blob/master/b=
ip-0301.mediawiki#notation-and-example

**Doubtless many of you have heard of this new trend: oil drillers encoun=
ter unwanted natural gas, in areas where there are no natural gas custome=
rs. Instead of waste this gas, they have begun selling it to miners. https://economictimes.indiatimes.co=
m/news/international/business/oil-drillers-and-bitcoin-miners-bond-over-n=
atural-gas/articleshow/82828878.cms .

***As is well known, it is easy for 51% hashrate to double-spend in the L=
N, by censoring 'justice transactions'. Moreover, miners seem likely to e=
vade retribution if they do this, as they can restrain the scale, timing,=
 victims, circumstances etc of the attack.

****https://www.youtube.com/watch?v=3DxGu0o8HH10U&list=3DPLw8-6AR=
lyVciMH79ZyLOpImsMug3LgNc4&index=3D1
https://www.truthcoin.info/blog/contract=
s-oracles-sidechains/
https://www.truthcoin.info/blog/drivechain-op-code=
/
https://www.truthcoin.info/blog/wise-contracts/
--------------WpH0pYKlCrw4OUBJInezHs1w--