path: root/59/d7bcfb2e3dfacaef6f00f9447d3d0eea8fcf53

Return-Path: <jlrubin@mit.edu>
Received: from smtp2.osuosl.org (smtp2.osuosl.org [140.211.166.133])
 by lists.linuxfoundation.org (Postfix) with ESMTP id E7819C000E
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Thu, 26 Aug 2021 20:04:05 +0000 (UTC)
Received: from localhost (localhost [127.0.0.1])
 by smtp2.osuosl.org (Postfix) with ESMTP id CBF784023A
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Thu, 26 Aug 2021 20:04:05 +0000 (UTC)
X-Virus-Scanned: amavisd-new at osuosl.org
X-Spam-Flag: NO
X-Spam-Score: -4.199
X-Spam-Level: 
X-Spam-Status: No, score=-4.199 tagged_above=-999 required=5
 tests=[BAYES_00=-1.9, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_MED=-2.3,
 SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
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 NBJDK0gmLbCR
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Thu, 26 Aug 2021 20:04:01 +0000 (UTC)
X-Greylist: domain auto-whitelisted by SQLgrey-1.8.0
Received: from outgoing.mit.edu (outgoing-auth-1.mit.edu [18.9.28.11])
 by smtp2.osuosl.org (Postfix) with ESMTPS id 98FC24020C
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Thu, 26 Aug 2021 20:04:01 +0000 (UTC)
Received: from mail-il1-f170.google.com (mail-il1-f170.google.com
 [209.85.166.170]) (authenticated bits=0)
 (User authenticated as jlrubin@ATHENA.MIT.EDU)
 by outgoing.mit.edu (8.14.7/8.12.4) with ESMTP id 17QK3xOO029795
 (version=TLSv1/SSLv3 cipher=AES128-GCM-SHA256 bits=128 verify=NOT)
 for <bitcoin-dev@lists.linuxfoundation.org>; Thu, 26 Aug 2021 16:04:00 -0400
Received: by mail-il1-f170.google.com with SMTP id j15so4541480ila.1
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Thu, 26 Aug 2021 13:03:59 -0700 (PDT)
X-Gm-Message-State: AOAM531PtCXO7C0WzlslVV8Wjxppv/8LDmq25NWURgmSNOB3SKjobtf5
 WaX5zQVsKkre6peTkzka52t4bsfhQOAl1wgj8ns=
X-Google-Smtp-Source: ABdhPJw63kYileLSgdDAGqvw+1hsEB1i/1vmB4QN4VCWNz0I0I/f3pZBnWKxGgTZCduNmddKItZbAKrPmqYzef7k1eI=
X-Received: by 2002:a92:6f0a:: with SMTP id k10mr3850031ilc.105.1630008239185; 
 Thu, 26 Aug 2021 13:03:59 -0700 (PDT)
MIME-Version: 1.0
References: <CAFvNmHQwifysNTumzoVj6+T8kTfj9Bcr3M1RZKuWRBQ7VRonCw@mail.gmail.com>
In-Reply-To: <CAFvNmHQwifysNTumzoVj6+T8kTfj9Bcr3M1RZKuWRBQ7VRonCw@mail.gmail.com>
From: Jeremy <jlrubin@mit.edu>
Date: Thu, 26 Aug 2021 13:03:47 -0700
X-Gmail-Original-Message-ID: <CAD5xwhhDS8T9YGftmavJ4V68hdHeEnSb7HwPuZNpkeJSGy1Zvg@mail.gmail.com>
Message-ID: <CAD5xwhhDS8T9YGftmavJ4V68hdHeEnSb7HwPuZNpkeJSGy1Zvg@mail.gmail.com>
To: Michael Folkson <michaelfolkson@gmail.com>
Content-Type: multipart/alternative; boundary="00000000000013e83f05ca7bdeab"
Cc: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Subject: Re: [bitcoin-dev] Is there a tool like Ethereum EVM at present for
 Bitcoin script?
X-BeenThere: bitcoin-dev@lists.linuxfoundation.org
X-Mailman-Version: 2.1.15
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: Thu, 26 Aug 2021 20:04:06 -0000

--00000000000013e83f05ca7bdeab
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Will update those soon / in November. Sapio needs the rust Bitcoin taproot
ecosystem to mature, as well as a spec for miniscript taproot (altho we can
kinda monkey patch one in without it).

To be honest, I had some technical difficulties with getting Libera to work
and I gave up... But perhaps I can retry getting it to work again. Irc
infra =F0=9F=A4=B7=E2=80=8D=E2=99=82=EF=B8=8F struggles...


On Thu, Aug 26, 2021, 6:10 AM Michael Folkson <michaelfolkson@gmail.com>
wrote:

> The "No Taproot" section of the Sapio docs need updating :) What are
> your plans to take advantage of Taproot with Sapio? It would have been
> interesting to see what a Taproot emulator would have looked like,
> although no need for it now. It seems to me Taproot would have been
> harder to emulate than CTV though I could be wrong.
>
> https://learn.sapio-lang.org/ch05-02-taproot.html
>
> Also there have been a number of people asking questions about Sapio
> and CTV on the Libera equivalents of Freenode channels #sapio and
> ##ctv-bip-review over the past months. Do you plan to join and claim
> those channels?
>
> Date: Thu, 26 Aug 2021 03:26:23 -0700
> From: Jeremy <jlrubin@mit.edu>
> To: Andrew Poelstra <apoelstra@wpsoftware.net>, Bitcoin Protocol
>         Discussion <bitcoin-dev@lists.linuxfoundation.org>
> Subject: Re: [bitcoin-dev] Is there a tool like Ethereum EVM at
>         present for Bitcoin script?
> Message-ID:
>         <CAD5xwhgmAepA4jW3tK7nihMFsMEdgs0Z6UEs3k=3D
> 3J1soDea0QQ@mail.gmail.com>
> Content-Type: text/plain; charset=3D"utf-8"
>
> This has actually never been true (Sapio assumes extensions).
>
> If the extensions are not present, you can stub them out with a signing
> federation instead, configurable as flags, and you can also write many
> contracts that do not use the ctv based components at all.
>
> The protocol for emulation is a bit clever (if I do say so myself) since =
it
> ensures that contract compilation is completely offline and the oracles a=
re
> completely stateless.
>
> Relevant links:
>
> https://learn.sapio-lang.org/ch05-01-ctv-emulator.html
> https://learn.sapio-lang.org/ch03-02-finish.html
>
> Cheers,
>
> Jeremy
>
> --
> Michael Folkson
> Email: michaelfolkson@gmail.com
> Keybase: michaelfolkson
> PGP: 43ED C999 9F85 1D40 EAF4 9835 92D6 0159 214C FEE3
>

--00000000000013e83f05ca7bdeab
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"auto"><div>Will update those soon / in November. Sapio needs th=
e rust Bitcoin taproot ecosystem to mature, as well as a spec for miniscrip=
t taproot (altho we can kinda monkey patch one in without it).<div dir=3D"a=
uto"><br></div><div dir=3D"auto">To be honest, I had some technical difficu=
lties with getting Libera to work and I gave up... But perhaps I can retry =
getting it to work again. Irc infra =F0=9F=A4=B7=E2=80=8D=E2=99=82=EF=B8=8F=
 struggles...</div><div dir=3D"auto"><br></div><div dir=3D"auto"><br></div>=
<div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Thu, Au=
g 26, 2021, 6:10 AM Michael Folkson &lt;<a href=3D"mailto:michaelfolkson@gm=
ail.com">michaelfolkson@gmail.com</a>&gt; wrote:<br></div><blockquote class=
=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padd=
ing-left:1ex">The &quot;No Taproot&quot; section of the Sapio docs need upd=
ating :) What are<br>
your plans to take advantage of Taproot with Sapio? It would have been<br>
interesting to see what a Taproot emulator would have looked like,<br>
although no need for it now. It seems to me Taproot would have been<br>
harder to emulate than CTV though I could be wrong.<br>
<br>
<a href=3D"https://learn.sapio-lang.org/ch05-02-taproot.html" rel=3D"norefe=
rrer noreferrer" target=3D"_blank">https://learn.sapio-lang.org/ch05-02-tap=
root.html</a><br>
<br>
Also there have been a number of people asking questions about Sapio<br>
and CTV on the Libera equivalents of Freenode channels #sapio and<br>
##ctv-bip-review over the past months. Do you plan to join and claim<br>
those channels?<br>
<br>
Date: Thu, 26 Aug 2021 03:26:23 -0700<br>
From: Jeremy &lt;<a href=3D"mailto:jlrubin@mit.edu" target=3D"_blank" rel=
=3D"noreferrer">jlrubin@mit.edu</a>&gt;<br>
To: Andrew Poelstra &lt;<a href=3D"mailto:apoelstra@wpsoftware.net" target=
=3D"_blank" rel=3D"noreferrer">apoelstra@wpsoftware.net</a>&gt;, Bitcoin Pr=
otocol<br>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 Discussion &lt;<a href=3D"mailto:bitcoin-dev@li=
sts.linuxfoundation.org" target=3D"_blank" rel=3D"noreferrer">bitcoin-dev@l=
ists.linuxfoundation.org</a>&gt;<br>
Subject: Re: [bitcoin-dev] Is there a tool like Ethereum EVM at<br>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 present for Bitcoin script?<br>
Message-ID:<br>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 &lt;CAD5xwhgmAepA4jW3tK7nihMFsMEdgs0Z6UEs3k=3D<=
a href=3D"mailto:3J1soDea0QQ@mail.gmail.com" target=3D"_blank" rel=3D"noref=
errer">3J1soDea0QQ@mail.gmail.com</a>&gt;<br>
Content-Type: text/plain; charset=3D&quot;utf-8&quot;<br>
<br>
This has actually never been true (Sapio assumes extensions).<br>
<br>
If the extensions are not present, you can stub them out with a signing<br>
federation instead, configurable as flags, and you can also write many<br>
contracts that do not use the ctv based components at all.<br>
<br>
The protocol for emulation is a bit clever (if I do say so myself) since it=
<br>
ensures that contract compilation is completely offline and the oracles are=
<br>
completely stateless.<br>
<br>
Relevant links:<br>
<br>
<a href=3D"https://learn.sapio-lang.org/ch05-01-ctv-emulator.html" rel=3D"n=
oreferrer noreferrer" target=3D"_blank">https://learn.sapio-lang.org/ch05-0=
1-ctv-emulator.html</a><br>
<a href=3D"https://learn.sapio-lang.org/ch03-02-finish.html" rel=3D"norefer=
rer noreferrer" target=3D"_blank">https://learn.sapio-lang.org/ch03-02-fini=
sh.html</a><br>
<br>
Cheers,<br>
<br>
Jeremy<br>
<br>
-- <br>
Michael Folkson<br>
Email: <a href=3D"mailto:michaelfolkson@gmail.com" target=3D"_blank" rel=3D=
"noreferrer">michaelfolkson@gmail.com</a><br>
Keybase: michaelfolkson<br>
PGP: 43ED C999 9F85 1D40 EAF4 9835 92D6 0159 214C FEE3<br>
</blockquote></div></div></div>

--00000000000013e83f05ca7bdeab--