[Simplicity] Simplicity on Taproot

[Russell O'Connor]

Hi Everyone,

We have a new blog post up at <
https://medium.com/blockstream/simplicity-taproot-and-universal-sighashes-18be8647b3bd>
discussing our progress on Simplicity.  You can read all about it in the
post, but the highlights are:

  * Preliminary taproot integration where Simplicity programs are placed
under a new Tapleaf version.
  * An asciinema video with a demo / walk-through of creating and spending
an example Simplicity transaction under taproot at <
https://asciinema.org/a/427264>
  * Jets for the latest BIP-340 style Schnorr signatures and low level
cryptographic operations.

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.

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