COSRYX · a DCS Labs space research initiativeEnter the COSRYX website →
DCS Labs · Programme 02 · Space

Missions that can prove what happened.

COSRYX builds verifiable mission intelligence for space: every command, decision and health record a spacecraft or rover produces becomes evidence a third party can check later.

Trust layerR-Series receipts
Foundation gatesG0 + G1 complete
StatusSimulation-validated
01 The problem

Missions go silent, and too often nobody can say why.

Too far to steer

A message to Mars takes 3 to 22 minutes one way, and the same back. Ground control cannot drive a rover in real time.

Contact is lost for months

A rover behind the Sun or in a dust storm can be out of reach for weeks or months. Its record of that time has to survive, intact.

Failure without a story

When a lander stops, the evidence of what failed is usually on board, out of reach, or never recorded at all.

02 What COSRYX does

Three ideas, one evidence trail.

Built · simulation-validated

Mars without round trips

The mission plan and the allowed actions travel once, as signed intents. The rover acts on its own inside those bounds, and every decision is receipted so Earth can check later what was done and why.

Simulation-validated

Store, seal, forward

During a long blackout the rover keeps recording, every entry sealed and chained. When contact returns it forwards the backlog through a relay orbiter. A missing entry or a quiet change is detected when the chain is checked.

In development

Health heartbeat

Every few minutes the vehicle sends a signed health record of its main subsystems. Engineers see a part degrade before the mission stops, and can shed load, reassign work or push a signed update.

03 Built on the R-Series engine

Every mission record is a receipt.

Each COSRYX product issues R-Series receipts: hybrid Ed25519 and ML-DSA-65 signatures, hash-chained, checkable offline by anyone with the public keys. The same engine that proves what an AI agent did proves what a spacecraft did.

692product tests across the COSRYX product setproduct tests
410integrated tests passing at the foundation gatesG0 + G1 · integrated tests
677checks in the internal security freeze (RC3)RC3 security-gate checks
100 / 100lunar mission-study scenarios in simulationsimulated
04 Three sites

COSRYX has its own home.

05 Honest status

Where COSRYX stands.

The foundation gates (G0 and G1) are complete. External audit, radiation, hardware-in-the-loop and in-orbit gates (G2 to G7) are pending. The post-quantum leg currently uses size-conformant ground stand-ins. Internal security freeze (RC3) complete · External audit not completed · No flight qualification claimed · No launch contract is signed.