From mboxrd@z Thu Jan 1 00:00:00 1970 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 ) 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 ; 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" To: Bitcoin Development Mailing List Message-Id: 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 Reply-To: Toby Sharp Precedence: list Mailing-list: list bitcoindev@googlegroups.com; contact bitcoindev+owners@googlegroups.com List-ID: X-Google-Group-Id: 786775582512 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , 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.

It's not f= inished, but it's working to sync headers and blocks to tip (with full scri= pt validation to follow).

Here's my write-up:

Horn= et Node and the Hornet DSL:
A Minimal, Executable Specification for Bi= tcoin Consensus
Toby Sharp

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.

Thanks,
T#

--
You received this message because you are subscribed to the Google Groups &= quot;Bitcoin Development Mailing List" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to bitcoind= ev+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/bitcoind= ev/d9583f04-1aec-442d-ab2f-fc10fa42252dn%40googlegroups.com.
------=_Part_347043_1743359416.1758335119099-- ------=_Part_347042_1310344922.1758335119099--