Proposal: OP_STARK_VERIFY - Native STARK Proof Verification in Bitcoin Script

[m-kus]

Correct! It is the verifier that was implemented (Stwo is the name of the proving system)