<div dir="ltr"><div>Hi Everyone,</div><div><br></div><div>We have a new blog post up at <<a href="https://medium.com/blockstream/simplicity-taproot-and-universal-sighashes-18be8647b3bd" target="_blank">https://medium.com/blockstream/simplicity-taproot-and-universal-sighashes-18be8647b3bd</a>> discussing our progress on Simplicity.  You can read all about it in the post, but the highlights are:</div><div><br></div><div>  * Preliminary taproot integration where Simplicity programs are placed under a new Tapleaf version.</div><div>  * An asciinema video with a demo / walk-through of creating and spending an example Simplicity transaction under taproot at <<a href="https://asciinema.org/a/427264" target="_blank">https://asciinema.org/a/427264</a>></div><div>  * Jets for the latest BIP-340 style Schnorr signatures and low level cryptographic operations.</div><div><br></div><div>I'm currently working on finishing up Taproot support by adding primitives to access the Taproot annex, the Taproot inner public key, etc.   After that I will be implementing more arithmetic jets (they have already been specced out), and assigning costs to jets, along with a few other anti-DOS mitigations that need to be implemented.</div><div><br></div><div>-- <br></div><div>Russell O'Connor<br></div></div>