Date: Fri, 17 Feb 2023 23:35:34 +0000
From: Andrew Poelstra <apoelstra@wpsoftware.net>
To: vjudeu@gazeta.pl,
 Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Message-ID: <Y/APRs3IPYapIpGg@camus>
References: <TG0yVn41L6VFOHFRYqd3iGz7mxHWtjFdaBrz8mlP6Uk8bmog_isDbtq_2QyvdUs9_Q-jStmx7V7l5rAesXDfHlK9Ehft7SkK5EWQ_3mg-eQ=@protonmail.com>
 <177016307-23dca06637e70217317077657442d0d8@pmq7v.m5r2.onet>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha256;
 protocol="application/pgp-signature"; boundary="UE16S2jPU8Q11BIm"
Content-Disposition: inline
In-Reply-To: <177016307-23dca06637e70217317077657442d0d8@pmq7v.m5r2.onet>
Subject: Re: [bitcoin-dev] Testing censorship resistance of bitcoin p2p
 network
Precedence: list


--UE16S2jPU8Q11BIm
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Fri, Feb 17, 2023 at 03:56:31PM +0100, vjudeu via bitcoin-dev wrote:
> > [0]: https://gist.github.com/luke-jr/4c022839584020444915c84bdd825831
>=20
> I wonder how far should that rule go: SCRIPT_ERR_DISCOURAGE_UPGRADABLE_NO=
PS. Because "OP_FALSE OP_IF <anything> OP_ENDIF" is effectively the same as=
 "OP_NOP", and putting NOPs in many places is considered non-standard. The =
same is true for "OP_TRUE OP_NOTIF <anything> OP_ENDIF", and also there are=
 many variants, where someone could use "OP_FALSE OP_NOT" instead of "OP_TR=
UE", or check if "2+2=3D=3D4" by using "OP_2 OP_2 OP_ADD OP_4 OP_EQUAL" (in=
stead of putting "OP_TRUE").
>

If you ban any of these specific script fragments then spammers will
just use `IF <anything> ENDIF` and provide the `FALSE` as a zero push.
And banning *this* would ban legitimate use cases.

You could try statically analyze `<anything>` to determine whether the
IF branch could ever be taken. For example there is no path through
the "inscription script" that would result in all the crap being dropped
by the end of the script, violating the CLEANSTACK rule.

This sort of filtering, assuming it could be reliably and efficiently
done, would at least force inscription scripts to be "plausible", and
would greatly increase their space cost by e.g. requiring OP_DROP to be
added somewhere hundreds of times.

--=20
Andrew Poelstra
Director of Research, Blockstream
Email: apoelstra at wpsoftware.net
Web:   https://www.wpsoftware.net/andrew

The sun is always shining in space
    -Justin Lewis-Webster


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

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

iQEzBAEBCAAdFiEEkPnKPD7Je+ki35VexYjWPOQbl8EFAmPwD0UACgkQxYjWPOQb
l8HdRgf+IisZhDlQcu5foc+42tHSDjmmTC2FVVBSm4eIVi83rph5pB1aLNGqF1Ae
VMy/++8r6zpSLs0Gt9fWa3l8PJN3MUfOrm6EnTxRaQeZOYcxv9CXUQc/OLWcM2zY
7Y52p6/e7bPX7V16NFQF+ypNmGYwmQkWzIkwMWHmPLFRt7gqVgwIFYQ9b8OtbAur
VnscDw825vWyPJd/u5VJs6Mqtr+9pdOT1pivn8sq+opIqb3nIzkY1qqRNhtx59Mc
+YNBCjJlr15N+UquKCK5NewI7E5sLlqdX2M1YW9n2mHQtlSvjJn1YF1E9jxr5PCy
8iLGmxPWYFcgT/3hcNsABaoVyAb1Gw==
=cGd7
-----END PGP SIGNATURE-----

--UE16S2jPU8Q11BIm--