EncrypiaBrief companion v0.2Septiembre 2026Público · Pre-testnet
03 · Desarrolladores · Whitepaper
Qué está especificado, y qué se puede leer como código.
Leer Zeqron para construir es leer cuatro responsabilidades, no un tutorial de cinco minutos. Aplicación: reglas de dominio en zonas semánticas. Coordinación: ciclo de vida del contrato y, cuando la zona lo pide, una prueba. Consenso: orden de compromisos en un DAG con comité de estilo BFT (linaje Mysticeti adaptado a firmas PQ — ver Investigación). Identidad: quién puede actuar, con qué credencial post-cuántica.
Hay software. Vive en un monorepo Rust con pruebas automáticas y diseño guiado por RFC. Debajo de estos párrafos hay cuatro extractos reales del código: ContractState (máquina de estados del acuerdo), ContractPhase (fases altas que agrupan estados), AgentIdentity (digest de código, operador, capacidades) y FinalityLevel (estados de finalidad en el DAG). Estado de los cuatro: código · sin endpoint de red pública.
ContractState no es un diagrama de marketing. Idle → Proposed → Negotiating → Committing → Committed → Executing → Executed → Anchored es el recorrido del objeto. ContractPhase agrupa ese recorrido en Negotiation → Commitment → Execution → Anchoring. Anchored es el ancla en QronGraph. Disputed y Aborted existen porque el diseño contempla falla, no solo el camino feliz.
Familias de software que el texto público puede nombrar sin inventar un servidor: tipos y contratos (p. ej. zeqron-contract-types); consenso / DAG (familia zeqron-consensus y QronGraph); identidad y ZAXON (DID/VC y AgentIdentity); cripto PQ alineada a FIPS 203/204/205; ejecución y pruebas de clase STARK en el diseño. Nombrar la familia no publica un RPC, un puerto ni un discovery.
No hay una red pública publicada a la que apuntar un cliente. Sin fase con nombre, sin dirección publicada y sin formato de cable estable en el texto público, un «hello world» contra la red sería ficción. Hoy el acto público es leer el diseño y, bajo las reglas del repositorio, el código.
FRI, Poseidon, tamaños de campo, techos de validadores e inventario crate por crate completo quedan en especificaciones internas. Copiarlos aquí publicaría el apéndice que el brief omite a propósito.
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.
Ciclo de vida del contrato
zeqron-contract-types · RFC-CONTRACT-001 §10.2
código · sin endpoint de red pública
pub enum ContractState {
Idle,
Proposed,
Negotiating,
Rejected,
Committing,
Committed,
Executing,
Executed,
Aborted,
Anchored, // onto QronGraph
Disputed,
}El acuerdo es una máquina de estados entre partes antes de ser una fila en un libro global. Anchored es el paso de orden — no una transferencia de token.
Fases del contrato (agrupación)
zeqron-contract-types · ContractPhase
código · agrupa ContractState · sin endpoint
pub enum ContractPhase {
Negotiation, // proposal & negotiation
Commitment, // commitment & proof exchange
Execution, // local execution
Anchoring, // global anchoring
Terminal, // aborted / disputed / done
}Las fases agrupan estados del enum. Útil para leer el ciclo sin inventar un puerto ni un wire.
Identidad de agente (extracto)
zeqron-zaxon · AgentIdentity
código · superficie de diseño ZAXON
pub struct AgentIdentity {
pub code_hash: [u8; 32], // digest of agent code
pub operator_did: String, // who is accountable
pub capabilities: Vec<String>, // declared bounds
// version, conformance, chain fields omitted here
}Cambiar el código cambia la identidad. Una dirección de billetera sola no describe este límite.
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
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.
Ciclo de vida · camino feliz
zeqron-contract-types · ContractState · código
- Proposed
- Negotiating
- Committing
- Committed
- Executing
- Executed
- Anchored
Fuera del camino
- Rejected
- Aborted
- Disputed
Anchored es orden en QronGraph, no una transferencia. Aborted / Disputed existen fuera del camino feliz.
Cómo leer los extractos
ContractState / ContractPhase
El contrato es una máquina de estados entre partes. ContractPhase agrupa Negotiation, Commitment, Execution y Anchoring. Ambos enums viven en zeqron-contract-types bajo RFC-CONTRACT-001. No son un RPC ni un schema de wire publicado.
AgentIdentity
code_hash + operator_did + capabilities es la superficie pública del concepto ZAXON. Cambiar el código cambia la identidad. Los campos de versión, conformidad y cadena que omitimos en el extracto existen en el crate; no hacen falta para entender el bound.
FinalityLevel
Included → FastFinal → OrderedFinal → Spendable → Settled son estados de claim sobre el DAG. Código de diseño de finalidad · sin medición de red pública · sin fila de TPS.
Familias, no endpoints
Si una diligencia pide «¿hay código?», la respuesta pública es: sí, por familias nombradas arriba, con pruebas en CI. Si pide «¿adónde conecto?», la respuesta pública es: todavía no hay fase publicada.
Qué haría falta para programar contra una red
Una fase publicada con fecha y alcance; una dirección o discovery; un formato estable de wire. Ninguno de los tres es parte de esta publicación. Los extractos prueban sustancia de código, no una red viva.
Qué no está en esta página
- Un endpoint, un explorador o un RPC público.
- Parámetros de circuito o familias de hash en detalle reproducible.
- Una guía de minutos hasta un resultado en «producción».
- El dump completo del grafo de crates o del master.