Atlas · Security & circuit privacy

Your circuit stays on your machine.

The triage tool is 100% local — your circuit never has to leave your environment to be routed. The only thing that can go out is the optional chat layer, which calls an API; and the triage path itself is hardened so a hostile circuit can degrade the service but not hang it.

Atlas (Krenn·IQ) · this page states the security posture; it does not certify compliance. Terms for any hosted/managed deployment are agreed per engagement.

1 What stays vs what can leave

Stays on your machine

  • Your circuit (QASM / Qiskit) — parsed and routed in-process
  • The verdict, the per-estimator ledger, the certificate
  • The full local engine (Stim / quimb / cotengra / statevector) — Apache 2.0, runs with no quota
  • In Full / Local mode: nothing is transmitted at all

Can leave (only if you opt in)

  • The optional chat / natural-language interpretation — this and only this calls an API (metered Claude tokens)
  • On the hosted web tier: the payload you submit to the hosted endpoint
  • Nothing is stored to train a model, and processing is ephemeral
The one-line rule.

The tool is local; only the optional chat uses the API. If you never use the chat and run Full / Local, your circuit and your verdict never leave your environment. The hosted web tier is for trying and light use; sensitive circuits belong on the local engine or a per-pilot isolated endpoint.

Source: VALUE_PROP / pricing model (Full·Local = on your hardware, no throttle); CLAIMS C10 ("we do not store or use your circuits to train") backed by ephemeral processing with no persistence. Do not paste confidential circuits into the public demo — use Full / Local or an isolated pilot endpoint.

2 Hardened triage — DoS resistance

A circuit is untrusted input. The triage path is built so a crafted dense circuit can slow a worker down but cannot hang the service.

An adversarial red-team found a real triage-DoS: the cost routine could go compute-bound and hang on a dense circuit instead of degrading. The fix is a per-circuit wall-clock timeout that degrades, not hangscost_atlas_guarded (fork+kill). On the hard-regime slice: 8 resolved / 2 compute-bound / 0 hangs. The adversarial battery is a permanent regression with 0 false-security across its rounds (self-designed, ~8 vectors / 2 rounds — stated exactly).

Honest trade-off.

On the threaded web tier, fork-after-threads is unsafe — so the guarded fork+kill path runs in batch/CLI and the web tier keeps a conservative n-cap instead. That is a declared engineering trade-off, not a silent gap.

Source: benchmarks/adversarial_attack.py (regression) + handler in webui.py (killable delegation); CLAIMS C3/C4; AUDIT_BACKLOG P1-7 (atlas_timeout.cost_atlas_guarded). Full write-up on the Audit page §4.

3 Buyer questions, answered straight

Is my circuit used to train a model?

No. The triage path is deterministic and has no model and no training step — the same circuit always yields the same verdict. The optional chat layer calls an API for interpretation only; nothing is retained to train on.

Does my circuit leave my environment?

Not in Full / Local mode — routing is in-process and nothing is transmitted. The only exception is the optional chat (API call) and the hosted web tier (where you choose to submit a payload). Run locally and your circuit stays put.

Can I run it air-gapped / on confidential circuits?

Yes. The full engine is open (Apache 2.0) and runs entirely on your own hardware with no quota and no egress. Pilots can begin on synthetic circuits or your redacted payloads.

What about the hosted web tier?

It is for trying and light use, with a daily quota and ephemeral processing — no persistence and no training. For sensitive material, use Full / Local or a per-pilot isolated endpoint, not the public demo.

What about logging?

The local engine writes no telemetry of your circuit. Hosted logs are operational only and configurable per deployment; no circuit content is required to be retained.

Who can buy a favourable verdict?

No one. The independence of the verdict is never for sale — whoever submits a circuit can never pay for a favourable certificate. That is a product principle, stated on the Pricing page.

4 What's true today vs roadmap

Available today

  • Fully local execution (engine + UI) — no circuit egress
  • Deterministic triage path; no model, no training on your circuit
  • Signed, hash-stamped certificates (SHA-256 content hash)
  • DoS-guarded triage (cost_atlas_guarded, batch/CLI)
  • Ephemeral hosted processing; optional (not default) chat API
  • Apache 2.0 — the code is yours to audit

Roadmap / per-pilot

  • SOC 2 / ISO 27001 — not yet certified
  • DPA & subprocessor list — defined per pilot
  • Tenant isolation & encryption-at-rest SLAs (hosted)
  • Formal data-retention & export-control terms
  • On-prem managed deployment with an SLA
  • Guarded fork+kill on the threaded web tier (today: n-cap)
Honest scope.

Atlas does not certify compliance, provide legal advice, or guarantee a security posture beyond what is stated here. It is a research-grade triage engine with a hardened, local-first design; formal security terms for any hosted or managed deployment are agreed per engagement. SOC 2 / ISO are roadmap, not claims.

Open Atlas → Run a pilot Adversarial audit