256-bit modular multiplication is an important operation to arithmetize efficiently. 256-bit multiplication modulo 2^256 would be used in EVM verification because the EVM uses 256-bit data words. More ...