7.3. Balance-Based Economy (gp072)🔗

For reference, the Gray Paper variants use a token-based model where services must hold sufficient balance to cover storage deposit costs.

structure

Jar.BalanceEcon : Type
Jar.BalanceEcon : Type

Balance-based economic model (gp072 variants). Services must hold sufficient balance to cover storage costs. GP §9, eq (9.8): a_t = B_S + B_I × items + B_L × bytes - min(f, minBal).

Constructor

Jar.BalanceEcon.mk

Fields

balance : Balance

b : Account balance. ℕ_B.

gratis : Balance

f : Free (gratis) storage allowance. ℕ_B.

structure

Jar.BalanceTransfer : Type
Jar.BalanceTransfer : Type

Balance-based transfer payload (gp072 variants). Carries a token amount to be debited from sender and credited to receiver.

Constructor

Jar.BalanceTransfer.mk

Fields

amount : Balance

a : Transfer amount. ℕ_B.