|
|
|
|
|
by int_19h
3256 days ago
|
|
It's about costing the operations reliably. But I would still expect arithmetic to be overflow-checked by default, as in e.g. VB.NET. This would mean that careless arithmetic on unvalidated inputs could still cause the contract to fail - but at least it would be a controllable failure, with all state changes being reversed, and hence not exploitable. |
|