EncrypiaBrief companion v0.2Septiembre 2026Público · Pre-testnet

07 · Investigación · Whitepaper

Nota de postura de seguridad — con estado en cada afirmación.

Tratá esta lectura como una nota de postura de seguridad pública, no como un paper. Encrypia coordina Zeqron. Brief canónico v0.2. Septiembre de 2026. Architecture · Pre-testnet. Toda afirmación fuerte debajo lleva etiqueta: diseño, código, o no publicado. Si una cita pierde la etiqueta, deja de ser esta nota.

Debajo hay dos extractos reales del monorepo: FinalityLevel (Included → FastFinal → OrderedFinal → Spendable → Settled) y ConformanceLevel (niveles de conformidad del agente ZAXON). Estado: código · diseño · sin medición de red pública. No son un TPS; son estados de claim y de bound.

Estado · diseño y código: FIPS 203 (ML-KEM) nombra encapsulación de claves; FIPS 204 (ML-DSA) nombra firmas primarias; FIPS 205 (SLH-DSA) nombra firmas hash-based de larga vida. El papel de cada estándar en el stack público está declarado. Estado · no publicado: conjuntos de parámetros, tamaños de clave y vectores KAT de esta página.

Estado · diseño (con código en el monorepo): las pruebas son de clase STARK con setup transparente — sin ceremonia de pairing de confianza como historia de largo plazo; uso configurable por zona. Estado · no publicado: consultas FRI, elección de cuerpo, anchos de familia de hash, tablas de bits de soundness presentadas como marketing.

Estado · hipótesis de diseño: el consenso ordena compromisos en un DAG con comité de estilo BFT y firmas post-cuánticas; el umbral de falla del que habla el diseño es el clásico de menos de un tercio. Linaje nombrado: familia Mysticeti (Babel et al., arXiv:2310.14821). Zeqron es una adaptación PQ con QronGraph — no Mysticeti upstream sin cambios. Las garantías, el throughput y la latencia del paper no se transfieren automáticamente a una red Zeqron. Estado · no publicado aquí: paper formal completo de Encrypia (reducciones, juegos, lemas).

Qué cambia al adaptar a PQ — sin pegar números del paper. Las firmas ML-DSA son mucho más grandes que Ed25519/BLS: el diseño debe asumir bloques y certificados más pesados en el DAG, no el perfil de latencia/WAN del paper upstream. QronGraph añade ordenamiento semántico de compromisos encima de esa familia; eso es trabajo Encrypia, no un copy-paste del arXiv. Estado: hipótesis de diseño + código de familia · no medición de red Zeqron.

Clases de evidencia, en prosa — tabla del brief. (A) Red observada: throughput/latencia bajo carga real publicada. (B) Laboratorio / POC / simulación: experimento bajo supuestos. (C) Techo teórico: bound analítico. Zeqron no tiene, en público a septiembre de 2026, la fila (A). Por eso no hay columna de Zeqron junto a Bitcoin/Ethereum «observed». Un experimento interno, si existe, no se pega aquí como red observada.

Cómo citar esta página: como postura pública de Encrypia alineada con el brief v0.2, preservando etiquetas de estado, y con el linaje Mysticeti etiquetado como referencia de diseño. Cómo no citarla: como paper revisado por pares de Encrypia; como apéndice de parámetros reproducible; como evidencia de rendimiento de red pública medida; como demostración de que los lemas de arXiv:2310.14821 valen sin adaptación para Zeqron.

Adaptación PQ · consecuencias de diseño

Hipótesis · sin medición de red Zeqron

01
Firmas más pesadas
ML-DSA ≫ Ed25519/BLS en tamaño. El diseño asume certificados y vértices más caros en el DAG.
No — No pegar latencia WAN del paper upstream.
02
Verificación más cara
El comité BFT-style carga más CPU por mensaje firmado. El perfil de costo no es el del paper clásico.
No — No inventar TPS Zeqron desde el arXiv.
03
QronGraph
Ordenamiento semántico de compromisos encima del linaje DAG-BFT. Trabajo Encrypia, no copy-paste del paper.
No — No afirmar lemas upstream sin adaptación.
04
Evidencia
Hoy: diseño + código de familia. Sin fila observed pública de Zeqron (clase A).
No — Lab/POC ≠ red observada.

Citar Mysticeti (arXiv:2310.14821) nombra linaje. No transfiere throughput, latencia ni lemas del paper a una red Zeqron.

Pila criptográfica · genesis PQ

Brief público v0.2 §4 · NIST FIPS

FIPS 203	ML-KEM	Intercambio de claves
FIPS 204	ML-DSA	Firmas (camino caliente)
FIPS 205	SLH-DSA	Firmas (camino frío / ancla)

No es un plan de migración posterior. Las tres familias entran en el diseño desde el origen.

Referencias · linaje de diseño

Nota de postura · no paper de Zeqron

[1]
Babel, K. et al. Mysticeti: Reaching the Limits of Latency with Uncertified DAGs. arXiv:2310.14821, 2023/2024.
Linaje DAG-BFT (upstream). Estado: referencia de diseño · no medición de red Zeqron.
[2]
NIST. FIPS 203 (ML-KEM), FIPS 204 (ML-DSA), FIPS 205 (SLH-DSA).
Primitivas PQ nombradas en el stack público. Estado: diseño y código · parámetros finos no publicados aquí.
[3]
Encrypia. ZEQRON — Public Technical Brief v0.2. September 2026.
Texto canónico público. Si esta página y el brief divergen, manda el brief.

Citar el linaje no transfiere throughput, latencia ni lemas del paper upstream a una red Zeqron. La adaptación PQ y QronGraph son diseño Encrypia; las garantías del paper no se asumen automáticas.

Niveles de finalidad (extracto)

zeqron-consensus · FinalityLevel · DRAFT §2 R20

código · diseño de finalidad en el DAG · sin medición de red pública

rust

pub enum FinalityLevel {
    Included,      // in a vertex, proof verified
    FastFinal,     // fast path when no nullifier conflict
    OrderedFinal,  // causal order resolves a conflict
    Spendable,     // epoch sealed
    Settled,       // further epoch confirmation (zone-configurable)
}

La finalidad del claim no es un TPS. Son estados de diseño sobre el DAG. Sin red publicada, ninguno de estos niveles es una medición de servicio.

Niveles de conformidad ZAXON (nombres)

zeqron-zaxon · ConformanceLevel

código · marco · montos no publicados

rust

pub enum ConformanceLevel {
    L0, // unconstrained — development / tests
    L1, // bounded — basic production agents
    L2, // attested — stronger controls
    L3, // certified — highest declared tier
}

Solo nombres de marco. Bonds, seguros y descuentos no se afirman como hechos de mercado vivos.

Afirmaciones con estado

FIPS 203 / 204 / 205

Papel nombrado en el stack. Estado: diseño y código. Instanciación concreta: no publicada.

STARK · setup transparente

Clase de prueba y ausencia de trusted setup como historia larga. Estado: diseño y código. Parámetros reproducibles: no publicados.

DAG + BFT <1/3 · linaje Mysticeti

Modelo de orden y umbral. Referencia: Babel et al., arXiv:2310.14821. Adaptación PQ + QronGraph = diseño Encrypia. Estado: hipótesis de diseño (código de familia de consenso en monorepo). Medición de red Zeqron: no. Transferencia automática de lemas upstream: no.

Evidencia

Sin fila pública de red observada. Laboratorio ≠ observado. Teórico ≠ desplegado. Paper upstream ≠ red Zeqron.

Qué cambia al citar el linaje

Sirve para

Nombrar de dónde viene la familia DAG-BFT que el diseño adapta, y para que un revisor sepa qué paper leer primero.

No sirve para

Pegar 0.5s / 200k TPS u otros números del paper al lado de Zeqron. Esa columna seguiría siendo falsa aunque el arXiv exista.

Adaptación PQ (diseño)

ML-DSA agranda firmas frente a curvas clásicas: el DAG debe vivir con certificados más pesados. QronGraph ordena compromisos semánticos encima. Ni el tamaño de firma concreto ni la latencia WAN del paper se afirman aquí como hechos de red Zeqron.

Esto no es

Un paper ni un sustituto de revisión por pares.
Una tabla de latencia o throughput de red Zeqron.
El apéndice de parámetros que el brief omite a propósito.
Una afirmación de que los lemas de Mysticeti valen sin adaptación para Zeqron.

Brief canónico v0.2ZEQRON-WHITEPAPER-PUBLIC-v0.2.md