Date: Sat, 3 Jul 2021 15:13:41 -1000
From: "David A. Harding" <dave@dtrt.org>
To: Jeremy <jlrubin@mit.edu>,
 Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Message-ID: <20210704011341.ddbiruuomqovrjn6@ganymede>
References: <CAD5xwhjmu-Eee47Ho5eA6E6+aAdnchLU0OVZo=RTHaXnN17x8A@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha512;
 protocol="application/pgp-signature"; boundary="dfiy5rsnno3ustcm"
Content-Disposition: inline
In-Reply-To: <CAD5xwhjmu-Eee47Ho5eA6E6+aAdnchLU0OVZo=RTHaXnN17x8A@mail.gmail.com>
User-Agent: NeoMutt/20180716
Subject: Re: [bitcoin-dev] CHECKSIGFROMSTACK/{Verify} BIP for Bitcoin
Precedence: list


--dfiy5rsnno3ustcm
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

On Sat, Jul 03, 2021 at 09:31:57AM -0700, Jeremy via bitcoin-dev wrote:
> Note that with *just* CheckSigFromStack, while you can do some very
> valuable use cases, but without OP_CAT it does not enable sophisticated
> covenants

Do you have concerns about sophisticated covenants, and if so, would you
mind describing them?  Your BIP119 CTV also mentions[1] being designed
to avoid sophisticated covenants.  If this is some sort of design
principle, I'd like to understand the logic behind it.

I'm a fan of CSFS, even mentioning it on zndtoshi's recent survey[2],
but it seems artificially limited without OP_CAT.  (I also stand by my
answer on that survey of believing there's a deep lack of developer
interest in CSFS at the moment.  But, if you'd like to tilt at that
windmill, I won't stop you.)

-Dave

[1] https://github.com/bitcoin/bips/blob/master/bip-0119.mediawiki#design-tradeoffs-and-risks

[2] https://twitter.com/zndtoshi/status/1405235814712422402


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

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

iQIzBAEBCgAdFiEEgxUkqkMp0LnoXjCr2dtBqWwiadMFAmDhC0UACgkQ2dtBqWwi
adNdUA//f79H73y9AITyV1LGwBPpoV9IWmk+HtnnC17B9zqe+EbMKcUsTs/Zd8Hv
NKPohHIxVRt/Y3Ild3FJg2qedQe0v8xWFszb+PNT5ohMI/B2rpe9jJOwgC+4ASh4
Qq3bCR5DmxLE2z1nTshbapoSOw9uxn8KGn/RW1GeLMVjnmIp3nDshMULzax/QVKH
Qx6sSKhTTQ4+b12k+5hRXcsxFpjqzIObVrmtX6Op8gTubpNxhQOjS1TsnYy84oFO
kwSAnKqo/p9KPMRFLFk15sYJc7DYwcqzNIkR9JjwrvDDKwpN0u8TcNO7vo/nmJoh
ASN7ClEkBwF/VO/2qkqDco8Odm3N5I+XYS27SqNIGYrpuT58GUkuJFiaw7xsHvVh
G6dNRhLoTSthF02TDG2Zw4T/RSE87k7+mjCjlG/ATEe4mNGKHGpxP7vuN+14x1Sa
RzXp/AhxB/f/QiBPFcanG0Fz2dBpWz/kS66mjkrPSpvAIJjbpbPVKp6/ZOAJ7cl6
DLCQ9K27i/gpwHau76QHgerstEc6PZpEr3bNsfflqQYKT8LrRndmjRFCIg2755Um
0Ybe6c+ayS9UK4zsggOL99ZP8NAgzqmJvIIByxKOkct3vKOenvhc2Iu0hn/M81wS
E1Owpf8XO4IbBo0XrLTJ6gzb8hZEgLgtmW8+M9lko4F5wbYZN0M=
=SyQp
-----END PGP SIGNATURE-----

--dfiy5rsnno3ustcm--