Delivery-date: Mon, 17 Mar 2025 10:01:23 -0700
Sender: bitcoindev@googlegroups.com
Received-SPF: pass (google.com: domain of pete@petertodd.org designates 103.168.172.148 as permitted sender) client-ip=103.168.172.148;
Feedback-ID: i525146e8:Fastmail
Date: Mon, 17 Mar 2025 16:54:19 +0000
From: Peter Todd <pete@petertodd.org>
To: weichu deng <weichudeng@stu2024.jnu.edu.cn>
Cc: Bitcoin Development Mailing List <bitcoindev@googlegroups.com>
Subject: =?UTF-8?Q?Re=3A_=5Bbitcoindev=5D_New_Proposal=EF=BC=9AString_Substring_Sea?=
	=?UTF-8?Q?rch_in_Bitcoin_Script_=2D_OP=5FISSUBSTR?=
Message-ID: <Z9hTu2TjMlLr5-Eg@petertodd.org>
References: <f844a85e-8be8-4429-8687-bc19dd4b96ffn@googlegroups.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha512;
	protocol="application/pgp-signature"; boundary="DskUQjcAFGsQIBbh"
Content-Disposition: inline
In-Reply-To: <f844a85e-8be8-4429-8687-bc19dd4b96ffn@googlegroups.com>
Precedence: list
Mailing-list: list bitcoindev@googlegroups.com; contact bitcoindev+owners@googlegroups.com


--DskUQjcAFGsQIBbh
Content-Type: text/plain; charset="UTF-8"
Content-Disposition: inline

On Mon, Mar 17, 2025 at 09:14:05AM -0700, weichu deng wrote:
> 
> 
> Dear fellow Bitcoin developers,
> 
>  
> 
> I am pleased to present a new BIP proposal. This proposal introduces a new 
> opcode for Bitcoin scripts: OP_ISSUBSTR.
> 
> 
> *Abstract*
> 
> This BIP introduces two string opcodes, OP_ISSUBSTR and OP_ISSUBSTRVERIFY 
> (similar to the relationship between OP_EQUAL and OP_EQUALVERIFY), to 
> determine whether one string is a substring of another. As these opcodes do 
> not alter any blockchain state, they are secure.

Bitcoin scripts are about validation. Not computation.

This means that substring search and concatenation are equivalent. For
every script that validates a substring search, you can instead
concatenate the substring with the rest of the string, and validate
equality instead.

Basically speaking:

	foobar foo IsSubStr

is equivalent to:

	foobar foo bar Cat Equal

A real-world example would be more complex. But I hope that illustrates
my point sufficiently.

-- 
https://petertodd.org 'peter'[:-1]@petertodd.org

-- 
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/Z9hTu2TjMlLr5-Eg%40petertodd.org.

--DskUQjcAFGsQIBbh
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEE0RcYcKRzsEwFZ3N5Lly11TVRLzcFAmfYU7kACgkQLly11TVR
LzdpuhAAgCyg/6AltuHu1D63xsn9ZVLUcwkYRSU2JFc/KJyB+9QOOFwESQ6tE9C5
1HUA5QRvL9+QVGtLzecI360LTpQCF+vB3cE5GQI/taEGgZyQGn8mHLlzOgqY/qDX
RRRc5mFFKV4/Y8d7/CHRYe5HiyDmMyvSgfgO5DN4LlZBqSs9BtVL01OmHdf3k2fO
tyuic8FIVk9Ay7AOOulgG1ovS6iq+9SbjXjB4Lahg+xUHVM/3T7wF+fkJJ33In2V
jgbnIbTU7TFUgfW6Nm58wHl/bFwIsq5TbMj/BrkCfpVwfr1K0krzEk7XksUZ5Yt6
4J1k85lWdvb0ooTPdXL60tplxKtPAxFteJjSGZS68srGAiVi0Z+TpedHIUrZx/0v
hQwYONkxTcHj+ig8jJEAyasyRU3NS7IAXxc60c7jsv3HOf7EfzL+cqgje/iaUfY4
kor7tuWU5IIJQ+X/h4qyXysuVsGYHchfxDbqs1JPdJYO1hFdl99FLebPcocXauYW
UNMtDJkIc0jT0MaGRbKYQrjy06jSjhe5YJ5//zTX0mEMyBYSMMQ0OIlAyq+4/k+n
S95hJ9czV8I5E2E0QR98gBALYIQKzbEEyPocnkXp2GrWjeKNkXuJmjGxrUV77SwN
ONl354nARDVuyGNhcGW0cSSznZX2RNpjJwUD/CElOW6tZ22Jimc=
=aPwk
-----END PGP SIGNATURE-----

--DskUQjcAFGsQIBbh--