以太坊上最常用的一步算术是乘一个数再除一个数，但EVM里做全精度乘除要靠基于mulmod的几十条指令模拟。EIP-5000提议给EVM加一条MULDIV指令，用512位中间精度一次算完。本文拆解它的规格、那个特殊的除零约定，以及它为什么停在Stagnant。