Proposal: OP_STARK_VERIFY - Native STARK Proof Verification in Bitcoin Script

[AbdelStark]

It is an excellent question! And the answer is: YES!

Cairo >>> RISC-V zkVMs - HackMD

Answered to similar questions in the zcash community forum also: Why Cairo/STARKs for Ztarknet and STARK_VERIFY_TZE - Governance - Zcash Community Forum