mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekayandHanzo Dev
178febad68
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]>
199 lines
10 KiB
TeX
199 lines
10 KiB
TeX
\section{Namespace 1 -- TypeKind byte}
|
|
\label{sec:typekind}
|
|
|
|
The TypeKind byte (also called the ``schema ID'') is byte 0 of every
|
|
ZAP envelope on the wire. It identifies the top-level message type
|
|
and selects the per-TypeKind ShapeKind table (\S\ref{sec:shapekind}).
|
|
LP-022 defines the framing; LP-200 layers the discriminator on top;
|
|
LP-300 owns the allocations.
|
|
|
|
The 256-byte space is partitioned into six blocks by allocator-LP.
|
|
Reserved ranges in between are held for future expansion and MUST
|
|
NOT be allocated except by an LP-300 amendment.
|
|
|
|
\subsection{Consensus-wire block (LP-182, \texttt{0x01--0x0F})}
|
|
|
|
LP-182 owns the 14-row consensus-wire block. These envelopes carry
|
|
QuasarCerts, blocks, witness proofs, and the per-leg signatures
|
|
that compose the cert.
|
|
|
|
\begin{longtable}{@{}p{1.9cm}p{1.4cm}p{6.7cm}p{1.4cm}p{1.6cm}@{}}
|
|
\toprule
|
|
\textbf{Hex} & \textbf{Owner LP} & \textbf{Purpose} & \textbf{Status} & \textbf{Verified} \\
|
|
\midrule
|
|
\endfirsthead
|
|
\toprule
|
|
\textbf{Hex} & \textbf{Owner LP} & \textbf{Purpose} & \textbf{Status} & \textbf{Verified} \\
|
|
\midrule
|
|
\endhead
|
|
\texttt{0x00} & reserved & Null / illegal envelope & Reserved & 2026-06-03 \\
|
|
\texttt{0x01} & LP-182 & \texttt{QuasarCert} & Final & 2026-06-03 \\
|
|
\texttt{0x02} & LP-182 & \texttt{QBlock} & Final & 2026-06-03 \\
|
|
\texttt{0x03} & LP-182 & \texttt{WitnessProof} & Final & 2026-06-03 \\
|
|
\texttt{0x04} & LP-182 & \texttt{MagnetarAggregateCert} & Final & 2026-06-03 \\
|
|
\texttt{0x05} & LP-182 & \texttt{PolarisLegs} & Final & 2026-06-03 \\
|
|
\texttt{0x06} & LP-182 & \texttt{QuasarSig} & Final & 2026-06-03 \\
|
|
\texttt{0x07} & LP-182 & \texttt{EpochBundle} & Final & 2026-06-03 \\
|
|
\texttt{0x08} & LP-182 & \texttt{PrismCut} & Final & 2026-06-03 \\
|
|
\texttt{0x09} & LP-182 & \texttt{StakeWeightedCut} & Final & 2026-06-03 \\
|
|
\texttt{0x0A} & LP-182 & \texttt{TxAuthEnvelope} & Final & 2026-06-03 \\
|
|
\texttt{0x0B} & LP-182 & \texttt{PQPermit} & Final & 2026-06-03 \\
|
|
\texttt{0x0C} & LP-182 & \texttt{DAGVertex} & Final & 2026-06-03 \\
|
|
\texttt{0x0D} & LP-182 & \texttt{PolicyCert} & Final & 2026-06-03 \\
|
|
\texttt{0x0E--0x0F} & LP-182 & Reserved for consensus-wire growth & Reserved & 2026-06-03 \\
|
|
\bottomrule
|
|
\caption{Consensus-wire TypeKinds owned by LP-182. The \texttt{0x0E}
|
|
and \texttt{0x0F} reserves are LP-182's growth budget; an LP-300
|
|
amendment is required to fill them.}
|
|
\label{tab:typekind-lp182}
|
|
\end{longtable}
|
|
|
|
\subsection{Broad protocol reserve (\texttt{0x10--0xBF})}
|
|
|
|
The largest contiguous reserve in the TypeKind space -- 176 bytes --
|
|
held for future protocol-level allocations. No LP owns this range
|
|
today. Likely landing zones, none committed, are future chain-internal
|
|
schemas analogous to LP-182, future P2P transport primitives analogous
|
|
to LP-201, and future signed-tx envelope variants. Any consuming LP
|
|
that wants to land here MUST open an LP-300 amendment first.
|
|
|
|
\subsection{Chains-VM block (LP-186, \texttt{0xC0--0xCF})}
|
|
|
|
LP-186 owns the 12 chains-VM wire types plus 4 reserves. Each row
|
|
delegates the per-VM ShapeKind table to the owning chains-VM
|
|
specification.
|
|
|
|
\begin{longtable}{@{}p{1.9cm}p{1.4cm}p{6.7cm}p{1.4cm}p{1.6cm}@{}}
|
|
\toprule
|
|
\textbf{Hex} & \textbf{Owner LP} & \textbf{Purpose} & \textbf{Status} & \textbf{Verified} \\
|
|
\midrule
|
|
\endfirsthead
|
|
\toprule
|
|
\textbf{Hex} & \textbf{Owner LP} & \textbf{Purpose} & \textbf{Status} & \textbf{Verified} \\
|
|
\midrule
|
|
\endhead
|
|
\texttt{0xC0} & LP-186 & \texttt{aivm} chains-VM wire & Draft & 2026-06-03 \\
|
|
\texttt{0xC1} & LP-186 & \texttt{bridgevm} chains-VM wire & Draft & 2026-06-03 \\
|
|
\texttt{0xC2} & LP-186 & \texttt{dexvm} chains-VM wire & Draft & 2026-06-03 \\
|
|
\texttt{0xC3} & LP-186 & \texttt{evm} chains-VM wire (chains-side glue) & Draft & 2026-06-03 \\
|
|
\texttt{0xC4} & LP-186 & \texttt{graphvm} chains-VM wire & Draft & 2026-06-03 \\
|
|
\texttt{0xC5} & LP-186 & \texttt{identityvm} chains-VM wire & Draft & 2026-06-03 \\
|
|
\texttt{0xC6} & LP-186 & \texttt{keyvm} chains-VM wire & Draft & 2026-06-03 \\
|
|
\texttt{0xC7} & LP-186 & \texttt{oraclevm} chains-VM wire & Draft & 2026-06-03 \\
|
|
\texttt{0xC8} & LP-186 & \texttt{quantumvm} chains-VM wire & Draft & 2026-06-03 \\
|
|
\texttt{0xC9} & LP-186 & \texttt{relayvm} chains-VM wire & Draft & 2026-06-03 \\
|
|
\texttt{0xCA} & LP-186 & \texttt{mvm} chains-VM wire & Draft & 2026-06-03 \\
|
|
\texttt{0xCB} & LP-186 & \texttt{zkvm} chains-VM wire & Draft & 2026-06-03 \\
|
|
\texttt{0xCC--0xCF} & LP-186 & Reserved for chains-VM growth & Reserved & 2026-06-03 \\
|
|
\bottomrule
|
|
\caption{Chains-VM TypeKinds owned by LP-186. ShapeKind tables under
|
|
each \texttt{0xCx} TypeKind are delegated to the owning chains-VM and
|
|
documented in LP-186 and the per-VM wire files; they are not
|
|
re-listed in LP-300.}
|
|
\label{tab:typekind-lp186}
|
|
\end{longtable}
|
|
|
|
\subsection{P2P stream-type block (LP-201, \texttt{0xD0--0xDF})}
|
|
|
|
LP-201 owns the 16-row P2P stream-type block. Each P2P TypeKind is
|
|
degenerate at the ShapeKind level -- one TypeKind, one shape -- so
|
|
no separate ShapeKind table is needed for this block.
|
|
|
|
\begin{longtable}{@{}p{1.9cm}p{1.4cm}p{6.7cm}p{1.4cm}p{1.6cm}@{}}
|
|
\toprule
|
|
\textbf{Hex} & \textbf{Owner LP} & \textbf{Purpose} & \textbf{Status} & \textbf{Verified} \\
|
|
\midrule
|
|
\endfirsthead
|
|
\toprule
|
|
\textbf{Hex} & \textbf{Owner LP} & \textbf{Purpose} & \textbf{Status} & \textbf{Verified} \\
|
|
\midrule
|
|
\endhead
|
|
\texttt{0xD0} & LP-201 & \texttt{ConsensusVote} & Draft & 2026-06-03 \\
|
|
\texttt{0xD1} & LP-201 & \texttt{ConsensusProposal} & Draft & 2026-06-03 \\
|
|
\texttt{0xD2} & LP-201 & \texttt{ConsensusCert} (mirrors \texttt{0x01} QuasarCert) & Draft & 2026-06-03 \\
|
|
\texttt{0xD3} & LP-201 & \texttt{BlockRequest} & Draft & 2026-06-03 \\
|
|
\texttt{0xD4} & LP-201 & \texttt{BlockResponse} & Draft & 2026-06-03 \\
|
|
\texttt{0xD5} & LP-201 & \texttt{TxGossip} & Draft & 2026-06-03 \\
|
|
\texttt{0xD6} & LP-201 & \texttt{TxRequest} & Draft & 2026-06-03 \\
|
|
\texttt{0xD7} & LP-201 & \texttt{TxResponse} & Draft & 2026-06-03 \\
|
|
\texttt{0xD8} & LP-201 & \texttt{FilterAdvertise} (P2P bloom-filter gossip) & Draft & 2026-06-03 \\
|
|
\texttt{0xD9} & LP-201 & \texttt{SnapshotAdvertise} (P2P state-sync gossip) & Draft & 2026-06-03 \\
|
|
\texttt{0xDA} & LP-201 & \texttt{ChunkRequest} (content-addressed fetch) & Draft & 2026-06-03 \\
|
|
\texttt{0xDB} & LP-201 & \texttt{ChunkResponse} (content-addressed fetch) & Draft & 2026-06-03 \\
|
|
\texttt{0xDC} & LP-201 & \texttt{PeerInfo} (signed peer record) & Draft & 2026-06-03 \\
|
|
\texttt{0xDD} & LP-201 & \texttt{DHTFindNode} (Kademlia) & Draft & 2026-06-03 \\
|
|
\texttt{0xDE} & LP-201 & \texttt{DHTFindValue} (Kademlia) & Draft & 2026-06-03 \\
|
|
\texttt{0xDF} & LP-201 & \texttt{DHTStore} (Kademlia) & Draft & 2026-06-03 \\
|
|
\bottomrule
|
|
\caption{P2P stream-type TypeKinds owned by LP-201. Each row carries
|
|
exactly one shape; no per-TypeKind ShapeKind table.}
|
|
\label{tab:typekind-lp201}
|
|
\end{longtable}
|
|
|
|
\subsection{Mempool / 2PC / rollup block (\texttt{0xE0--0xEF})}
|
|
|
|
The most-contested block in the corpus. Three LPs originally claimed
|
|
overlapping bytes here; LP-300 resolves the contention per the
|
|
LP-214 canonical handoff (\S\ref{sec:conflicts}). The final
|
|
allocation: LP-208 takes \texttt{0xE0..0xE1}, LP-211 takes
|
|
\texttt{0xE2..0xE7}, LP-218 takes \texttt{0xE8..0xEF} (shifted from
|
|
prior \texttt{0xE0..0xE3} claim). LP-219 reuses LP-211's
|
|
\texttt{0xE2..0xE7} at the rollup tier as a ShapeKind-level
|
|
extension (TxKind \texttt{0x44}), not a TypeKind-level reclamation.
|
|
|
|
\begin{longtable}{@{}p{1.9cm}p{1.7cm}p{6.4cm}p{1.4cm}p{1.6cm}@{}}
|
|
\toprule
|
|
\textbf{Hex} & \textbf{Owner LP} & \textbf{Purpose} & \textbf{Status} & \textbf{Verified} \\
|
|
\midrule
|
|
\endfirsthead
|
|
\toprule
|
|
\textbf{Hex} & \textbf{Owner LP} & \textbf{Purpose} & \textbf{Status} & \textbf{Verified} \\
|
|
\midrule
|
|
\endhead
|
|
\texttt{0xE0} & LP-208 & \texttt{DAGHeader} (mempool) -- reclaimed from prior \texttt{0xF0} & Draft & 2026-06-03 \\
|
|
\texttt{0xE1} & LP-208 & \texttt{DAGBody} (mempool) -- reclaimed from prior \texttt{0xF1} & Draft & 2026-06-03 \\
|
|
\texttt{0xE2} & LP-211 & \texttt{CrossShardTxGroup} -- reused by LP-219 at rollup tier & Draft & 2026-06-03 \\
|
|
\texttt{0xE3} & LP-211 & \texttt{CrossShardDispatch} -- reused by LP-219 at rollup tier & Draft & 2026-06-03 \\
|
|
\texttt{0xE4} & LP-211 & \texttt{CrossShardPrepareAck} -- reused by LP-219 at rollup tier & Draft & 2026-06-03 \\
|
|
\texttt{0xE5} & LP-211 & \texttt{CrossShardRefuseAck} -- reused by LP-219 at rollup tier & Draft & 2026-06-03 \\
|
|
\texttt{0xE6} & LP-211 & \texttt{CrossShardCommitNotify} -- reused by LP-219 at rollup tier & Draft & 2026-06-03 \\
|
|
\texttt{0xE7} & LP-211 & \texttt{CrossShardAbortNotify} -- reused by LP-219 at rollup tier & Draft & 2026-06-03 \\
|
|
\texttt{0xE8} & LP-218 & \texttt{RollupBatchTx} -- shifted from prior \texttt{0xE0} & Draft & 2026-06-03 \\
|
|
\texttt{0xE9} & LP-218 & \texttt{RollupChallengeTx} -- shifted from prior \texttt{0xE1} & Draft & 2026-06-03 \\
|
|
\texttt{0xEA} & LP-218 & \texttt{RollupExitTx} -- shifted from prior \texttt{0xE2} & Draft & 2026-06-03 \\
|
|
\texttt{0xEB} & LP-218 & \texttt{RollupGenesisTx} -- shifted from prior \texttt{0xE3} & Draft & 2026-06-03 \\
|
|
\texttt{0xEC} & LP-218 / LP-219 & \texttt{RollupAggregateBatch} -- LP-219 TxKind \texttt{0x44} lives here & Draft & 2026-06-03 \\
|
|
\texttt{0xED--0xEF} & LP-218 & Reserved (sequencer rotation, cross-rollup commit) & Reserved & 2026-06-03 \\
|
|
\bottomrule
|
|
\caption{Post-resolution \texttt{0xE0--0xEF} block. LP-208 holds
|
|
\texttt{0xE0--0xE1}; LP-211 holds \texttt{0xE2--0xE7}; LP-218 holds
|
|
\texttt{0xE8--0xEF}. LP-219 is a ShapeKind-level extension on top of
|
|
LP-211 envelopes at the rollup tier; see \S\ref{sec:shapekind}.}
|
|
\label{tab:typekind-mempool}
|
|
\end{longtable}
|
|
|
|
\subsection{Light client block (LP-214, \texttt{0xF0--0xF2})}
|
|
|
|
LP-214 owns the three light-client TypeKinds with paired ShapeKinds
|
|
in the \texttt{0x50--0x52} band.
|
|
|
|
\begin{longtable}{@{}p{1.9cm}p{1.4cm}p{6.7cm}p{1.4cm}p{1.6cm}@{}}
|
|
\toprule
|
|
\textbf{Hex} & \textbf{Owner LP} & \textbf{Purpose} & \textbf{Status} & \textbf{Verified} \\
|
|
\midrule
|
|
\endfirsthead
|
|
\toprule
|
|
\textbf{Hex} & \textbf{Owner LP} & \textbf{Purpose} & \textbf{Status} & \textbf{Verified} \\
|
|
\midrule
|
|
\endhead
|
|
\texttt{0xF0} & LP-214 & \texttt{LightClientBlockHeaderRequest} & Draft & 2026-06-03 \\
|
|
\texttt{0xF1} & LP-214 & \texttt{LightClientStateProofRequest} & Draft & 2026-06-03 \\
|
|
\texttt{0xF2} & LP-214 & \texttt{LightClientCertProof} & Draft & 2026-06-03 \\
|
|
\texttt{0xF3--0xFF} & reserved & Reserved for future framing -- DO NOT ALLOCATE & Reserved & 2026-06-03 \\
|
|
\bottomrule
|
|
\caption{Light-client TypeKinds owned by LP-214 plus the
|
|
top-of-namespace reserve. \texttt{0xF3--0xFF} is the final 13-byte
|
|
reserve in the TypeKind space.}
|
|
\label{tab:typekind-lp214}
|
|
\end{longtable}
|