No, an interpreter cannot short-circuit a zero multiplication. This is because the expressions could be functions that raise exceptions.

e.g. 0 * (0/0)

e.g. f() * raise_some_exception()