Proposal: OP_STARK_VERIFY - Native STARK Proof Verification in Bitcoin Script

did you mean verifier here?