From mboxrd@z Thu Jan 1 00:00:00 1970 Delivery-date: Sat, 18 Apr 2026 18:51:41 -0700 Received: from mail-ot1-f64.google.com ([209.85.210.64]) by mail.fairlystable.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.94.2) (envelope-from ) id 1wEHK1-0001Bq-Hy for bitcoindev@gnusha.org; Sat, 18 Apr 2026 18:51:41 -0700 Received: by mail-ot1-f64.google.com with SMTP id 46e09a7af769-7d496d080d8sf2524234a34.0 for ; Sat, 18 Apr 2026 18:51:41 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1776563495; cv=pass; d=google.com; s=arc-20240605; b=kXDvo1apQGCfrwpdpGHC52ESzA2Nr4AGCBni9+OX6l8O2QtXwhbAVqYRH4kdAtPucu oaSpIb/+PjiNHtxCRreuOz3IxwocNF8OgUFjhZ4Ihp0r+qogGvIQmkK5QFRRBILWYgNf DF/KQj54NWVcoKkShEkmTHqePU213VIZ1nC+kaNv0EfR91BsO6B7uMLk0OEpDMHRzCVM 1cOcVFxCB/uUtpPUvHzMpX1prFju+dTwfJjrktj5oigizx4CzhPaM/RPU8LfdX4Cr16M peKPlqgQvFhqXuDbxDTqd3pre3J4RmRuJTH1nOVBofBc20ciwRzlhkNB/SumOOMhOIyJ iYPA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:mime-version:feedback-id :references:in-reply-to:message-id:subject:cc:from:to:date :dkim-signature; bh=CkSLTf/TzbRR3+r5s+U4hO+jmuotHRemd96KlZIIdkE=; fh=yQoV09SacdEqgEjlBhoRjWHmDnCnsBR/5qXk2PtfTfQ=; b=BRyEC6CjzOvefLIc1ZPslFmWApL6D7s6JPdI0RaJmkNkZrdgC7bR+XYuOnMlSM1ofL a0RaLSiArYXDWeXn6qfkSJZcdu4p2p0uKxoYNDSkzgoAeY4TsrG1icORiGJ9erCPaBlk uUEjcNtJSRRN0HvX/e/OQ5zadyQtd2MK+zYwQOYL2/NX++Tbq2FPtoiRqs63DRXlJmPu AuXIVTp2dJYDy7qY+pU7MPnA9mYPyB9Sb+tsV62xX6+n6kDBRExyeoAQt04tjW+zNmSb imj550YlX76P9HtY3JMuiXCVQADVx7pBnsSxnP/+wA87h3X+YFG8DHFAu2IPhTOkhHsh GWDA==; darn=gnusha.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@hornetnode.org header.s=protonmail2 header.b=LqebPuYe; spf=pass (google.com: domain of toby@hornetnode.org designates 185.70.43.18 as permitted sender) smtp.mailfrom=toby@hornetnode.org; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=hornetnode.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20251104; t=1776563495; x=1777168295; darn=gnusha.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to :x-original-authentication-results:x-original-sender:mime-version :feedback-id:references:in-reply-to:message-id:subject:cc:from:to :date:from:to:cc:subject:date:message-id:reply-to; bh=CkSLTf/TzbRR3+r5s+U4hO+jmuotHRemd96KlZIIdkE=; b=rvkuFGoQuYv/z5Mb8B4WSLAaf3s1EZG2Xt7YaO2bdDtexnGx4yv1KBbxy5JeHCbvYr 119swCWZGTggYnB+nSFhn6I10RBc9mQl6cIi0xUXK9/rN/VJ+YbI4Yo5hVV8AG9rIgYT aGxeVZm54czPkqB6ejH+B6J2yMmC8bZUt1LAoiAV+BVfryifF//41DNsOfsAUI2fHdKV gG5qdAvE/MEEO+AqeIdxWyzvcDx10OEaw7kv0LLtSTl34pkfCZSCAXw2EPUzQPzBVWn9 7zYT3DUGQv78zM4CbI0Ic3qCoP/kZm4kJDE1AImWXLdYg8eSWKKtbe5j2BqycED/82Sl T/Bw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1776563495; x=1777168295; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to :x-original-authentication-results:x-original-sender:mime-version :feedback-id:references:in-reply-to:message-id:subject:cc:from:to :date:x-beenthere:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=CkSLTf/TzbRR3+r5s+U4hO+jmuotHRemd96KlZIIdkE=; b=ZPI2yCqeYTNvilxn1tm/xBRiYRxZJb/yF47IReCMcEvCCZD5jdZCrSqefq9DjjA4jl RABQTAviytFPmfw475RfPVy2SH192bHpE2Vm5fXdgW4I+Ybc6iqwAnB5eaQvE5c8pHj4 EDynK6kE2jsof5oddIwalTn2FZJcA5KPx6N0BjPmLeqpQOFW9V03lN83i48clxAINBdJ To/aptU0EIj11U3Lli7VIgXiFtrn1F8ucTgNVPWWipKkWUOPIHgt00Xr11Oc4ZW+quCr /MsbVEmakzeCdBscnWZVUUugvAhMYiVqusjzzeVhyqAj7VPcv05760rp2p1phy16w/73 DRMg== X-Forwarded-Encrypted: i=2; AFNElJ9yevi0TT8Qce+mxbMgUZ1I6GEoiVXZNk7lqDX96P8IWVMrO3N5F5wIy0GLHdjZD7p2dS/QHfFNA2aS@gnusha.org X-Gm-Message-State: AOJu0YyTv65EyNGeph/S+2T0oahg6CT4B0wFhcGiI8yRALfcnvknqi0x LA9zOrqHzUYXIVZm/7PFWwyfldXKyHo5I2Jx3YJ6Oi4kaCqtceyE05qR X-Received: by 2002:a05:6808:220f:b0:467:255a:7453 with SMTP id 5614622812f47-4799c8f1849mr4171943b6e.14.1776563494925; Sat, 18 Apr 2026 18:51:34 -0700 (PDT) X-BeenThere: bitcoindev@googlegroups.com; h="AYAyTiIDpiwnf1VMgEHomkSFyL/RFzLMfADcmjFIH3GghPZP4Q==" Received: by 2002:a05:6871:d615:b0:3c9:732d:60f2 with SMTP id 586e51a60fabf-4280c483a51ls1396851fac.1.-pod-prod-02-us; Sat, 18 Apr 2026 18:51:29 -0700 (PDT) X-Received: by 2002:a05:6808:2507:b0:467:fcc9:7948 with SMTP id 5614622812f47-4799c907369mr4474988b6e.20.1776563489763; Sat, 18 Apr 2026 18:51:29 -0700 (PDT) Received: by 2002:a05:600c:2301:b0:488:963a:630a with SMTP id 5b1f17b1804b1-488fbcef612ms5e9; Sat, 18 Apr 2026 15:26:37 -0700 (PDT) X-Received: by 2002:a05:600c:83cf:b0:488:aa3d:fab1 with SMTP id 5b1f17b1804b1-488fb76877fmr117137515e9.17.1776551195779; Sat, 18 Apr 2026 15:26:35 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1776551195; cv=none; d=google.com; s=arc-20240605; b=MRfsAqeJRM995DrhN9A/9mn/E8YYM9JE/5EGvsBsDtgT6FHEeJi4glT6VZkPnKvXYt tP3lx9ESEG3msfCqJEhPCebDN4dG6jaRIiKgpzMbiRjFoBkZm+l2F2xLBoBmlufI/7DT YpN4Oqy59jeemQuVCKFtDi+QKgDAoUSp0WYW5ENLw+2MQB8NDPmnVSEZmVl2HiFDZXh3 iVRpbqdkXgwRIFyaCl8F4g1Egxc5H61pzjqFMJ42byOCaQPdYFe10htKyk8PvmitT1m7 fFn1/Qul9UpwVmCX0jMU3BQG7zV0/uGIQ0NuC4DACLTV/AYfNTiC3VgKee037TDIUysi xu6g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=content-transfer-encoding:mime-version:feedback-id:references :in-reply-to:message-id:subject:cc:from:to:date:dkim-signature; bh=EsIHORlLxFf61yohJ3oFiNGIZQ2PxpZ+GXnkDNntvjM=; fh=vfPP9iqpsn+L6IpDObIz3VSXaC72IQB5ATjaiPEmUGA=; b=Jyk18q7fx1r1XSNoI7tbbihvJxDihyNmzDRPKQmhFcKGN+/bYQaK7oD1fXqM6QS+Nx KAIvegz6B/YqRanECFiIF8cZJ9XtdzfWgacY8IvQFJ+HlKYmfW+CCvxBWo1DkMzxTW9J KoasATc2Jy1QQiEtV8IjS9iy8yGr8hkwEIfwpyQAVjM5i0DDyAhinV9o8JhaNhp0tvvE zEQb3h3QuB2z2YHxE8lk5LkOTcpDhHXF3EUjHtXkdrXgC5q3d7OMUKWrLlS1o12cJH6p x/OB7qgHxXlFuxjNq3mJzYkjwdQxXq4vfzX6idHRqfmkfnEZM//5g1Zz5+xgl/hHzpWD kMtQ==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@hornetnode.org header.s=protonmail2 header.b=LqebPuYe; spf=pass (google.com: domain of toby@hornetnode.org designates 185.70.43.18 as permitted sender) smtp.mailfrom=toby@hornetnode.org; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=hornetnode.org Received: from mail-4318.protonmail.ch (mail-4318.protonmail.ch. [185.70.43.18]) by gmr-mx.google.com with ESMTPS id 5b1f17b1804b1-488fb6dfb80si594385e9.0.2026.04.18.15.26.35 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 18 Apr 2026 15:26:35 -0700 (PDT) Received-SPF: pass (google.com: domain of toby@hornetnode.org designates 185.70.43.18 as permitted sender) client-ip=185.70.43.18; Date: Sat, 18 Apr 2026 22:26:31 +0000 To: eric@voskuil.org From: "'Toby Sharp' via Bitcoin Development Mailing List" Cc: 'Bitcoin Development Mailing List' Subject: Re: RE: [bitcoindev] Hornet Update: A declarative executable specification of Bitcoin consensus rules Message-ID: <--C53DoYZLFJgwz6T6jBLFNjx3dNCZRC06RK981Cj40XsyFGNMf2pX7eiUpG-hzsMXnEIxFFyEWjost7GyuM3xKkvpqj99ODyTQprnl-N1g=@hornetnode.org> In-Reply-To: <00b401dccf78$6f5e7a00$4e1b6e00$@voskuil.org> References: <4cd864f3-96dd-4058-bfcd-b1bbf6cfa269n@googlegroups.com> <006501dccd36$ea035fd0$be0a1f70$@voskuil.org> <00b401dccf78$6f5e7a00$4e1b6e00$@voskuil.org> Feedback-ID: 160430243:user:proton X-Pm-Message-ID: 170fc7018d18ea3435bf9fa76de514cee6fd47df MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Original-Sender: toby@hornetnode.org X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@hornetnode.org header.s=protonmail2 header.b=LqebPuYe; spf=pass (google.com: domain of toby@hornetnode.org designates 185.70.43.18 as permitted sender) smtp.mailfrom=toby@hornetnode.org; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=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 (-) > It appears that Hornet is missing the rule prohibiting forward references within a block. This is implied by Rule S02: "A transaction input MUST reference a previous transaction output that remains unspent." However, to make it clearer, I will rewrite it as: "S02: A transaction input MUST reference a preceding transaction output that remains unspent." > Otherwise there are potential malleation issues to deal with depending on how blocks/headers are being managed. This can affect consensus behavior (via archival) while not showing up as an issue in these rules. That would be an implementation correctness detail rather than part of a declarative spec. The intention here is to specify what must be true for consensus validity rather than how it should be computed. Best wishes, 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/--C53DoYZLFJgwz6T6jBLFNjx3dNCZRC06RK981Cj40XsyFGNMf2pX7eiUpG-hzsMXnEIxFFyEWjost7GyuM3xKkvpqj99ODyTQprnl-N1g%3D%40hornetnode.org.