DOCS

Documentation

Technical references for ARCA and Arca Vision products: white paper, specifications, threat models, and integration guides.

ARCA white paper

Design Rationale, Threat Model, and Verification Methodology. 26 pages, Version 1.0. Request a copy by email.

Vault specification (v1)

Normative byte-level format for ARCA vault files: header, slots, regions, AAD invariants, and golden test vectors.

Threat model

Assets, adversaries, trust boundaries, attack surfaces, and honest limitations for ARCA v1. Canonical public write-up is the white paper.

Encryption flow

Key hierarchy and seal/open flow for the ARCA vault format.

Local-only proofs

Air-gap proofs for the published crates: no networking in arca-crypto or arca-core.

arca-core

Public repository for the vault format, cryptography, unlock/save semantics, and Shamir recovery. AGPL-3.0-only. The desktop shell, CLI, and licensing stay proprietary.

ARCA CLI

Named environments, arca inject, arca agent, arca ssh. App sockets (ctl.sock, agent.sock) ship with the macOS app first. Windows at launch is the vault plus inject.

ARCA security: spec & threat model

Honest limits, deniability, Shamir recovery, and links to the white paper, vault spec, and arca-core.

EULA & Software License Terms

License grant, restrictions, local-first disclaimers, and FAR/DFARS terms for the ARCA desktop binary.

Machine-readable site index

Structured index of this website for AI agents and automated discovery.

ARCA CORE

The vault format, cryptography, unlock/save semantics, and Shamir recovery are published in arca-core. The desktop shell, CLI, ssh-agent, and licensing remain proprietary.