I also have my doubts that something like OP_VERIFYSTARKPROOF would actually get into bitcoin because of how computationally heavy it is, but that's a discussion for the community to have.
I imagine we'd weight it accordingly using something similar to the witness discount (but more like a "witness premium"), or using GSR-style varops budgeting.
OP_VERIFYSTARKPROOF
would actually get into bitcoin because of how computationally heavy it is, but that's a discussion for the community to have.