Technical & Contracts Synopsis

Prelude

PRBMath is used for any complex math operations that require maintaining precision.

• Supports 18 decimal fixed point math.

• Always rounds down.

• Has no configurable rounding mode.

For cases where we need to specify rounding modes such as when we are working with token amounts and want to always round in favor of the protocol, we use Solady's FixedPointMathLib.

All asset values should be denominated in USDB.

• The price feed we will use for pricing USDB is TBD.

• USDB can be minted on Blast from any compatible stablecoin they choose (DAI, USDC, USDT, etc).

This is a Blast native mechanic.

Overview of contracts that hold funds:

Contract	Funds	Properties	Claimable Gas Fees
JuiceGasTank	Native ETH	ETH balance rebases automatically	Yes
JuiceLendingPool	USDB	USDB yield claimable manually	Yes
JuiceAccountManager	WETH	WETH yield claimable manually	Yes
JuiceAccount	USDB, Strategy tokens	USDB yield not claimable	No
Liquidator	USDB	USDB yield not claimable	No
Strategies	USDB, any Strategy specific tokens	USDB yield should be claimable, rest is Strategy specific	Yes

Other contracts:

• JuiceGovernor

• InterestRateStrategy

• OmegaDebtToken

• OmegaLiquidityToken