Satoshi Scoop Weekly, 3 October 2025
Crypto Insights
Hornet Node + DSL: The First Credible Path for a Pure, Formal, Executable Specification of Bitcoin Consensus
In this paper, Toby Sharp demonstrates a compact, executable, declarative C++ specification of Bitcoin consensus rules that s...