From mboxrd@z Thu Jan 1 00:00:00 1970 Delivery-date: Thu, 03 Jul 2025 01:54:15 -0700 Received: from mail-oa1-f61.google.com ([209.85.160.61]) by mail.fairlystable.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.94.2) (envelope-from ) id 1uXFhu-0004VC-Kz for bitcoindev@gnusha.org; Thu, 03 Jul 2025 01:54:15 -0700 Received: by mail-oa1-f61.google.com with SMTP id 586e51a60fabf-2efe2648f13sf2886269fac.2 for ; Thu, 03 Jul 2025 01:54:14 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1751532848; cv=pass; d=google.com; s=arc-20240605; b=Wl+D41QOLOaMLc4M3gA6VWwWALp1Hg9f83d8MkGCiKCANIQ9A1DjXF1yyXypmt8YyI 81t//FD3dIXm6NEM/fOyau4Wo/uUjQ6VP8bIvl9xmsz0R5ISbOHB3Sne/iI2w32gsmxm jqdrdIbBOaV9MXPxgnEvlTa0myRHZNSQhwmrLmXTXdT79WVNQmhFPJeURtka6YblANyr NMqqljs0N5zylP38GaQARNohPk3yuNIFcxEQ3xwe+YaI5bST7BNlC6blpBdxoUpGRK1W ok3m9rp4E3PvMyBrgf4rwKwhg+8ZziUSWxG0mYZtyEEAj6boTlc7JTfO3zXEEM05Hb1V NRXw== 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:in-reply-to:content-disposition :mime-version:references:message-id:subject:cc:to:from:date:sender :dkim-signature; bh=Qvcg2M79nF9TvVYN7OcvMnx73ppfdA/ZMgfCSlQ+toY=; fh=fFLKsriAC0OQxs4uAjLWCzzotUlLo5RjYy7U6OADV38=; b=XUKpeYqA7eGjCBXbKitAXDzBsoD4u8ppYYMuG8LRI9Yu3YUtYgMXH2oMS4iCLXomc9 XhkzsRgXSdo0M1kvQbu+BzTfGosK2DHInriZevTS+zfrHDm8zSasBbNHPwwhkM7xwKCV fhipViHLaV/DX7hOo3zsKUckN1gYkMZdUU09d4Sn2Pns9BQT+OkT98NuCbXNdxvrE177 N3WieB8KUWMSQMzPTcVV+g/NFI05k3AjJIMc0K2aS4uSwXKW4jQom2q++JOEaD5LRE9C +R1NOXHzTAGMkKnJ0q13xWZ1Dq5FOe+Tam8KGj1LMR3aQ1x15Elh8QEfhNhZetWmfMwJ QZMg==; darn=gnusha.org ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of aj@erisian.com.au designates 172.104.61.193 as permitted sender) smtp.mailfrom=aj@erisian.com.au DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1751532848; x=1752137648; 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:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date:sender:from:to:cc :subject:date:message-id:reply-to; bh=Qvcg2M79nF9TvVYN7OcvMnx73ppfdA/ZMgfCSlQ+toY=; b=tJuZj99/9DibVo1ZJ+lEZRMx90ojt+ZksQna43/mz8mS5z8UOBD/nebYVTQcxRr/Pd ibM45AuKC3RO99AI6/Z3dl7uhJt15uBVsU/wH9CN+VQPy9zt5mkqWrloxL/8L8kFQ+Ph 7CagqEtZ+BYj81dKTBqmBIq+Yj3m8rwJm0vC7cKzMAEBYmbxYTVOM71uhkeCYAXORXXM nVOUvstzm4BZ1XzZRPTSlBJsSICYyE6SSdjjksHaABbwEVFMuvAbdsATOEXYWdxWhBhj JJImGosNpl2C/8a/It4/xB+/0jD292NGopw5+1WclIy4zE6CJU6pRnj9DU2PZWLKDrt7 eHxg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1751532848; x=1752137648; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date:x-beenthere :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=Qvcg2M79nF9TvVYN7OcvMnx73ppfdA/ZMgfCSlQ+toY=; b=mkb6WVqHo+xX+lu4iXevdZT6ZlQeUw3fEHtwhXwuINoeVm/WpwlPUuSfJ+eI4lIhVM gSLiYC1Hadagy1L+BJx4mSw4iEdrPGwEL4jSsB/ZfDF+VPUPKzHcm64uEP24Fkpsocl9 NoznCAG82z/BLivoJ5x/g0stzrZ7FX4un49jG3/HwCxnB7cAp88TqT+3kAxia5XMAe9E XwZw2RJ8TSreAKsJpTroMYQ+Fy9uZ+dEGuZ8xoT2+1SBO3r0TJWaVs1pFjjVz9G9Qd5N g4pgCokJR8ngwZIlGZXJGr3VlDUMw6bs/j1patJM6I/3plPXqu4L2vhCtQCGiS+w0VHJ 90XQ== Sender: bitcoindev@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCXzZ3KcbmtqFCcUlSBsTZyiKh4v3bigCoYYpJY5nA7EiOtJE4p/QPjtMLVRrCEkfqb5wyhDJHA+hUSq@gnusha.org X-Gm-Message-State: AOJu0YzX0F0L2YLTcoKESHUJfG5Pz0IwV78G1fE11mR8NLyRybUwdGqD XhczErQ5VtYxbmae1ooDqa8J+y0CdY9fhNoFUsdwiHNJBxj3hBjhpP5y X-Google-Smtp-Source: AGHT+IEiGHn2UrWHrXDAtjMuBe9qbL/6DQQ/dlAsZE1bTU9k8HfR1xhxenZsR+Jurjasri4D3VVkQA== X-Received: by 2002:a05:6808:1811:b0:406:76e4:c4f with SMTP id 5614622812f47-40bf1523e20mr1348118b6e.18.1751532847886; Thu, 03 Jul 2025 01:54:07 -0700 (PDT) X-BeenThere: bitcoindev@googlegroups.com; h=AZMbMZePQdYmRrESG458toC0YRYvMtQzh7qLk7hg0jPlrIMwiA== Received: by 2002:a05:6820:5088:b0:611:76bf:58b6 with SMTP id 006d021491bc7-61200084455ls404470eaf.1.-pod-prod-06-us; Thu, 03 Jul 2025 01:54:03 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCV/Mj6T2LPbxF2Z6XOLzQy3M8S7dU4yRxdO0MerJVFR07ha7kYy/q71dHF5O3mbVy13WfQ40oyp2Bm8@googlegroups.com X-Received: by 2002:a05:6808:d52:b0:40b:3816:6637 with SMTP id 5614622812f47-40bf152546dmr2035556b6e.24.1751532843742; Thu, 03 Jul 2025 01:54:03 -0700 (PDT) Received: by 2002:a05:6808:1688:b0:403:484c:9068 with SMTP id 5614622812f47-40b32910ee0msb6e; Wed, 2 Jul 2025 20:55:39 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCXn1eHkdxiHoJ83/a86yfWMKYBkQ3N7YHAv35l0OwskJ2unF4ChO4UO4EFcbUHnYEKUsFS0aWdoH8Qv@googlegroups.com X-Received: by 2002:a05:6871:5292:b0:2d5:230f:b34a with SMTP id 586e51a60fabf-2f76c7141d5mr1830096fac.9.1751514938316; Wed, 02 Jul 2025 20:55:38 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1751514938; cv=none; d=google.com; s=arc-20240605; b=gX8zZemIgwbOhVA3cxIYk7JiKeaLKCGIfdBmc25Z8hl3Kz34aULOXM3Mn0Q/FQY5f2 M2O7GtR7xj60AZcope+ONAGG7jp5PrXDDCAuQXu8AyFziLLAbpwg2i+W16RB68xw0XgQ bhTCFQHyuPBqhLk+obPwkzqgq10k7xMYz0UFa4dm7LpnJxQxpyvTdt2jeJeqKjT/YdSd oio9TTyeoqogkyNQsUaS8hInJlsRxWWTNBWkNgEwHMsiESS+3nz7OlTEO4N9BXWZ5daB i4cyUtbYfiOY7XM6+8rBgygPzfJTdKIslBgiVd8BbWL+Wd+nDwU+e8vmNXZLdfkXIulW XBdA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date; bh=0sXwcxzK4b8bpx/FRfiE1mFPmq1+mtwrMcXKXwbfQkI=; fh=utekUrWgarsMKG1Ve1Ub6jerzb4Ft12nIPb5EnRSce8=; b=kK8mB8YCG+hxw7OtGv5wqFoBvQxoi24sDmYviTtzWaXlnUWdeBUILOVsBZLYDzi1jk 77+DKd3Xnx8+53z8WDrJlGHn9s4EKERmroZTDYSROB/AlSyGk/zXEOOmDErWcT4xUBRa zurC+NptJuhDBM/nO81sFlwNdI/AIT+vWC+6NjIpy5vV9oxBJjOxaOstz75wLaEj8/6w 4dXeSozCiZJ7pIBbE8biC1F0yjUSDz0BVOhzptEYOqYqQyQiadKGUcPH77bmqY8cAZvw JWLyNGN0tvNoUloMW3nJi3JYhPDHXTkS4ezK3Ae5RPyEFOGpiwfT/rMgFyMT69+rHBmU aJWg==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of aj@erisian.com.au designates 172.104.61.193 as permitted sender) smtp.mailfrom=aj@erisian.com.au Received: from cerulean.erisian.com.au (azure.erisian.com.au. [172.104.61.193]) by gmr-mx.google.com with ESMTPS id 586e51a60fabf-2efd4eab508si865641fac.1.2025.07.02.20.55.37 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 02 Jul 2025 20:55:37 -0700 (PDT) Received-SPF: pass (google.com: domain of aj@erisian.com.au designates 172.104.61.193 as permitted sender) client-ip=172.104.61.193; Received: from aj@azure.erisian.com.au by cerulean.erisian.com.au with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1uXB2p-0001GE-1J; Thu, 03 Jul 2025 13:55:33 +1000 Received: by email (sSMTP sendmail emulation); Thu, 03 Jul 2025 13:55:28 +1000 Date: Thu, 3 Jul 2025 13:55:28 +1000 From: Anthony Towns To: Matt Corallo Cc: Antoine Poinsot , Bitcoin Development Mailing List Subject: Re: [bitcoindev] What's a good stopping point? Making the case for the capabilities enabled by CTV+CSFS Message-ID: References: <8a9a2299-ab4b-45a4-8b9d-95798e6bb62a@mattcorallo.com> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Disposition: inline In-Reply-To: <8a9a2299-ab4b-45a4-8b9d-95798e6bb62a@mattcorallo.com> X-Spam_score: 0.0 X-Spam_bar: / X-Original-Sender: aj@erisian.com.au X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of aj@erisian.com.au designates 172.104.61.193 as permitted sender) smtp.mailfrom=aj@erisian.com.au 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.8 (/) On Tue, Jun 24, 2025 at 11:54:02AM -0400, Matt Corallo wrote: > > which > > warrants a compelling demonstration that arbitrary transaction introspection > > does enable important use cases not achievable with more minimal capabilities. > I'm somewhat skeptical that showing this isn't rather simple, I think the BitVM/CTV idea posted on delving [0] is one such simple demo? I gave an example in that thread of how you'd implement the desired construct using bllsh's introspection primitives, but the same could equally well be done with Rusty's as-yet unpublished OP_TX, something like: DUP 0x1011 TX 0x00000002 EQUALVERIFY 0x1009 TX 0x0809 TX EQUALVERIFY where: * "0x1011 TX" pops an input index from the stack and gives the four-byte vout index of that input's prevout * "0x1009 TX" pops an input index from the stack and gives the txid of that input's prevout * "0x0809 TX" gives the txid of the current input's prevout (this encodes "this utxo can only be spent (via this path) if its sibling output at index 2 is also being spent in the same transaction") Cheers, aj [0] https://delvingbitcoin.org/t/how-ctv-csfs-improves-bitvm-bridges/1591 -- 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/aGX_MNORQVQT_lp4%40erisian.com.au.