64 bit arithmetic soft fork

[Chris_Stewart_5]

@ProofOfKeags

Doing something like OP_ENABLE64BIT would introduce some third VMInterpreterState and I think that will dramatically increase the surface area of potential consensus issues. Correct me if I’m wrong but this would be a fundamentally new structural change to the VM formalism.

I think Scripts like this would be confusing imo

OP_ADD OP_SUB OP_ENABLE64BIT OP_ADD OP_SUB ...

So ENABLE64BIT would essentially be changing interpretation of “local” op codes (rather than setting how they should be interpreted at a global level).

In my example we would be combining these numbering systems within the same Script. If the leaf_version path is taken, we can reason at a global level in the interpreter that all arithmetic ops should be interpreted as 64 bit ops.