Formulas

This section consolidates the whitepaper's key equations in one place for faster technical review.

On this page

- Formula index
- How to interpret variables

Formula Index

Discounted premium

Pdiscounted = P x (1 - Rs)

Total premium paid

Ptotal = Pdiscounted x t

Savings via staking

Sp = (P - Pdiscounted) x t

Total user benefit

Btotal = Sp + Es

DAO allocation constraint

Rx + Ry + Rz = 1

Interpretation Notes

Use these equations as scenario tools rather than guarantees. Production implementations should validate assumptions for claims frequency, market volatility, and oracle behavior.