Return-Path: Received: from smtp2.osuosl.org (smtp2.osuosl.org [140.211.166.133]) by lists.linuxfoundation.org (Postfix) with ESMTP id E7819C000E for ; 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 ; 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 ; 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 ; 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 ; Thu, 26 Aug 2021 16:04:00 -0400 Received: by mail-il1-f170.google.com with SMTP id j15so4541480ila.1 for ; 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: In-Reply-To: From: Jeremy Date: Thu, 26 Aug 2021 13:03:47 -0700 X-Gmail-Original-Message-ID: Message-ID: To: Michael Folkson Content-Type: multipart/alternative; boundary="00000000000013e83f05ca7bdeab" Cc: Bitcoin Protocol Discussion 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-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 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 > To: Andrew Poelstra , Bitcoin Protocol > Discussion > Subject: Re: [bitcoin-dev] Is there a tool like Ethereum EVM at > present for Bitcoin script? > Message-ID: > 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
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).

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...


=
On Thu, Au= g 26, 2021, 6:10 AM Michael Folkson <michaelfolkson@gmail.com> wrote:
The "No Taproot" section of the Sapio docs need upd= ating :) 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-tap= root.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 Pr= otocol
=C2=A0 =C2=A0 =C2=A0 =C2=A0 Discussion <bitcoin-dev@l= ists.linuxfoundation.org>
Subject: Re: [bitcoin-dev] Is there a tool like Ethereum EVM at
=C2=A0 =C2=A0 =C2=A0 =C2=A0 present for Bitcoin script?
Message-ID:
=C2=A0 =C2=A0 =C2=A0 =C2=A0 <CAD5xwhgmAepA4jW3tK7nihMFsMEdgs0Z6UEs3k=3D<= a href=3D"mailto:3J1soDea0QQ@mail.gmail.com" target=3D"_blank" rel=3D"noref= errer">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 are=
completely stateless.

Relevant links:

https://learn.sapio-lang.org/ch05-0= 1-ctv-emulator.html
https://learn.sapio-lang.org/ch03-02-fini= sh.html

Cheers,

Jeremy

--
Michael Folkson
Email: michaelfolkson@gmail.com
Keybase: michaelfolkson
PGP: 43ED C999 9F85 1D40 EAF4 9835 92D6 0159 214C FEE3
--00000000000013e83f05ca7bdeab--