Dividimos la seguridad en capas comprobables, límites documentados y evidencia reproducible.
Automated cryptography and key-service tests, 308 mapped counter-tests, 19 real-browser runs with 189 checks, multi-device and downgrade scenarios, single-use prekey allocation and a controlled production walkthrough on 6 September 2026; re-run on 9 September 2026.
The post-quantum component protects session establishment, not a continuously post-quantum ratchet. Rollout remains device-dependent and has not yet received an independent external audit.
Session logic and automated reuse/revocation tests.
An already compromised unlocked endpoint remains a separate risk.
No senderId in message rows, signed authorship inside ciphertext, HMAC direct-chat values, recipient marks instead of device IDs in key envelopes, memberRef for reactions, favourites and mentions, and new read state without new receipt rows. In the current source/test state, the cold-start path reconstructs the identifier directory from encrypted account state and does not treat an empty proof set as success. History transfers there use one computed opaque target mark and skip older unmarked envelopes rather than guessing their destination.
The running service still requires limited account, relationship and technical metadata for authorisation and delivery. The live signed runtime was not updated by this website task; the new cold-start and history-transfer corrections apply there only after a separate app release and migration. Historical time/device references and retained security records remain visible until their defined refresh or cleanup path runs. Metadata minimisation is not metadata absence.
Cada instalación posee identidad criptográfica. Las claves de firma no son exportables. Las claves de intercambio se mantienen preferentemente como CryptoKey no exportables; cuando iOS/WebKit no puede conservarlas, el cliente usa un fallback JWK documentado y migra de nuevo cuando es posible.
Tokens de acceso breves y refresh tokens rotatorios. Reutilizar un token antiguo bloquea toda la familia de sesiones.
Desde el 6 de septiembre de 2026, la ruta controlada de versión 3 combina X25519 con ML-KEM-1024 mediante PQXDH híbrido para dispositivos compatibles y continúa la protección de mensajes con Double Ratchet. Una protección por par de dispositivos impide un downgrade silencioso; las conversaciones con dispositivos aún no compatibles siguen una ruta de compatibilidad versionada y documentada.
Las filas de mensajes ya no guardan un senderId: la autoría firmada viaja dentro del contenido cifrado. Los sobres de claves usan marcas opacas en lugar del ID del dispositivo; reacciones, favoritos y menciones usan referencias de miembro por conversación vinculadas a pruebas de posesión. Los nombres y datos de cuenta sellados reducen más texto claro. El servicio activo sigue necesitando metadatos limitados de autorización, enrutamiento y tiempo.
La versión web se firma fuera del servidor, se reconstruye de forma independiente y el service worker verifica el manifiesto antes de guardar recursos.
Integrado en un flujo controlado y verificable.
Integrado en un flujo controlado y verificable.
Integrado en un flujo controlado y verificable.
Integrado en un flujo controlado y verificable.
Integrado en un flujo controlado y verificable.
Integrado en un flujo controlado y verificable.
“Un test verde solo vale lo que vale la regla que comprueba.”
Principio de seguridad VENTEX
Los límites y trabajos de auditoría abiertos se documentan expresamente.
