SafeMath
V večini sodobnih programskih jezikov je upoštevana varnost aritmetičnih operacij, zato se o njihovi implementaciji malo razmišlja. Vendar pa v Solidity prelivanja in prelivanja predstavljajo varnostno tveganje.
SafeMath je knjižnica, ki zagotavlja varne aritmetične operacije tako, da razveljavi transakcijo, če so meje celoštevilskega podatkovnega tipa presežene.
O using stavek nakazuje prevajalniku, da pogodba uporablja funkcije, definirane v SafeMath za uint operacije. Namesto uporabe aritmetičnih operatorjev (+, -, *, /, %), uporabite funkcije add(), sub(), mul(), div()in mod().