<div dir="ltr"><div>This is definitely an interesting idea!</div><div><br></div><div>I might try my hand at building a lightning service that offers to execute Simplicity and sign transactions based on pubkeys tweeked by Simplicity commitment Merkle roots.  The work I've been doing lately on putting Simplicity into Elements can almost entirely be reused for this purpose.  If it all works we can open source the service so that anyone else can do the same.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Apr 3, 2019 at 10:03 PM ZmnSCPxj <<a href="mailto:ZmnSCPxj@protonmail.com">ZmnSCPxj@protonmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><a href="https://zmnscpxj.github.io/bitcoin/unchained.html" rel="noreferrer" target="_blank">https://zmnscpxj.github.io/bitcoin/unchained.html</a><br>
<br>
Smart contracts have traditionally been implemented as part of the consensus rules of some blokchain.  Often this means creating a new blockchain, or at least a sidechain to an existing blockchain.  This writeup proposes an alternative method without launching a separate blockchain or sidechain, while achieving security similar to federated sidechains and additional benefits to privacy and smart-contract-patching.<br>
-- <br>
Simplicity mailing list<br>
<a href="mailto:Simplicity@lists.ozlabs.org" target="_blank">Simplicity@lists.ozlabs.org</a><br>
<a href="https://lists.ozlabs.org/listinfo/simplicity" rel="noreferrer" target="_blank">https://lists.ozlabs.org/listinfo/simplicity</a><br>
</blockquote></div></div>