[Simplicity] Disconnecting Simplicity Expressions

[Russell O'Connor]

Hi everyone,

We have a new blog post at
https://medium.com/blockstream/disconnecting-simplicity-expressions-7b8ee0392fde
announcing the complete implementation of all the Simplicity combinators.

This blog post covers the disconnect combinator, which allows one to supply
Simplicity expressions at redemption time.  In particular, this allows one
to create a "universal sighash mode" that allows one to sign transactions
with any custom sighash mode.  This construction also lets you delegate
control of funds to a third party.  Lastly the post briefly mentions how to
circumvent Simplicity restrictions on finite computations by using
disconnect to commit to an unbounded loop.

Having all the combinators implemented doesn't mean we are done yet. Work
continues on

* Anti-denial-of-service mitigations, including a cost model for resource
usage.
* Creating a wide selection of jets to reduce the cost of common
expressions.
* Updating the transaction introspection primitives to support new Taproot
features.

We are also continuing work on translating Miniscript
<http://bitcoin.sipa.be/miniscript/> to Simplicity.

-- 
Russell O'Connor
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ozlabs.org/pipermail/simplicity/attachments/20200928/9524145c/attachment.htm>