EncrypiaBrief companion v0.1Septiembre 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.1. 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 un extracto real del monorepo: FinalityLevel (Included → FastFinal → OrderedFinal → Spendable → Settled). Estado: código · diseño de finalidad en el DAG · sin medición de red pública. No es un TPS; son estados de claim sobre el grafo.

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).

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.1, 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.

Pila criptográfica · genesis PQ

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

FIPS 203ML-KEMIntercambio de claves
FIPS 204ML-DSAFirmas (camino caliente)
FIPS 205SLH-DSAFirmas (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. [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. [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. [3]

    Encrypia. ZEQRON — Public Technical Brief v0.1. 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.

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.

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.1ZEQRON-WHITEPAPER-PUBLIC-v0.1.mdPDFZEQRON-WHITEPAPER-PUBLIC-v0.1.pdf

Lectura companion del Brief Técnico Público v0.1. Si esta página y el brief se apartan, manda el brief. El master largo permanece interno. No es oferta de instrumento ni consejo jurídico.

AnteriorLegal