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 On Tue, Aug 24, 2021, 6:19 AM Andrew Poelstra via bitcoin-dev < bitcoin-dev@lists.linuxfoundation.org> wrote: > > Simplicity does not compile to Bitcoin Script, and Sapio assumes extensions > to Bitcoin Script that are not currently part of the consensus code. > > > On Tue, Aug 24, 2021 at 03:36:29PM +0800, Gijs van Dam via bitcoin-dev > wrote: > > Hi, > > > > > > Bitcoin does not have a virtual machine. But you do have [Miniscript][1], > > [Min.sc][2], [Simplicity][3] and [Sapio][4]. These are all higher level > > languages that compile to Bitcoin Script. Sapio is "just" Rust, so that > > might fit your setting best. > > > > By the way, this question also has an answer on [Bitcoin > Stackexchange][5] > > which is a great resource for questions like this. > > > > [1]: http://bitcoin.sipa.be/miniscript/ > > [2]: https://min.sc/ > > [3]: https://github.com/ElementsProject/simplicity > > [4]: https://learn.sapio-lang.org/ > > [5]: > > > https://bitcoin.stackexchange.com/questions/108261/is-there-a-tool-like-ethereum-evm-at-present-for-bitcoin-script > > > > On Tue, Aug 24, 2021 at 2:55 PM Null Null via bitcoin-dev < > > bitcoin-dev@lists.linuxfoundation.org> wrote: > > > > > Hi all, > > > > > > Is there a tool like Ethereum EVM at present? Users can write bitcoin > > > scripts in a syntax just like python(or like other programming > language); > > > through this tool, they can be translated into bitcoin original > scripts; it > > > sounds like a new programming language has been invented. > > > > > > In my opinion， Bitcoin script programming is based on reverse Polish > > > expression; this is not friendly to programmers; > > > > > > In fact, Bitcoin's opcode expression ability is very rich, and it may > be > > > unfriendly, which has affected the promotion of Bitcoin in the > technical > > > community. > > > > > > Hope for hearing some voice about this. > > > > > > Best wish. > > > > > > _______________________________________________ > > > bitcoin-dev mailing list > > > bitcoin-dev@lists.linuxfoundation.org > > > https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev > > > > > > _______________________________________________ > > bitcoin-dev mailing list > > bitcoin-dev@lists.linuxfoundation.org > > https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev > > > -- > Andrew Poelstra > Director of Research, Blockstream > Email: apoelstra at wpsoftware.net > Web: https://www.wpsoftware.net/andrew > > The sun is always shining in space > -Justin Lewis-Webster > > _______________________________________________ > bitcoin-dev mailing list > bitcoin-dev@lists.linuxfoundation.org > https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev >
_______________________________________________ bitcoin-dev mailing list bitcoin-dev@lists.linuxfoundation.org https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev
