From: "'Antoine Poinsot' via Bitcoin Development Mailing List" <bitcoindev@googlegroups.com>
To: Anthony Towns <aj@erisian•com.au>
Cc: Matt Corallo <lf-lists@mattcorallo•com>,
Bitcoin Development Mailing List <bitcoindev@googlegroups.com>
Subject: Re: [bitcoindev] What's a good stopping point? Making the case for the capabilities enabled by CTV+CSFS
Date: Fri, 04 Jul 2025 13:02:54 +0000 [thread overview]
Message-ID: <4TrCdBvommfJvrK94SqEmNb_pBwsF8dW1n2dY3MYX_z0IMmy4bXoMkrhQ3SBdSnWA6gYMkCgssjzLmH0iauwKuoh_9T4_kLrs_Q5knYPXG0=@protonmail.com> (raw)
In-Reply-To: <aGX_MNORQVQT_lp4@erisian.com.au>
I agree the BitVM/CTV idea suggests inspection of other inputs can be useful for applications
leveraging connector outputs.
While it is potentially compelling, the BitVM use case was only briefly presented, with no
demonstration or even detailed description of how it would work in practice. This makes it hard to
assess the costs and benefits of this approach. Furthermore, it's hard to assess how much of an
improvement it brings to Bitcoin users as BitVM has yet to be delivered and see any meaningful
adoption.
As Greg responded when it was raised earlier in this thread[^0], as things stand today i don't think
this idea justifies the leap in expressivity.
Best,
Antoine
[^0]: https://gnusha.org/pi/bitcoindev/8d37b779-bf2e-4f63-a51c-9953434d7553n@googlegroups.com
On Thursday, July 3rd, 2025 at 4:54 AM, Anthony Towns <aj@erisian•com.au> wrote:
>
>
> 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.
--
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/4TrCdBvommfJvrK94SqEmNb_pBwsF8dW1n2dY3MYX_z0IMmy4bXoMkrhQ3SBdSnWA6gYMkCgssjzLmH0iauwKuoh_9T4_kLrs_Q5knYPXG0%3D%40protonmail.com.
prev parent reply other threads:[~2025-07-04 13:08 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-06-23 13:14 'Antoine Poinsot' via Bitcoin Development Mailing List
2025-06-24 14:29 ` [bitcoindev] " Harsha Goli
2025-06-24 15:54 ` [bitcoindev] " Matt Corallo
2025-06-25 16:50 ` 'Antoine Poinsot' via Bitcoin Development Mailing List
2025-06-25 20:34 ` Ethan Heilman
2025-06-26 16:02 ` Josh Doman
2025-06-26 17:03 ` Greg Sanders
2025-06-29 22:50 ` Antoine Riard
2025-06-25 19:22 ` Chris Stewart
2025-07-03 3:55 ` Anthony Towns
2025-07-04 13:02 ` 'Antoine Poinsot' via Bitcoin Development Mailing List [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='4TrCdBvommfJvrK94SqEmNb_pBwsF8dW1n2dY3MYX_z0IMmy4bXoMkrhQ3SBdSnWA6gYMkCgssjzLmH0iauwKuoh_9T4_kLrs_Q5knYPXG0=@protonmail.com' \
--to=bitcoindev@googlegroups.com \
--cc=aj@erisian$(echo .)com.au \
--cc=darosior@protonmail$(echo .)com \
--cc=lf-lists@mattcorallo$(echo .)com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox