From mboxrd@z Thu Jan 1 00:00:00 1970 Delivery-date: Tue, 14 Apr 2026 02:18:31 -0700 Received: from mail-qv1-f55.google.com ([209.85.219.55]) by mail.fairlystable.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.94.2) (envelope-from ) id 1wCZug-0006zS-RH for bitcoindev@gnusha.org; Tue, 14 Apr 2026 02:18:31 -0700 Received: by mail-qv1-f55.google.com with SMTP id 6a1803df08f44-8a0b5478a12sf111311436d6.0 for ; Tue, 14 Apr 2026 02:18:30 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1776158304; cv=pass; d=google.com; s=arc-20240605; b=iDOt3MOY5G6N54+D4lLgctNGj7dVxg5FESOZWrThCaZQb0nvgqiTsE1nIEuN1EcLpx 6HSTGCu+sbey3qLgpFaoBjqnHXDqSGUJqrNaKs1aA8dAv7j6qI/MAOM0TeJKMYCcB5Zo 3WjHP2hBYbHw3BVrGPdzV6fXCao9aMAmDZ+n9e5F3hz5wAkesYDsNZSgmfL4dfGAwfYq dMU3W9R0VIaFgG0CQs7jsyhL0wibZJ2qMl9I2+dngtOqq3KoaUJPwu+6LIQ5v3sBCyuV N59pnGYTv7dEXpAYf7ELl8oTSIHA9ucf3X/G/jHyKG0xJMQUHOQAhDRTnXvE8+zRpoj8 /anw== ARC-Message-Signature: i=3; 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:content-transfer-encoding:to :subject:message-id:date:from:mime-version:sender:dkim-signature :dkim-signature; bh=8QaIFWTEzCtnKKa47lZVFDIN5PKjXfvh9DoPrv5Vm/I=; fh=bCk7pltXhHwx1E+kg1sLRvJI7XsHF++9BGYEK3hJ3hY=; b=G1+QiULppfsJKeXqDOANEDBtrn1Y4soqxSgsHQWQ02RlgjP9jasTwHr/rdyS6dRsRC niE0qekU8XhzbdZgKDR/XxIax+4kIrDDz5BgGKPOL6jpJAcWC4a3124FRYWpfbGM+DUE 9YOqVTMAQtF8wQOm7G4W5DKVZMcLby5qrllVUdlgBiCznxC7bk0Joaagyj2rvF3ztjfv Buo0eGTYJajldn3vF4QRGAVkSMEW6jKcf20XlFwFu98vKwg5TDG6FlNLbvlu7URvotH7 +eiRArxhzM5FSXm7cbPJ3plYA6UKdLOOo2rMnaJp28CO6hvIYqP2cVMbrlYrpJvFYQhb 7WpA==; darn=gnusha.org ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20251104 header.b=Nj8bCCgJ; arc=pass (i=1); spf=pass (google.com: domain of aaron.recompile@gmail.com designates 2a00:1450:4864:20::642 as permitted sender) smtp.mailfrom=aaron.recompile@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20251104; t=1776158304; x=1776763104; darn=gnusha.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:content-transfer-encoding:to:subject:message-id :date:from:mime-version:sender:from:to:cc:subject:date:message-id :reply-to; bh=8QaIFWTEzCtnKKa47lZVFDIN5PKjXfvh9DoPrv5Vm/I=; b=lingrFVxeeV5T75ScLhwRUhCxcEEYpDKfiaYeHPzLGMQAs5xVTEa6+MuTEih9yl6aB P7vVfc1tvSEqPdzBbtAsUfaLl0KlH7DlgvZeVKxQFRtvLShofc/C6Y2j0VrOgKq9/cK3 EwmsmLv118YjJ5cwGKM9VXABj8dpiw7l/dxKRkAWnjMwk06I5OIW3p8sh+fKS0Epvg9Z 7AVoBrpdy8rQ7aJd6L4w2Dmvjx2+V3+VXrscie5x+iRGOu0aUUe7TQOiZuaS9ieTu5Fx 5NQEtOdSknAeK+9X3acDvKiLwj1X6W0qfGoNCbqJrtFuKyz8IJazTcgPoLE29FaxKmLz GpVA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1776158304; x=1776763104; darn=gnusha.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:content-transfer-encoding:to:subject:message-id :date:from:mime-version:from:to:cc:subject:date:message-id:reply-to; bh=8QaIFWTEzCtnKKa47lZVFDIN5PKjXfvh9DoPrv5Vm/I=; b=j7V0fSFZVJbOWnaVvI+fJNjf6priHZP6Dfgt91bCRpl9+7bXaJZkjTAlPmlaB/FvBi amIJZ/QrHclVYINMoRMV9aDIGSIYid1SkYkpnZC6MLEobvEG0i/NjqtJt9SztI6PccO8 +3ST7qyTXovdtj1tOwEbfRtHCaAt0Gctd9g3NTh1YRrKBqftw4shPqxtkxq+hRPYr/wY 2oS6PdulXVM+kJcAUvGcI2vQBMsrqZoky0kQHhpNd6BCzBBR+dFTTKCnQR1nz9K/YzB5 1wSz3zGqJfCQzhCmiLotxvWdrzSrpWOGadDtu4XGS8pKPpCnZ6fEcBGJlejLAKy3J/KN eE3Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1776158304; x=1776763104; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:content-transfer-encoding:to:subject:message-id :date:from:mime-version:x-gm-gg:x-beenthere:x-gm-message-state :sender:from:to:cc:subject:date:message-id:reply-to; bh=8QaIFWTEzCtnKKa47lZVFDIN5PKjXfvh9DoPrv5Vm/I=; b=UJCQfgJeBFbyfL8B3Ngc1FcvF/rYVFBip4KyVCdNZRUvuWRIkXfAM46OurVYnzlcU+ lck1UQWovQyiZ3KAIBlwrh97TYlkLBo9mdtTuDdN9Y8L7LV+L1MNAXBocy7LyilgnzHC WXq/GzkVNWRW2f380xfC4MSb8E4dpa4eni/zpHiIToQRxmyEh4Y9I2Q4JwIeTgOrw3Ql 27CzuE/DtLKWepmrHqU4ihWXsBxGANPHNeOUTBn3xAyR17qVhPGYo2XOpKYsy40Wsf3X FKEr54TeGy71fK0Xq8picViwksXv50B/mrwQ0vZmQAkM5DRrFe13tYycYrHxVqXjxvm0 mahQ== Sender: bitcoindev@googlegroups.com X-Forwarded-Encrypted: i=3; AFNElJ8oqoDw0qNh51hHipJaEUby6v1wLfIYtz+GJPiLoHYFdbyNy5V8yK7g1SExyp7bUhALgscNxr2ak18j@gnusha.org X-Gm-Message-State: AOJu0YxRajezJHBAVSq9v/j+AyyQZO1Qf1QaBcs0XzdShlQH8NNws9Be eO0Ar/+7AbjflwSI8LMbX0nH5gWXQiOlWxotn82MFMHM19nZtNiShVxQ X-Received: by 2002:a05:6214:d0b:b0:89c:ceaa:872c with SMTP id 6a1803df08f44-8ac74583c4amr295573226d6.13.1776158303977; Tue, 14 Apr 2026 02:18:23 -0700 (PDT) X-BeenThere: bitcoindev@googlegroups.com; h="AYAyTiIraMpncIHyqRDQ4rghMnYDCEthOIajX+rIYA1JfTPtXQ==" Received: by 2002:a0c:efce:0:b0:8aa:368d:ebd8 with SMTP id 6a1803df08f44-8ac6425d8a7ls48975666d6.0.-pod-prod-00-us-canary; Tue, 14 Apr 2026 02:18:19 -0700 (PDT) X-Received: by 2002:a05:620a:4404:b0:8cd:c596:6420 with SMTP id af79cd13be357-8ddd0e95328mr1962746085a.28.1776158298900; Tue, 14 Apr 2026 02:18:18 -0700 (PDT) Received: by 2002:a05:6504:32cd:10b0:2f6:91ae:47ef with SMTP id a1c4a302cd1d6-2f6d846fdfdmsc7a; Mon, 13 Apr 2026 21:04:36 -0700 (PDT) X-Received: by 2002:a05:6512:1589:b0:5a1:4473:bb44 with SMTP id 2adb3069b0e04-5a3efd806b1mr5021774e87.33.1776139474710; Mon, 13 Apr 2026 21:04:34 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1776139474; cv=pass; d=google.com; s=arc-20240605; b=VrNsO65NcJqXtpKcGI1DeDf6GRFBoWEEzMNcGT4rBgxVsIX1asWi5t/d5vXzUG7nK4 kLIikP4z/Us48M1qZiDVCfHQ9mtM0ySkAwsA1SZr2jlVxpzhJAovJ5GVEM9A97YLfbYI OeCx/tGd5xARA4Rc//YD4sJbekDdmzhfDWybtYArmYToWHB0SP+91IXH/6fIoYWoGX30 h+Hsbyhv37x7iUTTZWyq6QflThNvs81wzEDYHDw3qNmZ8ZAX4/kEPVNlgguiWubu586i t+JaOlK7GITWROC24U1C8h8JcjPxvQjou1EOe6fq57FHSGVo2wqWd6KMngQ1Co7JUo5q NBuA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=vololg5hob67uXRDTMfq8KzsF8sm/PSmemDX14nMplc=; fh=DMP0F9ULS1guKiqimntQRCN8ZraraesEgQuVcn7F0Z0=; b=GL8XfSXfLaIUPIzw2m2rdBNJBgLH7p0WuGHzJ+3ZL4aSMVXdV47eievYHWfzOr7V27 sFZHn2I8/Bgk3L9pM9J2RHuqeqQKhoiAbYyLib6jNItO8Cb4emi0suNC6yOudgBGd5FX lPTkmqLF4yB8EFnNuTefte+jqL2lRfO3kTflSSnPlnd/3Jt/EYIxTvjhWgC0LseZmglO p4ZTdtKS9tRGnBz8HnbndUV6PCSeOKuVGDEW3zu6J2OU/SITqpTnNYY12tkJDCfl1YGV iye+Xnsiht5CC2quOQU7tdgQUPr0U9sksUD5VTPihZuAjJHXbeQlAT5zWtTZAFFWz4VP Y9vQ==; dara=google.com ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20251104 header.b=Nj8bCCgJ; arc=pass (i=1); spf=pass (google.com: domain of aaron.recompile@gmail.com designates 2a00:1450:4864:20::642 as permitted sender) smtp.mailfrom=aaron.recompile@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.com Received: from mail-ej1-x642.google.com (mail-ej1-x642.google.com. [2a00:1450:4864:20::642]) by gmr-mx.google.com with ESMTPS id 2adb3069b0e04-5a3eeec2ac1si252107e87.4.2026.04.13.21.04.34 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 13 Apr 2026 21:04:34 -0700 (PDT) Received-SPF: pass (google.com: domain of aaron.recompile@gmail.com designates 2a00:1450:4864:20::642 as permitted sender) client-ip=2a00:1450:4864:20::642; Received: by mail-ej1-x642.google.com with SMTP id a640c23a62f3a-b9d6c8871c7so744866066b.1 for ; Mon, 13 Apr 2026 21:04:34 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1776139474; cv=none; d=google.com; s=arc-20240605; b=JdF1kznCSmZ2geUEqIyux6v1Rl8frpy9ymmPh3i/2hSeHkVnUkUSjnGOeSqcawUebG RlbHLB/h0geyeuhUzG5YEQp5vkGMg06LxC6YS9G+A11Z7+EIQNgFT7iZeKXh7Yh768LB /whG46WaFhs3nvPWrUjcra/X/IIoU7S9SkMXVRF0no0lfBUn/S9/QVoGQNphxTzCSkrq 9jLHEB6OCwyYQMoksaMP3Afb35ofmnSxiuMehlcrpv9sku1gskgIQs1qnQ0fl2UrH41K xWMuSKm3zLXkz1sfMvUvHsjc0/yPP+IX+wtm7D5m5X+V+CYs83u+SlMU6Q9L4FcupVTs TPXA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=vololg5hob67uXRDTMfq8KzsF8sm/PSmemDX14nMplc=; fh=DMP0F9ULS1guKiqimntQRCN8ZraraesEgQuVcn7F0Z0=; b=i+y5Cp6ay/BigkwVwd4Cjf1fzM0lS6skEBZL0E/hSfWBazy3XWcTRYcZOeV+pm2T84 m93z5/sGdoNat05hwx0mmQQPZP59mW/vs3uSY12v4RCZTHiTenOcTcdJ9XylfLur0a5l qG0fYZuKgLVkIJudeevINGjZTlMKTt5YkxczYb98/H8wdgGXrbz9R6+toQBiISBbeKOz fFkU6XP+C2e/tIyIWP8kOUUXWuAeMqTkfPhXqIHXHyNA18TTBwo98lp7/RQtix58N6Yl kLuG1hZ4nNrqwOhxSXJBdi8JlH21J9sbXWuj4Ni50xQ0BZ0bz8wy1KnCzSfuNSYzXkmW xOsQ==; dara=google.com ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Gm-Gg: AeBDietv5GjMFL6crZ8CNMoSSAwZ1/XfhlPj0ExRlbf1V1xWyH+rMacEwIlbhW+kT1w IRHi5g78ZlqXw8A0buIBIgwaNmnolhwPzqBDolusRBF1hwo3QoJSF+DsjJizsdNrIoftxc+ZOxa fpPTlAYjHRMJqfXrgJjV+cCk5OGaSzIYz4Omk9XN5djq6zqSBraDjZiPZ4Ac1SHTwuoCytRgEup CBBvwBggSVn+pmqLSTB8fU13jfgvGjnzWJijiFkzaKt7GVZStuaOVSe4IMxOUzCS+gdCIGG2JQx nlakmJcmEcNBgytO7TzZBHWIyYTUhIyoDDHKpN4= X-Received: by 2002:a17:907:928c:b0:b98:528b:8461 with SMTP id a640c23a62f3a-b9d727ac38fmr906654766b.52.1776139473564; Mon, 13 Apr 2026 21:04:33 -0700 (PDT) MIME-Version: 1.0 From: "aaron.recompile" Date: Mon, 13 Apr 2026 21:04:21 -0700 X-Gm-Features: AQROBzCELNqpCT3h32i16M6H_oLD7qO6FMCWK9nW2IKmAdyUCxCIOjtwANAhsWQ Message-ID: Subject: [bitcoindev] Subject: Eltoo / LN-Symmetry on Inquisition Signet: BIP 118 + 3-Round State Chain (APO+CTV) To: Bitcoin Development Mailing List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: aaron.recompile@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20251104 header.b=Nj8bCCgJ; arc=pass (i=1); spf=pass (google.com: domain of aaron.recompile@gmail.com designates 2a00:1450:4864:20::642 as permitted sender) smtp.mailfrom=aaron.recompile@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.com 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: -0.5 (/) Hi List, I ran a three-round Eltoo-style state chain on Bitcoin Inquisition 29.2 signet using APO (BIP 118) for state updates and CTV for settlement. Six transactions, all confirmed on-chain. An independent Python implementation of the BIP 118 sighash (Msg118 / Ext118) was cross-validated against Inquisition's C++ consensus engine. If the Python digest disagrees with Core's, the transaction is rejected. It wasn't. Construction ------------ Each state UTXO is a three-leaf Taproot tree: leaf 1 -- ctv_uhpo: OP_CHECKTEMPLATEVERIFY leaf 2 -- apo_update: <0x01||xonly> OP_CHECKSIG (BIP 118) leaf 3 -- csv_escape: OP_CHECKSEQUENCEVERIFY OP_DROP OP_CHECKSIG CTV locks each state's payout distribution as a template hash. APO rebinding advances state. When an APO update spends state vN, vN's CTV leaf loses its only viable input and can never settle. Only the latest state can produce a valid settlement. This is the Eltoo invariant, executed end-to-end with current tooling. Confirmed txids (Inquisition signet) ------------------------------------- Fund =E2=86=92 State v1: 386dbb6aa23fcc35a69d34e3c0f760b185482467abc936196d3def19d54a9c41 APO update v1 =E2=86=92 v2: 096e31ccbd8f5460b2730ec4f757ee1b01acf9dde3e3b8cb55fbb534fe195601 APO update v2 =E2=86=92 v3: 091309b73e299436ff12fceda7e54e28c6f1817fdf3405bca3343ad15198d7f6 CTV settlement: 13957f49d01aa21ed2aa28df7aa78f357d51a2a2fbfb434af05fdc75ad0= ff9b7 Rebind A (signed): 03c0577c1d47da32804d098187644d0eee18b448aded2f427cd02193c070f3a4 Rebind B (witness copied): 46091190c74d8fd4b39be67a2e945a19b021850e7f8d9e378f5eb11722ae1a43 Rebind A and B share an identical witness stack =E2=80=94 same 65-byte sign= ature (sighash flag 0x41), same leaf script, same control block =E2=80=94 spendin= g two different UTXOs without re-signing. Outputs remain committed: changing the output address in Rebind B causes script verification failure. The last two transactions are a standalone rebinding demonstration, not part of the state chain above. Links ------ BIP 118 signing primitive and rebinding proof (Delving Bitcoin): https://delvingbitcoin.org/t/bip-118-signing-from-scratch-on-chain-rebindin= g-proof/2411 Eltoo state chain construction (Delving Bitcoin): https://delvingbitcoin.org/t/eltoo-state-chain-on-signet-three-rounds-six-t= ransactions-apo-ctv/2413 Source code (btcaaron, examples/braidpool/): https://github.com/aaron-recompile/btcaaron Happy to discuss the construction or the CTV+CSFS gap. Aaron Zhang --=20 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 e= mail to bitcoindev+unsubscribe@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/bitcoindev/= CAEmKuUHJEf8R0ZPa--Jm%3De1ToT2-f1CUqp%2BdRLP%3DXZ%2BA3mLBzA%40mail.gmail.co= m.