SafeMath
W większości współczesnych języków programowania uwzględnia się bezpieczeństwo operacji arytmetycznych, więc niewiele myśli się o ich implementacji. Jednak w Solidity przepełnienia i niedomiarowe stanowią zagrożenie bezpieczeństwa.
SafeMath jest biblioteką, która zapewnia bezpieczne operacje arytmetyczne poprzez cofanie transakcji w przypadku przekroczenia granic typu danych w postaci liczby całkowitej.
Połączenia using Instrukcja wskazuje kompilatorowi, że kontrakt używa funkcji zdefiniowanych w SafeMath dla uint operacje. Zamiast używać operatorów arytmetycznych (+, -, *, /, %), użyj funkcji add(), sub(), mul(), div(), mod().