Astrea Tech / Networking
The manifold's transport

Secure paths for
shared history

Proofs are only as reachable as the network that carries them. Astrea gives validators authenticated sessions, separate traffic lanes, replay protection, and explicit resource limits — the network moves proposals and evidence, while consensus alone decides what becomes authoritative.

01 · establish the peer

A session begins with identity

SESSION MODEL

A validator connection works like a secure workroom with a checked guest list. Both sides establish who they are, which network epoch they belong to, and which keys protect the session before protocol traffic enters.

A validator identity is admitted under the current committee and epoch rules. The handshake binds that identity to the negotiated session, derives fresh traffic keys, and records the limits both peers must follow. A packet from an authenticated connection still has to pass frame, replay, epoch, and protocol validation.

Astrea carries a classical and a post-quantum companion through each applicable network boundary, with different primitives doing different jobs. X25519 and ML-KEM-768 establish the two halves of a hybrid secret for validator sessions, PRISM onion hops, and Dandelion# stem layers. Each side of a validator handshake authenticates its transcript-bound message with secp256k1 Schnorr and ML-DSA-65. PRISM frames instead use secp256k1 ECDSA and ML-DSA-65 over the same canonical frame bytes. Both companions are mandatory and are combined or verified as appropriate; the post-quantum side is not an optional fallback. In Dandelion#, the hybrid secret protects the forwarding layer; the canonical transaction is meant to become public when diffusion broadens.

For validator sessions, those fresh combined secrets produce directional traffic keys. Retiring old session keys provides forward secrecy across sessions: a later key compromise does not automatically unlock earlier captured traffic. An attacker controlling an endpoint can still see the data and keys available during that compromise, so endpoint security remains its own boundary.

Establish the secret X25519 + ML-KEM-768

X25519 supplies the classical key-agreement half; ML-KEM-768 supplies the post-quantum half. Astrea binds both into validator-session, PRISM onion-hop, and Dandelion# stem-layer secrets.

Authenticate the message Schnorr / ECDSA + ML-DSA-65

Validator handshakes pair secp256k1 Schnorr with ML-DSA-65 on a transcript-bound message. PRISM frames pair secp256k1 ECDSA with ML-DSA-65 on the same canonical frame bytes. A missing or invalid required companion rejects the applicable handshake message/session or PRISM frame.

01

Admit

Check the peer identity and its authority for the current epoch.

02

Combine

Require both signature companions over each transcript-bound handshake message.

03

Derive

Create fresh directional keys for authenticated encryption.

04

Separate

Move traffic through lanes with their own budgets and rules.

AUTHENTICATED SESSION · FRESH KEYS · BOUNDED LANES
identity → controlled traffic
SESSION ESTABLISHMENT IDENTITY, EPOCH, TRANSCRIPT, PROFILE Admitted peer validator identity COMMITTEE + EPOCH Hybrid handshake X25519 + ML-KEM-768 Schnorr + ML-DSA-65 BOTH COMPANIONS REQUIRED Fresh traffic keys send → receive DIRECTIONAL + SESSION-BOUND SESSION 41 · KEY RETIRED SESSION 42 · FRESH KEY LANE-AWARE DELIVERY EACH LANE HAS ITS OWN BUDGET Lane router class + direction FRAME · REPLAY · EPOCH Consensus lane PROPOSALS · VOTES · COMMIT EVIDENCE Repair lane BOUNDED REQUESTS · DEDUPLICATION Data lane CHUNK LIMITS · QUEUE BUDGET Backpressure policy admit · defer · reject with reason
The session binds an admitted peer and epoch to hybrid key establishment and dual transcript authentication, then derives fresh directional keys. Lane budgets and backpressure limit accepted work; they do not hide endpoint, timing, size, or traffic-shape metadata.
Security profile

Astrea is engineered for 160-bit post-quantum security in its primary profile, and no supported profile falls below an absolute 128-bit post-quantum floor. That posture is conditional on the declared constructions, parameters, assumptions, implementation, and deployment boundary. Network metadata, endpoint security, and surrounding software remain separately scoped.

02 · keep traffic in its lane

Urgent work keeps a clear path

Votes and repair requests use queues separate from large transfers. Astrea divides traffic by purpose, then applies limits where contention actually occurs.

Consensus

Time-sensitive proposals, votes, and commit evidence use the validator path with the strictest admission policy.

bounded frames · current epoch · direct peer
Repair

Missing parents and bounded catch-up data can be requested without turning repair into authority.

request budget · deduplication · replay state
Data

Larger authenticated bodies and proof material travel outside the consensus hot path under separate limits.

chunk limits · queue budget · backpressure
Backpressure

A full bounded queue slows or rejects new work before it can consume every buffer.

admit · defer · reject with a visible reason

Backpressure means a receiver slows or rejects new work when a bounded queue is full. Per-peer, per-lane, and per-frame limits keep one source from consuming every buffer. These controls contain resource pressure and make overload behavior predictable. A public node can still face a flood; admission and backpressure bound the work it accepts.

The private edge has lanes of its own. PRISM carries an agent's privacy-sensitive traffic on a route separate from the authenticated validator and core lanes, and that route does not depend on which chain the traffic concerns: a shielded deposit bound for the bridge, an action bound for an Ethereum venue, and a withdrawal bound for Zcash travel the same shaped lanes, with cover traffic, size classes, and release jitter applied to each. The privacy page states what that route reduces and what it leaves visible.

03 · delivery and authority

Every object earns acceptance

Authentication identifies who sent the bytes. Consensus validation determines whether those bytes may affect authoritative history. Astrea gives each decision its own boundary.

Open the authenticated frame

The receiver checks the session, traffic direction, sequence state, size, and authentication tag.

Decode one canonical object

Canonical encoding prevents two byte representations from quietly meaning the same protocol object.

Apply protocol validation

The node checks epoch, authorship, parents, signatures, and the rules for that object type.

Accept or stage

A valid object is durably accepted when its requirements are present. An object with a missing parent can wait in a bounded staging path while repair runs.

DELIVERY BOUNDARY

A compromised courier can deliver a forged document. Official status still comes from the authority check. Astrea treats the network as the courier and the consensus rules as that check.

04 · recover without changing truth

Repair returns a node to the decided history

A recovering node uses bounded retry, deduplication, missing-parent repair, and checkpoint-based catch-up to retrieve the evidence it needs after a disconnect or restart. Replaying a valid object cannot give it a second vote, and repairing an old parent cannot rewrite the committed prefix.

Gap

Notice a parent is missing

The object waits in bounded staging instead of entering accepted history.

Request

Ask through repair

A dedicated lane retrieves the named dependency under its own budget.

Validate

Check the returned object

Authentication and protocol rules still decide whether the parent is accepted.

Catch up

Resume from known history

The node advances from its checkpoint without rewriting the committed prefix.

MISSING-PARENT REPAIR · VALIDATION · CATCH-UP
delivery never grants authority
BOUNDED REPAIR PATH CANDIDATE BYTES MUST STILL EARN ACCEPTANCE Child arrives names parent P TRANSPORT DELIVERY Bounded staging parent P is missing NOT ACCEPTED HISTORY Repair request ask for parent P BUDGET · DEDUP · RETRY Candidate parent returned on the repair lane DELIVERY ≠ ACCEPTANCE Validation gate session + canonical object epoch + signature + parent rules ACCEPT OR REJECT THE PARENT Parent accepted dependency now present DURABLE OBJECT Recheck child all rules run again ACCEPT OR KEEP STAGED KNOWN CHECKPOINT + VERIFIED EVIDENCE → CATCH UP WITHOUT REWRITING THE COMMITTED PREFIX
Repair supplies candidate dependencies, not truth. Every returned object passes the ordinary acceptance rules before it can unblock staged work, and checkpoint catch-up extends from already decided history.

Operators can observe queue pressure, rejected frames, reconnects, and repair demand without placing those measurements inside consensus. This keeps operational insight useful and keeps monitoring systems from becoming a source of truth.

Network privacy boundary

Encrypted transport protects content on the connection. Peers and network observers can still learn facts from endpoints, timing, size, and traffic shape. The privacy guide explains those metadata boundaries and the separate routing layer.

Continue to privacy →