1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
Delivery-date: Fri, 19 Sep 2025 20:07:17 -0700
Received: from mail-oo1-f57.google.com ([209.85.161.57])
by mail.fairlystable.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256
(Exim 4.94.2)
(envelope-from <bitcoindev+bncBCYZTRXS4UIBBWFUXDDAMGQENVGZR2I@googlegroups.com>)
id 1uznwT-0008WI-J7
for bitcoindev@gnusha.org; Fri, 19 Sep 2025 20:07:17 -0700
Received: by mail-oo1-f57.google.com with SMTP id 006d021491bc7-62030b11f80sf1967985eaf.1
for <bitcoindev@gnusha.org>; Fri, 19 Sep 2025 20:07:17 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=googlegroups.com; s=20230601; t=1758337631; x=1758942431; darn=gnusha.org;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:reply-to:x-original-sender
:mime-version:subject:message-id:to:from:date:from:to:cc:subject
:date:message-id:reply-to;
bh=26hhnvMVrLAvi2kAvo+fXI915sKqIc3DTnMZUNvGsY4=;
b=kDDLJDKO0EGoZ36qfaf8N7ybMX9UvYP0mVUyRhjr9fipMKalpa6MK2PC3O7aSLpFES
PZEMMWtRABw5qSGVfSiM0SmhfuBqzM3y/sOO5Nx5itciaIIDtISk3nysEtDMVXxCesnA
ROMOW52AW870pmwFQ3JfNzSqMq+59yV6YR1fYVBSk9Js5cuEHepTUx0YelgbR1UZf3Wo
vD7M2lOZ/D/ENF4ZToev1dTpirdW+mwS4sk04cb9EUDNSE5B8ZOuRLCh3WVIQmAJcd4K
nVlD1+71p2fs0fQQwD6R0MqUDyFthMjYmCKPwX7X6GoSiy+qabrlfmSBvTqIoXqq8vyD
n7AQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1758337631; x=1758942431;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:reply-to:x-original-sender
:mime-version:subject:message-id:to:from:date:x-beenthere
:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
bh=26hhnvMVrLAvi2kAvo+fXI915sKqIc3DTnMZUNvGsY4=;
b=e6yYRpTyD6CUkMz07eek3s/XY560VuKrmOr5JPHlvdNnY0YCc5s20qiEbdRozKZEJf
62GqJXVFvoWlmfRfcS/JNkkjst+k7pRVeSt0MkQcupuAnYgZ0Gie0r427GWKtHqYUEgx
N3RSFQ+tsXjd+mtYKHZT+NkMBDi7vHLICVcDSS81g24VVtyA101N3avrvMipTyURVxWk
F3BKW8hwPutmiYDZf7QFkhbZQBJOuHDXbQfP0vH+X/y3Se2jLglYoLtneR316gYEiDxR
ECWoPaAh4xn3UrGE9RFbMKJP8Kv3C9cZhQJMEsjdaYQevw8iuyJtH9C5zpfWInnMKonT
/qqQ==
X-Forwarded-Encrypted: i=1; AJvYcCWn5fmfnsP9te+5EVnX1MdMymtCxO9hXKW+oAxvSD0q4JqxerJCiXaEgjtGm8YWjAKhBP3mVCCPTA8r@gnusha.org
X-Gm-Message-State: AOJu0Ywlh6TmxZGBe2qNHUfyygT4IjwmVt7LKZoBQgWRFtqpobsliHdE
9d9Z7+QAdrKcYx6QGuickM2U0/Pn0nBPLTZ33F6kfQ72jTn8HXu004px
X-Google-Smtp-Source: AGHT+IFHFBi4OOZQ2cel+nbuA/ni5sbatjVT1m+jb53imxw3dzRrGgRzAq9dPnluKGDDa8h1eRyInw==
X-Received: by 2002:a05:6808:210b:b0:438:3f5c:8378 with SMTP id 5614622812f47-43d6c112a0amr2384457b6e.3.1758337630863;
Fri, 19 Sep 2025 20:07:10 -0700 (PDT)
X-BeenThere: bitcoindev@googlegroups.com; h=ARHlJd5EF2tq9SkDK9C+AnJIomzqg2KoTn3vBBaYyShBBgFh7Q==
Received: by 2002:a05:687c:54:20b0:31d:8b8a:ce6e with SMTP id
586e51a60fabf-336fe40d3abls584672fac.0.-pod-prod-04-us; Fri, 19 Sep 2025
20:07:04 -0700 (PDT)
X-Received: by 2002:a05:6808:199d:b0:43b:a1ae:544f with SMTP id 5614622812f47-43d6c2c4396mr2126077b6e.46.1758337624600;
Fri, 19 Sep 2025 20:07:04 -0700 (PDT)
Received: by 2002:a05:690c:6c8f:b0:723:969e:b18b with SMTP id 00721157ae682-7382c1f5e85ms7b3;
Fri, 19 Sep 2025 19:25:21 -0700 (PDT)
X-Received: by 2002:a05:690c:a089:10b0:726:bba4:dd50 with SMTP id 00721157ae682-73d1fb6908fmr37942087b3.8.1758335119454;
Fri, 19 Sep 2025 19:25:19 -0700 (PDT)
Date: Fri, 19 Sep 2025 19:25:19 -0700 (PDT)
From: "'Toby Sharp' via Bitcoin Development Mailing List" <bitcoindev@googlegroups.com>
To: Bitcoin Development Mailing List <bitcoindev@googlegroups.com>
Message-Id: <d9583f04-1aec-442d-ab2f-fc10fa42252dn@googlegroups.com>
Subject: [bitcoindev] A Minimal, Executable Specification for Bitcoin Consensus
MIME-Version: 1.0
Content-Type: multipart/mixed;
boundary="----=_Part_347042_1310344922.1758335119099"
X-Original-Sender: toby@hornetnode.org
X-Original-From: Toby Sharp <toby@hornetnode.org>
Reply-To: Toby Sharp <toby@hornetnode.org>
Precedence: list
Mailing-list: list bitcoindev@googlegroups.com; contact bitcoindev+owners@googlegroups.com
List-ID: <bitcoindev.googlegroups.com>
X-Google-Group-Id: 786775582512
List-Post: <https://groups.google.com/group/bitcoindev/post>, <mailto:bitcoindev@googlegroups.com>
List-Help: <https://groups.google.com/support/>, <mailto:bitcoindev+help@googlegroups.com>
List-Archive: <https://groups.google.com/group/bitcoindev
List-Subscribe: <https://groups.google.com/group/bitcoindev/subscribe>, <mailto:bitcoindev+subscribe@googlegroups.com>
List-Unsubscribe: <mailto:googlegroups-manage+786775582512+unsubscribe@googlegroups.com>,
<https://groups.google.com/group/bitcoindev/subscribe>
X-Spam-Score: -1.0 (-)
------=_Part_347042_1310344922.1758335119099
Content-Type: multipart/alternative;
boundary="----=_Part_347043_1743359416.1758335119099"
------=_Part_347043_1743359416.1758335119099
Content-Type: text/plain; charset="UTF-8"
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.
------=_Part_347043_1743359416.1758335119099
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
I've been working on a specification for Bitcoin consensus rules: it's a de=
clarative-style, executable, modern C++ implementation with the beginnings =
of a purpose-built DSL to enable formal verification.<br /><br />It's not f=
inished, but it's working to sync headers and blocks to tip (with full scri=
pt validation to follow).<br /><br />Here's my write-up:<br /><b><br />Horn=
et Node and the Hornet DSL:<br />A Minimal, Executable Specification for Bi=
tcoin Consensus</b><br />Toby Sharp<br /><div><a href=3D"http://hornetnode.=
org/paper.html">hornetnode.org/paper.html</a></div><div><br /></div><div>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 rea=
dy.<br /><br />Thanks,</div><div>T#</div><br />
<p></p>
-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;Bitcoin Development Mailing List" group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:bitcoindev+unsubscribe@googlegroups.com">bitcoind=
ev+unsubscribe@googlegroups.com</a>.<br />
To view this discussion visit <a href=3D"https://groups.google.com/d/msgid/=
bitcoindev/d9583f04-1aec-442d-ab2f-fc10fa42252dn%40googlegroups.com?utm_med=
ium=3Demail&utm_source=3Dfooter">https://groups.google.com/d/msgid/bitcoind=
ev/d9583f04-1aec-442d-ab2f-fc10fa42252dn%40googlegroups.com</a>.<br />
------=_Part_347043_1743359416.1758335119099--
------=_Part_347042_1310344922.1758335119099--
|
