Files
zooqueen ac61e71667 Reconcile Corona/Pulsar taxonomy: both are Module-LWE
Scrub residual Ring-LWE mislabels of the Corona/Pulsar threshold
signature family per canonical decision-b (source: ringtail/sign/config.go
M=8,N=7, q=0x1000000004A01).

- Corona = Module-LWE (Ringtail-derived parameter set, A in R_q^{8x7}),
  not Ring-LWE / not "Module-LWE at rank 1".
- Pulsar = Module-LWE (ML-DSA-65, FIPS-204 byte-equal).
- Corona+Pulsar differ by parameter regime/codebase, NOT hardness family:
  intra-lattice parameter/implementation diversity, NOT family-disjoint.
- True family-disjoint defense = Magnetar (hash, SLH-DSA) / HQC (codes).

Reframed the false Corona(R-LWE)-vs-Pulsar(M-LWE) family-independence
across lp-219/lp-220/lp-222/lp-223 (P3Q kinds), lux-quasar-composition
(profile hardness table + composition corollary/proof), lux-magnetar-pq,
and the superseded triple-proof/quasar drafts (anonymous lattice
threshold lane = Corona). Legitimate FHE/TFHE Ring-LWE, NTT citations,
and neutral "rank-1" lattice facts left intact. PDFs rebuilt.
2026-06-20 02:26:47 -07:00

32 lines
1023 B
TeX

\section{Block Structure}
\subsection{Per-Block Header (every 1ms)}
\begin{verbatim}
BlockHeader {
parent_hash: [32]byte // Parent block hash
state_root: [32]byte // Merkle root of state
tx_root: [32]byte // Merkle root of transactions
timestamp: uint64 // 8 bytes
height: uint64 // 8 bytes
bls_aggregate: [32]byte // Truncated BLS aggregate hash
// Total: 144 bytes
}
\end{verbatim}
The \texttt{bls\_aggregate} field contains a 32-byte hash of the full 48-byte BLS aggregate signature. The full signature is recoverable from any validator's archive.
\subsection{Per-Epoch Proof (every 1,000 blocks = 1 second)}
\begin{verbatim}
EpochProof {
bls_aggregate: [48]byte // Full BLS aggregate signature
zk_proof: [~200]byte // STARK(ML-DSA sigs + Corona threshold)
validators: uint16 // Count of participating validators
epoch: uint64 // Epoch number
// Total: ~258 bytes
}
\end{verbatim}