[prev in list] [next in list] [prev in thread] [next in thread]
List: bitcoin-dev
Subject: Re: [bitcoin-dev] Is there a tool like Ethereum EVM at present for Bitcoin script?
From: Jeremy via bitcoin-dev <bitcoin-dev () lists ! linuxfoundation ! org>
Date: 2021-08-26 20:03:47
Message-ID: CAD5xwhhDS8T9YGftmavJ4V68hdHeEnSb7HwPuZNpkeJSGy1Zvg () mail ! gmail ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
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 🤷♂️ 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=
> 3J1soDea0QQ@mail.gmail.com>
> Content-Type: text/plain; charset="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-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
>
[Attachment #5 (text/html)]
<div dir="auto"><div>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).<div dir="auto"><br></div><div \
dir="auto">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 \
🤷♂️ struggles...</div><div dir="auto"><br></div><div \
dir="auto"><br></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On \
Thu, Aug 26, 2021, 6:10 AM Michael Folkson <<a \
href="mailto:michaelfolkson@gmail.com">michaelfolkson@gmail.com</a>> \
wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 \
.8ex;border-left:1px #ccc solid;padding-left:1ex">The "No Taproot" section \
of the Sapio docs need updating :) 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="https://learn.sapio-lang.org/ch05-02-taproot.html" rel="noreferrer \
noreferrer" target="_blank">https://learn.sapio-lang.org/ch05-02-taproot.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 <<a href="mailto:jlrubin@mit.edu" target="_blank" \
rel="noreferrer">jlrubin@mit.edu</a>><br>
To: Andrew Poelstra <<a href="mailto:apoelstra@wpsoftware.net" target="_blank" \
rel="noreferrer">apoelstra@wpsoftware.net</a>>, Bitcoin \
Protocol<br>
Discussion <<a href="mailto:bitcoin-dev@lists.linuxfoundation.org" \
target="_blank" \
rel="noreferrer">bitcoin-dev@lists.linuxfoundation.org</a>><br>
Subject: Re: [bitcoin-dev] Is there a tool like Ethereum EVM at<br>
present for Bitcoin script?<br>
Message-ID:<br>
<CAD5xwhgmAepA4jW3tK7nihMFsMEdgs0Z6UEs3k=<a \
href="mailto:3J1soDea0QQ@mail.gmail.com" target="_blank" \
rel="noreferrer">3J1soDea0QQ@mail.gmail.com</a>><br>
Content-Type: text/plain; charset="utf-8"<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="https://learn.sapio-lang.org/ch05-01-ctv-emulator.html" rel="noreferrer \
noreferrer" target="_blank">https://learn.sapio-lang.org/ch05-01-ctv-emulator.html</a><br>
<a href="https://learn.sapio-lang.org/ch03-02-finish.html" rel="noreferrer \
noreferrer" target="_blank">https://learn.sapio-lang.org/ch03-02-finish.html</a><br> \
<br> Cheers,<br>
<br>
Jeremy<br>
<br>
-- <br>
Michael Folkson<br>
Email: <a href="mailto:michaelfolkson@gmail.com" target="_blank" \
rel="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>
_______________________________________________
bitcoin-dev mailing list
bitcoin-dev@lists.linuxfoundation.org
https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic