SEC_00 / 22↑ ↓ to navigate
HUDSON ALPHA AI CONSORTIUM · SEED BRIEFING

VAULTEX

Privacy is not a feature. It's a right.

Zero-knowledge encrypted messaging that keeps working when the network doesn't — one audited Rust crypto core, five native apps, and a server that can't read a thing.

windows · macos · linux · ios · android — shipped at v0.16, audit-track next

scroll
SEC_01 WHY THIS EXISTS

Today's messengers trade your privacy for convenience

Even the "secure" ones leak more than they admit. Seven ways the incumbents fall short — and the reason VAULTEX was built to close each one.

01

Metadata collectionServers know who talks to whom, when, and how often.

02

Phone number requirementsLinks your real-world identity to every message.

03

Server-side contact listsYour social graph is stored and analyzable.

04

Centralized trustYou must trust the provider not to read your messages.

05

Backdoor pressureProviders face legal compulsion to comply, quietly.

06

Closed-source cryptoYou can't verify the encryption actually works.

07

IP address loggingYour location is tracked with every connection.

SEC_02 THE APPROACH

Four guarantees, enforced by math, not policy

01 / server

Zero-Knowledge Server

Stores only encrypted blobs. Cannot read messages, see contacts, or identify users.

02 / identity

Sovereign Identity

No phone number or email. Purely cryptographic identity. You control your keys.

03 / routing

Sealed Sender

Server cannot determine who sent any message. Social graph is invisible.

04 / code

Open & Auditable

The crypto crate is public today. No proprietary black boxes in the crypto path. github.com/VaultexCoder/vaultex →

vs. Signal — no phone number neededvs. WhatsApp — truly zero-knowledgevs. Telegram — real E2E by default
SEC_03 TIMING

Why now

01 · trust

Centralized trust is breaking down

Backdoor mandates and metadata subpoenas are now routine policy fights. Buyers in public safety, healthcare, and legal want communications they can audit, not promises they have to believe.

02 · resilience

Off-grid stopped being niche

Disaster response and field operations need messaging that survives the network going down. Mesh relay and BLE on commodity phones are finally practical — and VAULTEX already ships them.

03 · economics

AI-native engineering changed the math

A five-platform product with audited cryptography used to need a large team. VAULTEX was built by one founder with AI agents under a security-gated process. That window is open now, and it won't stay open.

SEC_04 WHO'S BUILDING THIS

One founder, 25 years on classified networks

VAULTEX was built end to end by a single engineer, paired with AI coding agents under a security-gated process — and that engineer has spent a career building communications that had to hold up under adversaries, auditors, and accreditation.

Founder · sole developer

RF Engineering SME — DoD software & hardware

25+ years developing systems that run on classified networks: communications, satellite RF, electronic warfare, PNT, radar, hypersonics, and missile defense.

20
years developing Air and Missile Defense Simulations
5
years building RF payloads for SMDC and the Space Development Agency
communicationssatellite RFEWPNTradarhypersonicsmissile defensecross-domain solutionsCMMI L4 hybrid agile
crypto, in practice

NSA-approved encryption tooling; SIPRNet and NIPRNet transport. Designed satellite and ground-control systems on a bifurcated architecture — classified and unclassified pathways, cross-domain solutions, encrypted tunnels. Zero-knowledge isn't a slogan here; it's the operating assumption the founder has built under for decades.

why off-grid is real

An RF engineer built the radio side. LAN, Bluetooth LE, WiFi Direct, and mesh relay weren't bolted on by a web team — they were designed by someone who ships satellite and RF payloads for a living.

why the process holds

The security gate you'll see below is CMMI Level 4 discipline, scaled to a startup. The founder implemented the most critical components of a CMMI L4 hybrid-agile process on DoD programs using AI agentic workflows — the same decision-record → independent review → field-verification loop now runs VAULTEX.

what it means for the audit

Someone who has been through accreditation knows what auditors ask for first. That's why the ICD, the ADRs, and the triaged gap list already exist — they're the artifacts an engagement starts with, not what gets written after.

SEC_05 SYSTEM ARCHITECTURE

One cryptographic core, five native clients

Desktop, mobile, and server all speak the same wire protocol — because they all run the same Rust crypto core.

Client Apps — 5 Platforms

  • Desktop: Tauri 2.x + React 18 (Windows, macOS, Linux)
  • Android: Kotlin + Jetpack Compose
  • iOS: Swift + SwiftUI
  • Shared Rust core via FFI

Server

  • Rust / Axum / Tokio
  • WebSocket relay + REST API
  • Ed25519 auth middleware
  • Rate limiting

Storage

  • PostgreSQL 16
  • Redis 7
  • Encrypted blobs only
Cryptographic Foundation (libsodium) — Ed25519 · X25519 · X3DH · Double Ratchet · XChaCha20-Poly1305 · Sealed Sender · HKDF · Argon2id
Transport Layer — Server Relay · Tor SOCKS5 · LocalNet (VXIDv2 dual-port) · Bluetooth LE · WiFi Direct · Mesh Relay · WAN P2P

Interfaces between all 5 platforms × 5 operating modes are formally specified in the Interface Control Document — see SEC_13.

SEC_06 NO HOMEBREW CRYPTO

Every primitive is audited libsodium

PrimitivePurposeSecurity benefit
X3DHSignal-spec session establishmentForward secrecy from first message
Double RatchetPer-message key derivationPost-compromise security
XChaCha20-Poly1305Authenticated encryption (AEAD)192-bit nonces, no reuse risk
Ed25519Identity + request signingSovereign cryptographic identity
Sealed SenderAnonymous authenticated encryptionServer can't identify sender
Argon2idPassword / PIN hashing + KDFMemory-hard brute-force protection
HKDF-SHA256Key derivation from DH outputsSecure key expansion
SEC_07 SEE IT WORK

Watch a message get encrypted, not just hear about it

A
Alice
verified · 5fa3 0c9e 71d2 b840
view wire format
relay log · what the server seesrelay.vaultexchat.org

A timed walkthrough of the VAULTEX chat screen, with the relay's own view underneath. The point isn't the bubbles — it's the log.

  • 01Session. Alice and you already share an X3DH-established Double Ratchet session. Every message gets a fresh key.
  • 02Seal. Your reply is encrypted, then wrapped in a sealed-sender envelope. The relay sees a size, a delivery token, and nothing else.
  • 03Receipts. Delivered and read receipts are themselves sealed — the server can't learn who read what.
  • 04Wire view. Flip view wire format to swap your message for the literal ciphertext that crossed the network.

Simulation for this briefing — same screens, same envelope shape, scripted timing. The real app, real relay, real crypto: vaultexchat.org →

SEC_08 PROOF OF EXECUTION

Shipped, not slideware

Every release below is a tagged build with installers on GitHub Releases, auto-served from the website. The cadence is the signal.

v0.9
Desktop installers — Windows NSIS, Linux .deb, macOS .dmg
shipped
v0.11
E2E voice calling — WebRTC with sealed SDP/ICE, Windows↔Android verified
shipped
v0.16
Off-grid mesh relay — signed SOS/discovery beacon, iOS + Android, debug APK + 3 desktop installers
shipped
next
LAN/WAN P2P hardening — VXIDv2 handshake, dual-port transport, ADR-0010/11, the ICD
in security review

Releases are cut from GitFlow main, built locally per platform, published to GitLab and the public GitHub mirror in the same step.

SEC_09 WHAT'S IN THE APP

Rich messaging, locked down by default

Every feature below operates on end-to-end encrypted data. The server never sees plaintext.

Messaging

  • Read receipts & typing indicators
  • Emoji reactions
  • Message editing (5 min window)
  • Self-destruct (30s–24h)
  • FTS5 full-text search, local only
  • Group messaging + member mgmt
  • Encrypted media attachments

Device Security

  • Argon2id PIN, 64 MiB / 3 iter / 4 lanes
  • Duress PIN — silent full wipe
  • Configurable auto-lock (1 min–1 hr)
  • SQLCipher encrypted storage
  • Key material zeroed after use
  • Constant-time PIN comparison

Controls

  • Safety number verification
  • Automatic key rotation
  • Server URL configuration
  • DND schedule + per-chat mute
  • Block contacts, silently dropped
  • Encrypted export / import
SEC_10 VOICE & VIDEO

Calling, encrypted the same way messages are

◉

E2E Voice Calls

WebRTC signaling over an encrypted WebSocket. SDP and ICE candidates encrypted end-to-end — the server relays without inspecting. Offer → Ring → Connect state machine, missed-call history, mute/speaker controls.

▣

Video + Screen Sharing

HD 1080p calling with screen share, built on the same signaling path as voice. Windows and Android hardware-verified end to end; Linux media blocked on WebKitGTK and tracked as a known gap.

SEC_11 NO REIMPLEMENTATION, NO DRIFT

Five platforms, one cryptographic core

The same audited crypto runs everywhere — proven by cross-platform field testing on real devices, not just unit tests.

vaultex-crypto (Rust)
Ed25519 · X25519 · X3DH · Double Ratchet · XChaCha20-Poly1305
Windows
via Tauri
macOS
via Tauri
Linux
via Tauri
Android
via JNI
iOS
via C-ABI bridge
SEC_12 WHEN THERE'S NO NETWORK TO TRUST

Off-grid messaging, field-verified

Built for disaster response, press freedom, and conflict zones — contexts with no trusted network at all.

Server Relay

Default online transport. WebSocket + HTTP fallback.

Tor Hidden Service

SOCKS5 proxy through Tor. IP-level anonymity.

Local Network

VXIDv2-authenticated dual-port handshake. Windows↔Linux↔Android field-verified over a real router, zero server involvement.

Bluetooth LE

Direct device pairing — byte-exact verified iPhone↔Android.

WiFi Direct

Peer-to-peer, no router needed. Android today; iOS equivalent tracked.

Mesh Relay

Store-and-forward, multi-hop. Signed SOS/discovery beacon for disaster relief — shipped in v0.16.0.

SEC_13 ENGINEERING RIGOR AT SCALE

Interface Control Document

Every platform, every mode, formally specified — not assumed. 14 tracked interop gaps, triaged by severity, visible to us before they're ever visible to an auditor.

Mode \ PlatformWindowsmacOSLinuxAndroidiOS
Server Relay✓✓✓✓✓
LocalNet (LAN)✓✓✓✓✓
WAN P2P✓✓✓○○
WiFi Direct○○○✓○
Bluetooth LE○○○✓✓
✓ verified✓ accepted trade-off○ open / tracked
SEC_14 FEATURE SET & STACK

Complete feature set

  • Encrypted chat export/import (AES-256-GCM + Argon2id)
  • Archive, unarchive, block (silently dropped)
  • Group messaging with member management
  • Unread badges, delivery status, mute schedules
  • Air-gapped LAN pairing via Connect-by-IP (VXIDv2)
  • Off-grid mesh relay with signed SOS beacon
  • Cross-platform voice & video (Win + Android verified)

Technology stack

  • RustCrypto, server, desktop backend
  • React + TauriDesktop UI shell, Win/macOS/Linux
  • Kotlin + ComposeAndroid native UI, Room DB
  • Swift + SwiftUIiOS native UI
  • Axum + TokioAsync Rust server framework
  • PostgreSQL + RedisEncrypted blobs, session cache

Hundreds of automated tests across Rust, Kotlin, Swift & TypeScript — incl. Signal-spec vectors + adversarial security tests.

SEC_15 PROCESS

How we built this: AI-native engineering

One founder, paired with AI coding agents, shipping safety-critical cryptography across five platforms — running a CMMI Level 4 hybrid-agile discipline at startup scale. What follows is as much a case study in AI-augmented software engineering as it is a product demo.

5
operating systems, one shared Rust core
4
languages in production: Rust, Kotlin, Swift, TypeScript
11
Architecture Decision Records, each with a review trail
2
independent security-review rounds on the latest transport change
SEC_16 DECISION → REVIEW → PROOF

Every crypto or transport change follows the same gate

1

ADR

A written decision record for every crypto or transport change

2

AI Agent Build

Implemented against the ADR

3

Security Gate

Independent reviewer re-derives the crypto/auth logic, writes adversarial tests

4

Automated Tests

Unit + integration + Signal-spec vectors

5

Field Test

Real devices, real network, end-to-end

6

Human Sign-off

Required before merge — no exceptions for crypto/transport

Proof it works: a transport rewrite's first fix attempt was independently re-reviewed, found to introduce a session-hijack vulnerability, corrected, and re-verified — before any of it reached production. The gate caught what the author missed. That's the gate doing its job.
SEC_17 HARDWARE-IN-THE-LOOP

Fully automated, real-hardware multi-platform testing

BLE and WiFi-Direct have no emulator equivalent — these flows only exist by testing real phones. The same discipline that catches interop bugs unit tests can't.

Orchestratordrives WebDriver + Maestro sessions over a real LAN/WAN
Windows
WebDriver
Linux
WebDriver (SSH)
macOS
WebDriver
Android
Maestro
iOS
Maestro
SEC_18 DOCUMENTATION AS INFRASTRUCTURE

Written for two readers: the agent and the reviewer

This is what lets AI-agent-driven development be rigorous instead of reckless — an AI agent and a human reviewer reason from the same source of truth.

SEC_19 WHERE WE ARE

Development roadmap

✓
Phase 1a–1d
Foundation → Polish
Crypto core, server, messaging, sessions, security, media, groups, installers
✓
Phase 3
P2P Off-Grid
LocalNet, Bluetooth, WiFi Direct, mesh
✓
Phase 4
Enhancements
Search, receipts, reactions, export, lock
✓
Phase 5–6
Voice + Video Chat
Call signaling, state machine, group calls, screen sharing
✓
Phase 2
Mobile
Android + iOS via Rust FFI
✓
ADR-0010/11
LAN/WAN P2P + ICD
VXIDv2 auth, dual-port transport, interop spec
○
Next
Security Audit
Formal third-party security audit
○
Then
Public Release
v1.0 production release
SEC_20 BEYOND V1.0

Future vision

SEC_21 HOW THIS MAKES MONEY

Four ways to monetize

Consumer App

Direct, privacy-conscious users. Open-core — the crypto crate is public and auditable. Premium features & support as the paid tier.

Embeddable MaaS (B2B2C)

License the zero-knowledge messaging backend + mobile SDKs to companies that need secure comms as a feature of their product.

Market benchmark: a public-safety dispatch/radio software vendor reportedly pays ~$25K/yr for backend messaging at ~50K users — roughly $0.50/user/year wholesale.

Enterprise Self-Hosted

Regulated industries — healthcare, legal, government. Zero-knowledge comms under their own infrastructure control. License + support contract.

Embed API & SDKnew

A developer platform: other teams put VAULTEX end-to-end encryption inside their own product — their UI, their web portal, or their servers and AI agents sending encrypted alerts to people. Design complete; not yet built.

Pricing is the open question: commodity chat APIs run about $0.60/user/yr, while E2EE vendors charge $3–$35/user/month. A design-partner pilot decides which side VAULTEX lands on.

Embed API & SDK — how it would work

Companies already pay chat vendors to build messaging into portals and apps, and those vendors can read every message. This puts the same convenience on top of end-to-end encryption, including for automated senders such as dispatch systems and LLM chatbots. Design: ADR-0012.

plane 1

Client SDK

Their UI, our crypto. Native Android and iOS, desktop, and a reduced-capability web build. Target radios run Android, so the Android SDK comes first.

plane 2

Agent SDK

Servers and AI agents become real encryption endpoints, with keys held in the customer's own KMS or HSM. Alerts carry acknowledgement, expiry and de-duplication.

plane 3

Platform API

Control plane only: tenants, enrollment, signed organisation badges, webhooks. It never sees plaintext or private keys.

Plaintext and private keys never cross the Platform API.

Why it adds value

  • Customers supply the user base, so the consumer network-effect problem mostly disappears
  • It monetises the off-grid differentiator (LAN, Bluetooth, mesh) that competitors don't offer
  • End-to-end encryption for automated alerts is something commodity chat vendors can't offer without re-architecting
  • Largely reuses the existing Rust core through generated bindings, not a rewrite

What we still have to prove

  • Whether buyers pay an E2EE premium or only commodity prices (needs a buyer conversation)
  • Law-enforcement data (CJIS) requires FIPS-validated crypto, which the current core does not have; other public-safety, utility and industrial users are less affected
  • Independent audit first: nobody embeds an unaudited crypto module
  • Alerting needs uptime commitments, so a pilot starts as a copy of alerts, never the only path
Pricing anchorPer user / yearUsers for $1M ARR
Commodity chat API (e.g. Twilio Conversations)~$0.60~1.7 million
E2EE embed, entry tier (e.g. Element)~$36~28,000
Enterprise E2EE (e.g. AWS Wickr)~$60–$420~2,400–17,000

Competitor prices are public list prices gathered October 2026 and should be rechecked before quoting. These figures are arithmetic, not a forecast.

Who we serve first

  • Public-safety & emergency-response software vendors
  • Disaster-relief & humanitarian NGOs
  • Legal & healthcare (regulated, auditable comms)
  • Government & defense off-grid comms
  • Privacy-conscious consumers

Positioning

  • We're not trying to out-market Signal to consumers.
  • We're the backend other products embed — audited, licensable, zero-knowledge.
  • For buyers who can't trust anyone's server: self-host it and keep the same guarantees.

Head-to-head

CapabilityVAULTEXSignalWhatsAppTelegramTypical enterprise vendor
No phone number required✓○○○✓
Zero-knowledge server (no contact graph, no metadata)✓partial○○○
Sealed sender✓✓○○○
End-to-end encrypted by default✓✓✓○partial
Open-source cryptography✓✓○partial○
Works with no internet (LAN / BLE / mesh)✓○○○○
Licensable, embeddable backend✓○○○✓

Competitor cells reflect publicly documented behavior at the time of this briefing. "partial" = available but not default, or not complete. Signal gets credit where it's due; the gap is off-grid and licensability, not cryptography.

SEC_22 WHAT WE'RE RAISING FOR

What it takes to pass a security audit

Already true today

  • No homebrew crypto — libsodium only
  • X3DH + Double Ratchet verified against Signal-spec test vectors
  • 12 ADRs — every security-relevant decision documented with its own review trail
  • A living ICD — 14 known interop gaps, triaged, nothing hidden
  • Hundreds of automated tests, incl. adversarial spoof/tamper/replay suites

Bare minimum before an audit starts

  1. Freeze a release-candidate scope — stop crypto/transport churn on the audited surface
  2. Close the known gaps an auditor would flag on sight (WiFi/BLE auth parity, legacy-handshake downgrade)
  3. Finalize the protocol/threat-model whitepaper — internal docs → audit-ready form
  4. Scope the engagement narrow first: the shared Rust core, not the full app surface

Use of funds

01 · audit

Third-party security audit

A focused crypto/protocol engagement on the shared Rust core from a specialized firm (Trail of Bits / NCC Group / Cure53-class).

planning estimate: tens of thousands USD · 4–8 weeks · not a quote
02 · readiness

Pre-audit engineering

Close the known gaps, freeze the release candidate, and turn the internal design docs into an audit-ready whitepaper.

the four items above, sequenced ahead of the engagement
03 · runway

Act on findings → v1.0

Remediate what the audit surfaces, cut the v1.0 public release, and land a first design-partner pilot in public safety or humanitarian relief.

full-application audit across all 5 clients is a sequenced phase two
audit report→v1.0 public release→enterprise & embeddable deals can close
The ask: seed funding sized to those three line items — close the remaining gaps, commission the core audit, and fund the runway to act on its findings. It's the last gate before v1.0, and before enterprise customers can say yes. Round detail available on request.
V

Privacy is not a feature.

It's a right.
0
platforms
0
ADRs
0
tracked gaps
0
shipped