SafeMath
În majoritatea limbajelor de programare moderne, siguranța în operațiunile aritmetice este luată în considerare, așa că se gândește puțin la implementarea lor. Cu toate acestea, în Solidity, depășirile și depășirile insuficiente prezintă un risc de securitate.
SafeMath este o bibliotecă care asigură operații aritmetice sigure prin revenirea tranzacției în cazul în care limitele unui tip de date întreg sunt depășite.
using declarația indică compilatorului că contractul utilizează funcții definite în SafeMath pentru uint operațiuni. În loc să folosiți operatori aritmetici (+, -, *, /, %), utilizați funcțiile add(), sub(), mul(), div(), și mod().