bobcat-maths 0.6.2

bobcat-sdk utilities performing codesize efficient math on Arbitrum Stylus.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22


# Gas and codesize implications of the muldiv functions

Anecdotally, the order of costs for the various muldiv functions look like this, when we
used it in the 9lives repo for our DPPM code:

|            Name           | Precision |  Codesize cost   | Estimated 9lives mint gas cost |
|---------------------------|-----------|------------------|--------------------------------|
| Muldiv with Euclidian GCD | Poor      | Very cheap       | 338363                         |
| Muldiv Uniswap            | Perfect   | Moderate         | 337454                         |
| Widening then truncating  | Perfect   | Cheap            | 336378                         |
| Ruint                     | Perfect   | Expensive        | 334110                         |

So, you should make a decision based on the context of what you're working on, and do some
experimentation yourself. Ruint works with 64 bit words, then branches to pick different
algorithms. 9lives uses muldiv for fee taking operations, with numbers of either 1e6,
1000, and 1e12. You need to enable ruint with `ruint-enabled`. It might be more
appropriate to use ruint if you're already using U256 from alloy, given the amount of code
reuse presumably.

A major shortcoming with this testing is that we're using this in the context of 9lives
without an isolated testing envrionment. That needs doing to be sure about this.