EncrypiaBrief companion v0.1Septiembre 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 dos extractos reales del código: ContractState (máquina de estados del acuerdo) y AgentIdentity (digest de código, operador, capacidades). Estado de ambos: 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. 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.1 §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.
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.
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
El contrato es una máquina de estados entre partes. Negotiation, Commitment, Execution y Anchoring son las fases altas. El enum vive en zeqron-contract-types bajo RFC-CONTRACT-001. No es 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.
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.