Zipple⚡Trade real-world activity signals

1. System overview

At time t, the global system state is defined as:

$Z_t = (S_t, H_t, O_t, R_t, C_t, G_t, Q_t)$

Symbol	Definition
`S_t`	Total supply vector across buckets
`H_t`	Total portfolio holdings
`O_t`	Inventory locked in open orders
`R_t`	Redeemed / retired quantities
`C_t`	Cash balances
`G_t`	Governance state
`Q_t`	Market orderbook state

2. Bucket structure

Zipple defines a set of economic buckets:

$B = \{\text{eco}, \text{zipply}, \text{market}, \text{zmx}\}$

For each bucket b ∈ B, S_t^{(b)} represents total recognized supply.

Supply vector:

$S_t = \big(S_t^{(\text{eco})},\; S_t^{(\text{zipply})},\; S_t^{(\text{market})},\; S_t^{(\text{zmx})}\big)$

3. Portfolio state

For user u and bucket b:

$H_u^{(b)} = A_u^{(b)} + L_u^{(b)}$

Variable	Meaning
`A_u^{(b)}`	Available balance
`L_u^{(b)}`	Locked / reserved balance

Total holdings in bucket b:

$H_t^{(b)} = \sum_{u=1}^{N} H_u^{(b)}$

Portfolio vector for user u:

$H_u = \big(H_u^{(\text{eco})},\; H_u^{(\text{zipply})},\; H_u^{(\text{market})},\; H_u^{(\text{zmx})}\big)$

4. Open orders

Open orders reserve inventory. Let O_t^{(b)} denote total points locked in open orders:

$O_t^{(b)} = \sum_{o \in \text{open orders}_b} q_o$

where q_o is the quantity of order o.

5. Supply conservation law

For every bucket b, the accounting identity must hold:

$S_t^{(b)} = H_t^{(b)} + O_t^{(b)} + R_t^{(b)}$

Symbol	Meaning
`S_t^{(b)}`	Total supply
`H_t^{(b)}`	Holdings in portfolios
`O_t^{(b)}`	Locked open-order inventory
`R_t^{(b)}`	Redeemed / retired quantity

Zipple conservation invariant

6. Secondary trading

For a trade in bucket b with seller s, buyer r, quantity q, and price p:

$A_s^{(b)\prime} = A_s^{(b)} - q$
$A_r^{(b)\prime} = A_r^{(b)} + q$

System conservation:

$\Delta H_t^{(b)} = 0$

Secondary trading redistributes inventory but does not create supply.

7. Cash settlement

Trade value:

$V = q \cdot p$

Cash balances update as:

$C_s' = C_s + V$
$C_r' = C_r - V$

Cash conservation:

$\Delta C_{\text{system}} = 0$

8. Cash reservation constraint

Before a buy order enters the orderbook, required reserved cash is:

$R_{\text{cash}} = q_o \cdot p_o$

User cash state:

$C_u = C_{u,\text{avail}} + C_{u,\text{res}}$

Variable	Meaning
`C_{u,\text{avail}}`	Available cash
`C_{u,\text{res}}`	Reserved cash

Reservation prevents double-spending during matching.

9. Issuance process

Supply expansion occurs only through issuance events. For bucket b:

$S_{t+1}^{(b)} = S_t^{(b)} + \Delta I_k^{(b)}$

where ΔI_k^{(b)} is issuance event k.

For ZMX specifically:

$S_{t+1}^{(\text{zmx})} = S_t^{(\text{zmx})} + \Delta I_k^{(\text{zmx})}$

Issuance corresponds to certificate purchases and issuance policies.

10. Redemption / retirement

Redeemable assets terminate through redemption events. For ZMX:

$R_{t+1}^{(\text{zmx})} = R_t^{(\text{zmx})} + \Delta D_k$

where ΔD_k represents redeemed certificates. Redemption closes the economic loop.

11. Governance constraint function

Market participation is governed by policy constraints. Let G_u denote the governance state of user u.

Order validity is given by a constraint function:

$\Phi(u, o, G_u) = 1$

Example constraints:

$q_o \leq q_{\max}(G_u)$
$n_{\text{open}}(u) \leq n_{\max}(G_u)$
$\text{role}(u) \in \{\text{trader}, \text{merchant}\}$

Orders failing constraints are rejected.

12. Orderbook state

At time t, the orderbook for bucket b is:

$B_t^{(b)} = \{(q_i, p_i, \tau_i, s_i)\}$

Symbol	Meaning
`q_i`	Quantity
`p_i`	Price
`τ_i`	Timestamp
`s_i`	Side (buy/sell)

Matching follows price–time priority:

$(p_i, \tau_i) \prec (p_j, \tau_j)$

13. Economic loop

Zipple defines a closed economic loop:

$A_t \rightarrow I_t \rightarrow M_t \rightarrow R_t$

Stage	Meaning
`A_t`	Real-world activity
`I_t`	Issuance
`M_t`	Market trading
`R_t`	Redemption

This loop connects real activity to market liquidity.

14. System evolution

The system state evolves according to issuance, trading, redemption, and governance updates:

I_t \quad T_t \quad D_t \quad G_t

subject to the invariants:

$S_t^{(b)} = H_t^{(b)} + O_t^{(b)} + R_t^{(b)} \quad \forall b$

$\Delta S_t^{(b)} = 0 \quad \text{for secondary trades}$

Author

Izak M & Josh B
Co-Founders
cofounders@zipplemx.net