Arcel builds post-quantum security infrastructure that meets FIPS 203/204 and CNSA 2.0 mandates today — and operates the world's only independent quantum hardware verifier above 40 qubits. No approximations. No roadmap promises. Deployed and verifiable.
Classical simulators break down at ~40 qubits. Above that, there has been no independent verification of quantum hardware — until now. qRoute computes exact observables up to 200 qubits with error_bound=None. Here's what we found.
Both verifications computed by qRoute — no truncation, no approximation, no classical simulator approximation artifacts. IBM Eagle's 3.88× discrepancy points to correlated errors, leakage, or measurement crosstalk not captured in their published noise model. Nobody else has had this view above d=3.
The standard validation method — comparing hardware output against a classical simulator — fails above ~40 qubits. Arcel is the only organization that can independently verify quantum hardware at real operating scales. We compute the exact ideal result, then measure precisely how far your hardware is from it.
error_bound=None on every output.All packages include full methodology documentation. Results are reproducible independently. Questions? contact@arcel.org
qRoute computes exact quantum observables up to 200 qubits — no truncation, no approximation. 18 published experiments spanning quantum foundations, error correction, drug discovery, and cryptography. The only tool of its kind above 40 qubits.
Neural Kernel embeds trained INT8 MLP models directly inside Linux kernel subsystems using eBPF — replacing handcrafted heuristics in the process scheduler, TCP congestion controller, and memory prefetcher with learned models that hot-swap at runtime.
Production-grade cryptographic primitives engineered to survive quantum adversaries. ML-KEM-768 + X25519 hybrid KEM, Noise protocol handshakes, ChaCha20-Poly1305 AEAD. Deployed in Seam — a secure UDP transport library available today.
11 composable tools for building autonomous AI agents that run safely, remember everything, and cost less to operate.
Core runtime — Docker sandbox + persistent memory. Every command runs in isolation; structured state survives /compact and session restarts.
Observability — traces every tool call, token cost, and latency via PostToolUse hook. Query call counts and latency across sessions.
Semantic memory — keyword search across all past agent runs. FTS5 BM25 ranking, tag filtering, persistent SQLite store.
Eval framework — YAML test cases run against any model. Catch regressions before they reach production agents.
Encrypted secrets — Fernet + PBKDF2 credential store. Inject API keys at runtime without exposing them in prompts or logs.
Parallelism — N tasks at 30s each still takes 30s total. Fan out work across threads with full result aggregation.
Cost enforcement — hard token and dollar limits. Prevent runaway agent spend before it hits your billing dashboard.
Policy enforcement — block dangerous tool calls before they execute via PreToolUse hook. Glob + regex rules, configurable YAML policy.
Web memory — fetch any URL, extract clean text, search cached content by keyword. Agents browse without burning context on HTML noise.
Data queries — load CSV/JSON into SQLite, query with SQL. No need to read entire files into context; get exactly the rows you need.
Workflows — YAML pipelines connecting all arcel tools. Steps reference each other with {{ step.output }} template syntax.
curl -fsSL https://install.arcel.org/arcel.sh | sh && python3 -m arcel --suite
— requires Docker
Built for adversarial environments. Every connection is post-quantum encrypted from byte one — resistant to harvest-now-decrypt-later attacks and compliant with CNSA 2.0 / NIST SP 800-52 Rev 2.
Post-quantum UDP transport with capabilities beyond any current military standard. The only network transport with fully quantum-resistant identity, per-epoch forward secrecy, and built-in traffic analysis resistance.
curl -fsSL https://install.arcel.org/seam.sh | sh
Production-grade reverse tunnel relay built for government and enterprise. Self-hosted alternative to ngrok/Cloudflare Tunnel with TLS 1.3 enforcement, structured audit logging, and full compliance instrumentation.
AI-first Linux kernel framework. INT8 MLP inference inside BPF programs replaces heuristics in sched_ext, TCP congestion control, and memory prefetch. Models hot-swap without a reboot.
Cryptographic photo provenance SDK. Embeds unforgeable drand beacon proofs at capture time — creating a tamper-evident, temporally anchored certificate of authenticity for any image.
Encrypted credential vault on any USB drive. Argon2id key derivation, XChaCha20-Poly1305 encryption, plausible deniability baked in. Passwords, TOTP seeds, SSH keys, and secure notes.
Arcel IP is commercialized through Vaua — our software development and government contracting entity. Enterprise products ship with SLAs, dedicated support, white-label options, and compliance documentation suitable for procurement.
Contact contact@arcel.org for pricing, NDAs, and procurement. All products are production-deployed — no beta caveats.
Managed post-quantum relay infrastructure. Run Seam tunnels without operating your own relay nodes — fully managed, globally distributed, monitored 24/7. API key auth, usage dashboard, per-tunnel analytics, and instant provisioning.
Production-grade cryptographic photo provenance for media organizations, law enforcement, intelligence agencies, and legal evidence workflows. Embeds unforgeable drand beacon proofs at capture — chain-of-custody for every image from shutter to courtroom.
Vaua — our contracting entity — builds bespoke software for government agencies and enterprise clients. Full-cycle delivery from proposal through ATO. Cleared personnel available. No templates, no shortcuts.
Post-quantum security infrastructure that meets NIST, FIPS, and CNSA 2.0 mandates — available today.
Seam and Seamless are production-ready and ship with the compliance controls DoD, civilian agencies, and defense contractors need. No roadmap promises — the capabilities below are implemented and verifiable in the open-source codebase.
ML-KEM-768 (FIPS 203), ML-DSA-65 (FIPS 204), and AES-256-GCM (FIPS 197) are the default cryptographic primitives — not optional modules bolted on after the fact.
--fips-mode enforces approved algorithms onlyA single flag restricts the runtime to FIPS-approved primitives exclusively. Non-compliant negotiation paths are rejected at startup. Startup banner cites FIPS 197/203/204/180-4.
Every command generates an O_APPEND JSONL audit record. Midnight log rotation, SIEM webhook forwarding, and 11+ structured event types. Designed to satisfy NIST SP 800-53 AU-2 and AU-12 controls.
The admin interface enforces mutual TLS with configurable client certificate authority verification — ready for CAC/PIV smart card authentication workflows used across DoD environments.
Fixed-size packet padding, cover traffic generation, timing jitter, and protocol obfuscation are built into the transport layer. Passive observers cannot distinguish session activity from noise.
Sessions run simultaneously across multiple network paths. An adversary must jam every path concurrently to disrupt communications. Reed-Solomon FEC is configurable for satellite and HF radio links.
Per-epoch key derivation via double ratchet ensures that compromise of a current session key exposes no past traffic. Session history is not recoverable even with full key material from a later session.
First-use fingerprints are stored in a known_hosts file backed by quantum-resistant ML-DSA-65 signatures. Subsequent connections reject any host presenting a different identity — man-in-the-middle is cryptographically impossible.
seam forward --via enables multi-hop relay across network segments. Operators can establish connectivity through isolated enclaves without direct routing — all hops remain end-to-end post-quantum encrypted.
Government procurement, partnerships, and SBIR inquiries welcome. Reach out directly — no sales funnel, no form.
Whether you're building quantum hardware, running enterprise quantum programs, or conducting investor due diligence — this is the only independent verification that works at real scale.