Enabling zkVerifiers in Bitcoin Script requires native support for cryptographic operations like finite-field multiplication, which could be achieved by re-enabling the disabled `OP_MUL` opcod. Additionally, Bitcoin Script’s current 32-bit integer system could be expanded to 256-bit precision to handle the arithmetic demands of zero-knowledge proofs.

This should be a priority for the next consensus upgrade IMO.