* [bitcoindev] A Minimal, Executable Specification for Bitcoin Consensus
@ 2025-09-20 2:25 'Toby Sharp' via Bitcoin Development Mailing List
0 siblings, 0 replies; only message in thread
From: 'Toby Sharp' via Bitcoin Development Mailing List @ 2025-09-20 2:25 UTC (permalink / raw)
To: Bitcoin Development Mailing List
[-- 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 --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2025-09-20 3:07 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-09-20 2:25 [bitcoindev] A Minimal, Executable Specification for Bitcoin Consensus 'Toby Sharp' via Bitcoin Development Mailing List
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox