<div dir="ltr"><div>Hi everyone,<br></div><div><br></div><div>We have a new blog post at <a href="https://medium.com/blockstream/disconnecting-simplicity-expressions-7b8ee0392fde">https://medium.com/blockstream/disconnecting-simplicity-expressions-7b8ee0392fde</a>  announcing the complete implementation of all the Simplicity combinators.</div><div><br></div><div>This blog post covers the <span style="font-family:monospace">disconnect</span> 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.</div><div><br></div><div>Having all the combinators implemented doesn't mean we are done yet. Work continues on</div><div><br></div><div>* Anti-denial-of-service mitigations, including a cost model for resource usage.<br>* Creating a wide selection of jets to reduce the cost of common expressions.</div><div>* Updating the transaction introspection primitives to support new Taproot features.</div><div><br></div><div>We are also continuing work on translating <a href="http://bitcoin.sipa.be/miniscript/">Miniscript</a> to Simplicity.</div><div><br></div><div>-- <br></div><div>Russell O'Connor<br></div></div>