Collected sources and patterns will appear here. Add from search, explore, or the patterns library.
(uint256, uint256) -> uint256
Multiply two numbers, validating that the product divided by the first factor recovers the second factor to prevent integer overflow.
Problem it solves
Standard EVM/TVM arithmetic wraps around silently on overflow, leading to critical state corruption.
Consumes
Emits
The real projects this mechanism was found in. Attribution is the point — this is how the best teams actually do it.