Your IP, protected
Customer RTL never leaves your infrastructure unless you choose to share it.
Local-only mode
--local-only disables all trace upload and telemetry. Your designs stay on your machine.
Air-gapped operation
KAIROS_OFFLINE=1 disables LLM network preflight. Pair with a local backend for air-gapped verification workflows.
No training
Customer code and designs are never used to train or fine-tune models. Your IP is not our training data.
Verification honesty
Kairos never overstates what it has verified.
- Per-property verdicts report PROVED, REFUTED, or INCONCLUSIVE. Inconclusive results stay inconclusive.
- Statistical testing is never labeled as formal proof. Certificate labels disclose the verification method.
- Every certificate records its measurement conditions (tool versions, synthesis recipe) for reproducibility.
- Accepted optimizations require formal equivalence proof and measured area reduction. No exceptions.
Security architecture
- License verification via GPG signature validation. Forged licenses are rejected.
- Certificate generation is structurally isolated from LLM-influenced code paths.
- Prompt-injection checks on model-facing customer text paths.
- File-accepting integration paths enforce containment and reject traversal.
- Compiled distribution: strategy-rich modules ship as compiled binaries, not readable source.
Data handling
- Trace data upload is optional and disabled with
--local-only or KAIROS_NO_TRACE=1.
- Certificates are generated locally and include artifact hashes and provenance.
- Private Docker images are provisioned during enterprise onboarding, with deployment controls documented for each customer environment.
- All API keys and tokens stored in customer-controlled infrastructure.
Enterprise licensing
Kairos is available under commercial license for enterprise hardware verification teams. Evaluation access is issued during onboarding.
- Base SDK (verify, doctor, setup) is available via
pip install athanor-sdk.
- Optimization and advanced features require a valid enterprise license.
kairos doctor reports whether a license is missing, expired, or ready.