Blockchain, Ethereum, Simulation.
four multiplications in total. While SMT solver performance is not predictable in any straightforward or arithmetic way, the impact of multiplication and division on this contract was also independently verified by removing it from the source (the resulting run-time was negligible). This is a good