SafeMath
Nella maggior parte dei linguaggi di programmazione moderni, viene presa in considerazione la sicurezza nelle operazioni aritmetiche, quindi si pensa poco alla loro implementazione. Tuttavia, in Solidity, gli overflow e gli underflow rappresentano un rischio per la sicurezza.
SafeMath è una libreria che garantisce operazioni aritmetiche sicure ripristinando la transazione se vengono superati i limiti di un tipo di dati intero.
I using istruzione indica al compilatore che il contratto utilizza le funzioni definite in SafeMath per uint operazioni. Invece di usare operatori aritmetici (+, -, *, /, %), utilizzare le funzioni add(), sub(), mul(), div()e mod().