Subject: [bitcoindev] A Minimal, Executable Specification for Bitcoin Consensus

From: "'Toby Sharp' via Bitcoin Development Mailing List" <[email-masked]>
Date: Fri, 19 Sep 2025 19:25:19 -0700 (PDT)

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-masked]. 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-masked].
To view this discussion visit https://groups.google.com/d/msgid/bitcoindev/d9583f04-1aec-442d-ab2f-fc10fa42252dn%40googlegroups.com.