mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-02 11:39:52 +00:00
zeekay
9504b4c3ef
Sweep across the non-Tier-1 paper catalogue (Tier-1 owned by parallel
agent and excluded). All 113 processed papers already had luxcover
wired up; this commit fixes 14 build breakers and produces fresh
PDFs across the catalogue.
Fixes:
- lux-blockchain-scaling-laws: em-dash inside lstlisting -> --
- lux-corona-pq: stale \input pointing at 03-the-corona-scheme renamed
to 03-the-corona-scheme (file already renamed on disk)
- lux-lattice-cryptography-primer: same Corona->Corona rename
- lux-formal-verification-lean4: Lean source uses unicode (×, ∀, ∃, ∈,
∧, ∨, ∩, ≠, ⟨, ⟩, ·, ¬) inside lstlistings. Added a literate map
so listings render the math glyphs without UTF-8 fault.
- lux-id-did-specification: ✓/✗ in tabular replaced with \ding{51}
/ \ding{55} (pifont). Added pifont package.
- lux-ntt-simd-implementation: middle-dot in Go assembly listings;
added literate {·}{\textperiodcentered}.
- lux-ntt-transform: μ, ×, –, — in regular text (no T1 fontenc).
Replaced with $\mu$/$\times$/--/--- via unicode->latex sweep.
- lux-perpetuals-derivatives, lux-quantum-consensus,
lux-quasar-consensus, lux-tee-computing-mesh: same unicode->latex
sweep across body text. Also fixed broken math segment
`$L_{avg} = 10$\times$$` -> `$L_{avg} = 10\times$`.
- lux-zchain: emoji glyphs in roadmap table replaced with
parenthetical text.
- lux-triple-proof-consensus: dropped duplicate \usepackage{geometry}
that clashed with luxcover (geometry option clash).
- pq: defined missing \Rq macro.
PDFs rebuilt for the full Tier-2/3 set.
Excluded (Tier-1, parallel agent): lp-073-pulsar, lp-stricte2epq,
dag-evm-formal, lp-010-quasar-stm-{3,4}, lp-020-quasar-consensus,
lux-institutional-custody, lux-nist-mptc-submission, pqsafe-il5,
pq-rns, plus shared/ and lps/.
81 lines
2.9 KiB
TeX
81 lines
2.9 KiB
TeX
\section{A-Chain Architecture}
|
|
|
|
|
|
\subsection{High-Level Design}
|
|
|
|
A-Chain operates as a specialized Lux appchain with the following components:
|
|
|
|
\begin{figure}[h]
|
|
\centering
|
|
\begin{verbatim}
|
|
+------------------------------------------------------------+
|
|
| A-Chain Architecture |
|
|
+----------------------+-------------------------------------+
|
|
| Attestation Layer | Economic Layer |
|
|
+----------------------+-------------------------------------+
|
|
| * TEE Quote Verify | * LUX gas token |
|
|
| * Multi-vendor roots | * Validator rewards |
|
|
| * Global registry | * Slashing mechanism |
|
|
| * Precompile 0xAAA | * Stake requirements |
|
|
+----------------------+-------------------------------------+
|
|
v v
|
|
+----------------+ +------------------+
|
|
| External TEE | | Application |
|
|
| Verification | | Orchestration |
|
|
+----------------+ +------------------+
|
|
| * Intel IAS | | * Hanzo.Network |
|
|
| * AMD PSP | | (AI Coin) |
|
|
| * NVIDIA TA | | * Zoo.Network |
|
|
| * ARM RMM | | (ZOO token) |
|
|
+----------------+ +------------------+
|
|
\end{verbatim}
|
|
\caption{A-Chain architectural layers}
|
|
\end{figure}
|
|
|
|
\subsection{Attestation Flow}
|
|
|
|
The attestation process follows these steps:
|
|
|
|
\begin{algorithm}[H]
|
|
\caption{A-Chain Attestation Verification}
|
|
\begin{algorithmic}[1]
|
|
\Function{VerifyAttestation}{$proof$}
|
|
\State Extract $deviceId, cpuQuote, gpuQuote, nonce, jobHash, outputHash$ from $proof$
|
|
\State $vendor \gets$ DetectVendor($cpuQuote$)
|
|
\State $rootCA \gets$ GetRootCA($vendor$)
|
|
|
|
\If{not VerifySignature($cpuQuote, rootCA$)}
|
|
\State \Return \texttt{INVALID\_CPU\_ATTESTATION}
|
|
\EndIf
|
|
|
|
\If{$gpuQuote \neq \text{null}$}
|
|
\If{not VerifySignature($gpuQuote, rootCA$)}
|
|
\State \Return \texttt{INVALID\_GPU\_ATTESTATION}
|
|
\EndIf
|
|
\EndIf
|
|
|
|
\State UpdateRegistry($deviceId, \text{ATTESTED}, \text{timestamp}$)
|
|
\State Emit AttestationVerified($deviceId, jobHash, outputHash$)
|
|
\State \Return \texttt{SUCCESS}
|
|
\EndFunction
|
|
\end{algorithmic}
|
|
\end{algorithm}
|
|
|
|
\subsection{Device Registry}
|
|
|
|
The global device registry maintains trust scores for all attested devices:
|
|
|
|
\begin{lstlisting}[language=Solidity, basicstyle=\small\ttfamily]
|
|
struct DeviceStatus {
|
|
bool attested; // Currently valid attestation
|
|
uint8 trustScore; // 0-100 reputation score
|
|
uint256 lastSeen; // Last attestation timestamp
|
|
address operator; // Node operator address
|
|
TEEVendor vendor; // Intel/AMD/NVIDIA/ARM
|
|
bytes32[] jobHistory; // Recent job hashes
|
|
}
|
|
|
|
mapping(bytes32 => DeviceStatus) public attestationRegistry;
|
|
\end{lstlisting}
|
|
|