Bitcoin soft fork that no one should object to:

1. Allows efficient post-quantum zkSTARK verification

2. Allows L2s to exist

3. Bans anything but the zkSTARK proof

No "Mevil", no jpegs, no "spam" on L1. You get scale, privacy, some pq-security.

Thoughts?