Skip to content
DCSAITechnologies
Talk to us
Research · DCS Labs

The proof layer for
machines that act on their own.

DCS Labs is the research lab of DCS AI Technologies India Private Limited and DCS AI Technologies LLC. Signed, hash-chained receipts for autonomous systems, designed to be verified offline — and every result labelled with the evidence behind it.

Visit dcslabs.aiR-Series
  • RC4R-Series release candidate — staging, under audit, no certification held yet
  • 10,463R-Series tests passed, 0 failed · internal run, 20 Oct 2026
  • 215 / 215deliberate defects caught by mutation testing
  • G0 + G1COSRYX foundation gates complete — not flight-qualified

Every figure here matches dcslabs.ai, with what it counts named.

Programmes

Active research programmes

Each programme has its own site under dcslabs.ai or its own domain. The pages here summarise them and link out.

Focus areas

What we work on

  • Post-quantum cryptography

    Hybrid Ed25519 + ML-DSA-65 signatures, and moving live estates off classical keys without breaking the evidence they already produced.

  • Verifiable AI agents

    The smallest record that lets anyone check, later and offline, what an agent did and under which rule — with human gates for money and autonomy.

  • Space trust

    Provable commands and mission evidence for spacecraft that fly for twenty years and lose contact every orbit — COSRYX and COSRYX · ORBIT.

  • Critical infrastructure

    Post-quantum migration for plants, grids and device fleets, with evidence at every step.

  • Long-horizon evidence

    Records that stay verifiable for decades, after the algorithms that signed them are retired.

  • How we prove it

    Two AI model families review every candidate, mutation testing checks the tests, and three verifiers in three languages must agree.

Honest status

Where each programme stands

Four words, the same as on dcslabs.ai. Built means built and tested. Simulated means it runs and is checked, but not yet in its real environment. In development means work in progress. Planned means exactly that. We do not round up.

Built

  • R-Series — release candidate 4 tagged and signed, running on staging, not in production. Certifier review in progress.
  • Verification of receipts from Website Maker — in production.
  • IoT / OT — the R-Series backbone and migration evidence.

Simulated

  • COSRYX — mission recorder, relay protocol and PQ-agility, validated in simulation. Foundation gates G0 and G1 complete.
  • COSRYX · ORBIT — ground trust layer, autonomy and quorum. Stage 3 flight software founder-approved; orbital test planned.

In development

  • Public-chain anchoring for the current R-Series release; ML-DSA-87 defence profile
  • IoT / OT gateway agent, OT adapters, firmware signing and test bench
  • COSRYX gates G2–G7 — external audit, radiation, hardware-in-the-loop and in-orbit

Planned

  • Drone track — secure command links, signed decisions and a verifiable black box
  • COSRYX's own 6U CubeSat, after radiation testing and subject to funding and licensing

Not claimed

  • No independent certification is held for R-Series yet.
  • COSRYX is not flight-qualified, not radiation-tested and not externally audited; its post-quantum leg uses size-conformant ground stand-ins. No launch contract is signed.

Work with DCS Labs.

Architecture, live demonstrations and detailed status are shared in a private technical briefing, under NDA.

Contact researchRequest a briefing