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.
It's not finished, but it's working to sync headers and blocks to tip (with full script validation to follow). Here's my write-up: *Hornet Node and the Hornet DSL:A Minimal, Executable Specification for Bitcoin Consensus* Toby Sharp hornetnode.org/paper.html I don't read this list often, but if you'd like to discuss, you can reach me directly at [email protected]. I'll make the code available when it's ready. Thanks, T# -- You received this message because you are subscribed to the Google Groups "Bitcoin Development Mailing List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/bitcoindev/d9583f04-1aec-442d-ab2f-fc10fa42252dn%40googlegroups.com.
