Atlas · Security & circuit privacy

Your circuit, exactly where it goes.

The triage engine is open-source (Apache 2.0) and runs 100% locally — run it on your own machine and your circuit never leaves your environment. On this hosted web, your circuit is sent to the Atlas server to compute the verdict (and the optional chat additionally calls an external API). Nothing is stored or used to train, and the triage path 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 (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 Your 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.

4 What's true today vs roadmap

Available today

  • Fully local execution available (open-source engine + UI) — run it yourself for zero 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 open engine, benchmark corpus & reproduce scripts are yours to audit (the research arsenal + confidence model stay proprietary)

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 → Adversarial audit