Please consider this ZIP for a Circle STARK TZE Verify.
Discussion about it in the Zcash forum - STARK_VERIFY TZE proposal
It would be a great enabler for bringing general purpose scalable L2s on top of Zcash, like Ztarknet - a Starknet L2 on Zcash.
Philosophy is to keep the L1 minimal, pure, focused on censorship resistance and decentralisation.
Let L2s handle scale and programmability (thinks ZSAs but on L2s, Defi, perps, stablecoins, etc).