I've been working on a specification for Bitcoin consensus rules: it's a declarative-style, executable, modern C++ implementation with the beginnings of a purpose-built DSL to enable formal verification.<br /><br />It's not finished, but it's working to sync headers and blocks to tip (with full script validation to follow).<br /><br />Here's my write-up:<br /><b><br />Hornet Node and the Hornet DSL:<br />A Minimal, Executable Specification for Bitcoin Consensus</b><br />Toby Sharp<br /><div><a href="http://hornetnode.org/paper.html">hornetnode.org/paper.html</a></div><div><br /></div><div>I don't read this list often, but if you'd like to discuss, you can reach me directly at toby@hornetnode.org. I'll make the code available when it's ready.<br /><br />Thanks,</div><div>T#</div><br />

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &quot;Bitcoin Development Mailing List&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:bitcoindev+unsubscribe@googlegroups.com">bitcoindev+unsubscribe@googlegroups.com</a>.<br />
To view this discussion visit <a href="https://groups.google.com/d/msgid/bitcoindev/d9583f04-1aec-442d-ab2f-fc10fa42252dn%40googlegroups.com?utm_medium=email&utm_source=footer">https://groups.google.com/d/msgid/bitcoindev/d9583f04-1aec-442d-ab2f-fc10fa42252dn%40googlegroups.com</a>.<br />