public inbox for bitcoindev@googlegroups.com
 help / color / mirror / Atom feed

From: "'Toby Sharp' via Bitcoin Development Mailing List" <bitcoindev@googlegroups.com>
To: Bitcoin Development Mailing List <bitcoindev@googlegroups.com>
Subject: [bitcoindev] A Minimal, Executable Specification for Bitcoin Consensus
Date: Fri, 19 Sep 2025 19:25:19 -0700 (PDT)	[thread overview]
Message-ID: <d9583f04-1aec-442d-ab2f-fc10fa42252dn@googlegroups.com> (raw)


[-- Attachment #1.1: Type: text/plain, Size: 1020 bytes --]

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 toby@hornetnode•org. 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 bitcoindev+unsubscribe@googlegroups•com.
To view this discussion visit https://groups.google.com/d/msgid/bitcoindev/d9583f04-1aec-442d-ab2f-fc10fa42252dn%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 1437 bytes --]

                 reply	other threads:[~2025-09-20  3:07 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=d9583f04-1aec-442d-ab2f-fc10fa42252dn@googlegroups.com \
    --to=bitcoindev@googlegroups.com \
    --cc=toby@hornetnode$(echo .)org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox