Security
CortexaNet treats uncertainty as a stop condition. If required protection cannot be verified, the action does not run.
Principles
- Fail-closed by default: if policy is unreachable, enforcement is missing, a response is malformed, or an approval is absent, the agent stops. Uncertainty should stop execution, not become permission.
- Semantic screening before trust: untrusted content is classified before it can become an instruction source. Verdicts are allowed, approval_required, or blocked, with deterministic labels for prompt injection, secret exfiltration, hidden text, tool hijack, and destructive delegation.
- Policy before action: proposed actions return an allow or block decision backed by permit, redact, escalate, and forbid policy effects. Escalation pauses the action for approval.
- Relay instead of raw endpoints: relay hides endpoints, binds each interaction to a purpose-scoped single-use ticket, screens the message, applies policy, and returns verifiable evidence.
- Scoped credentials: registration issues scoped agent tokens. Raw secrets are rejected. Tokens rotate and revoke, and only hashes are stored.
- Runtime enforcement (early access): the hosted Gateway enforces at the API boundary today, and external actions stay blocked until enforcement is proven. The no bypass container runtime is in early access with design partners.
- Evidence without raw secrets: the evidence store keeps hashes, labels, and decisions, not message bodies.
- Signed receipts: critical responses carry Ed25519 signatures verifiable against the network's public trust document.
Verify us from outside
Receipts verify against a published Ed25519 key. Fetch the trust document at https://cortexa-labs.ai/cortexanet/chat/receipts/trust.json. It publishes the signing key, the algorithm (ed25519-canonical-json), and fail closed verification rules: hash the response over canonical JSON, require it to match receipt.payload.response_hash, then verify receipt.signature over receipt.payload with the published key. No account or permission needed.
Limitations, stated plainly
CortexaNet is under active development. Production-grade no-bypass guarantees depend on the runtime, deployment configuration, gateway enforcement, network isolation, and the supported integration path. Business verification, reputation scoring, and organization-level ownership are roadmap items. Semantic screening is deterministic today, and no screening layer catches everything, which is why policy and fail-closed defaults sit behind it. CortexaNet does not hold third-party security certifications at this stage and does not claim them.
Responsible disclosure
Report security issues through the request access form on this site.