Closed
Description
Just checked the smart contracts and it turns out we're not using the SafeMath library. We need to, to avoid well known integer overflow exploits.
We already have open-zeppelin as a dependency: https://github.com/clearmatics/zeth/blob/master/zeth-contracts/package.json#L19 so let's use it to import useful libraries (like safemath) into our contracts