Hi Ethan,
Very good to see your OP_CAT design is now on the mailing list.
Inside the BIP text, you mention that a sufficiently large OP_CAT script can "support tree signatures with a thousand public keys." I think it would be more useful to put the theoretical limit there, as it is buried along with the rest of the data on tree signatures inside the reference link to Blockstream's web page, which could go stale for whatever reason.
On a further note, if there are enough practical uses for tree signatures, we could make it into a fully fledged BIP too, instead of just something cool that would make the Stacker News front page.
- Ali