MatematikaAman
Di sebagian besar bahasa pemrograman modern, keselamatan dalam operasi aritmatika diperhitungkan, sehingga sedikit pemikiran masuk ke dalam implementasinya. Namun, dalam Solidity, overflow dan underflow menghadirkan risiko keamanan.
SafeMath adalah pustaka yang memastikan operasi aritmatika aman dengan membalikkan transaksi jika batas tipe data integer terlampaui.
Grafik using pernyataan menunjukkan kepada kompiler bahwa kontrak menggunakan fungsi yang didefinisikan dalam SafeMath untuk uint operasi. Alih-alih menggunakan operator aritmatika (+, -, *, /, %), gunakan fungsinya add(), sub(), mul(), div(), dan mod().