mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +00:00
Every rendered "T-Chain" / "ThresholdVM" / "teleportvm" reference across the paper corpus is rewritten to the correct canonical chain by concern: threshold signing / MPC / bridge custody / key recovery -> M-Chain (MVM); FHE / encrypted compute / threshold decryption -> F-Chain (FVM); teleport / cross-chain messaging -> B-Chain (bridgevm); consensus Pulsar stays Q-Chain. Section lux-trust-kernel/03-t-chain-threshold-governance.tex renamed -> 03-f-chain-encrypted-policy.tex (with \input + xref fixes). Braided "T-Chain" sections split by concern (M vs F). Only lp-020's chain-separation rationale and the shared lux/chains/thresholdvm library path retain the name, to record the removal. All changed papers rebuilt (pdflatex, rc=0, no undefined refs). ยง09 of lux-dao-governance-framework reframed: fabricated "production deployment" metrics ($50M/$240k/$12M, survey %s, "as of Oct 2024") relabeled as illustrative design configurations with no invented replacements; reality noted (DAO treasury is a 1/1 Safe); conclusion echo + one "first production" overclaim softened. This commit also captures concurrent corpus workstreams on the same tree. Co-authored-by: Hanzo Dev <[email protected]>
68 lines
3.4 KiB
TeX
68 lines
3.4 KiB
TeX
\section{Delegation Mechanism}
|
|
\label{sec:delegation}
|
|
|
|
\subsection{Delegation Lifecycle}
|
|
|
|
\begin{algorithm}[H]
|
|
\caption{Delegation Protocol}
|
|
\label{alg:delegation}
|
|
\begin{algorithmic}[1]
|
|
\Procedure{Delegate}{delegator $d$, validator $v_i$, amount $s_d$}
|
|
\State \textbf{require} $s_d \geq s^{\min}_{\text{del}}$
|
|
\State \textbf{require} $s_i + s_d \leq \omega \cdot s_i^{\text{self}}$
|
|
\State \textbf{require} $v_i$ is active and not jailed
|
|
\State Lock $s_d$ in delegation contract
|
|
\State $\mathcal{D}_i \gets \mathcal{D}_i \cup \{d\}$
|
|
\State Effective at epoch $e_{\text{current}} + 1$
|
|
\EndProcedure
|
|
\Procedure{Undelegate}{delegator $d$}
|
|
\State Begin unbonding period $\tau_{\text{unbond}} = 14$ days
|
|
\State $d$ earns no rewards during unbonding
|
|
\State After $\tau_{\text{unbond}}$: release $s_d$ to $d$
|
|
\State During unbonding: $d$'s stake still subject to slashing
|
|
\EndProcedure
|
|
\end{algorithmic}
|
|
\end{algorithm}
|
|
|
|
The 14-day unbonding period serves two purposes: (i) it prevents rapid stake movement in response to anticipated slashing events, and (ii) it provides economic finality---actions taken during the bonded period can still be penalized during unbonding.
|
|
|
|
\subsection{Delegation Cap and Decentralization}
|
|
|
|
The delegation multiplier $\omega = 15$ limits concentration:
|
|
|
|
\begin{proposition}[Decentralization Lower Bound]
|
|
With total stake $S$ and minimum self-stake $s^{\min}_{\text{val}}$, the minimum number of validators needed to secure $2S/3$ is:
|
|
\begin{equation}
|
|
n^{\min} = \left\lceil \frac{2S}{3 \cdot \omega \cdot s^{\min}_{\text{val}}} \right\rceil
|
|
\end{equation}
|
|
\end{proposition}
|
|
|
|
\begin{proof}
|
|
Each validator's effective stake is at most $\omega \cdot s^{\min}_{\text{val}} = 30{,}000$ LUX. To accumulate $2S/3$ stake requires at least $\lceil 2S / (3 \cdot 30{,}000) \rceil$ validators.
|
|
\end{proof}
|
|
|
|
For an illustrative early-network staked base of $S = 300{,}000{,}000$ LUX (60\% of a 500M circulating float; the protocol hard cap is 2 trillion LUX per genesis, far above the circulating supply at any point on the emission schedule), $n^{\min} = 6{,}667$. In practice, the equilibrium is more concentrated because most validators attract more self-stake, but the cap ensures a lower bound on decentralization.
|
|
|
|
\subsection{Commission Market}
|
|
|
|
Validators compete for delegators by setting commission rates. We model this as a Bertrand competition:
|
|
|
|
\begin{theorem}[Commission Equilibrium]\label{thm:commission}
|
|
In a market with $n \geq 2$ validators with identical costs, the unique Nash equilibrium commission rate is $c^* = c^{\min} + \epsilon$ where $\epsilon \to 0$ as $n \to \infty$.
|
|
\end{theorem}
|
|
|
|
\begin{proof}
|
|
Delegators prefer lower commissions (holding uptime constant). If validator $i$ sets $c_i > c^{\min}$, any competitor $j$ can attract $i$'s delegators by setting $c_j = c_i - \epsilon$. The only equilibrium under Bertrand dynamics is $c_i = c^{\min}$ for all $i$. With the floor $c^{\min} = 0.05$, the equilibrium approaches $c^* = 0.05$ as competition increases.
|
|
\end{proof}
|
|
|
|
In practice, validators differentiate on uptime, appchain coverage, and reputation, allowing premium commission rates:
|
|
|
|
\begin{definition}[Quality-Adjusted Commission]
|
|
The effective cost to delegators of validator $v_i$ is:
|
|
\begin{equation}
|
|
\text{EffCost}_i = \frac{c_i}{u_i \cdot (1 + \sum_{k \in \mathcal{K}_i} \rho_k)}
|
|
\end{equation}
|
|
where $\rho_k$ is the reward premium for appchain $k$ participation. Delegators minimize this effective cost.
|
|
\end{definition}
|
|
|