Împărțim securitatea în straturi testabile, limite documentate și dovezi reproductibile.
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.
Fiecare instalare are o identitate criptografică. Cheile de semnare rămân neexportabile. Cheile de schimb sunt păstrate preferabil ca obiecte CryptoKey neexportabile; când iOS/WebKit nu le poate persista, clientul folosește un fallback JWK documentat și migrează înapoi ulterior.
Tokenurile scurte folosesc refresh tokens rotative. Reutilizarea unui token vechi blochează întreaga familie de sesiuni.
Din 6 septembrie 2026, ruta controlată versiunea 3 combină X25519 și ML-KEM-1024 într-o stabilire hibridă PQXDH pentru perechi de dispozitive compatibile, apoi continuă protecția mesajelor cu Double Ratchet. O protecție anti-downgrade per pereche împiedică revenirea silențioasă; conversațiile cu dispozitive încă incompatibile folosesc o rută de compatibilitate documentată și versionată.
Rândurile mesajelor nu mai stochează senderId; autorul semnat se află în conținutul criptat. Plicurile de chei folosesc mărci opace în locul ID-ului dispozitivului; reacțiile, favoritele și mențiunile folosesc referințe de membru specifice conversației, legate de dovezi de posesie. Numele și datele de cont sigilate reduc textul clar suplimentar. Serviciul activ necesită încă metadate limitate pentru autorizare, rutare și timp.
Versiunea web este semnată în afara serverului, reconstruită independent și verificată de service worker înainte de cache.
Integrat într-un flux controlat și verificabil.
Integrat într-un flux controlat și verificabil.
Integrat într-un flux controlat și verificabil.
Integrat într-un flux controlat și verificabil.
Integrat într-un flux controlat și verificabil.
Integrat într-un flux controlat și verificabil.
“Un test verde valorează doar cât regula pe care o verifică.”
Principiu de securitate VENTEX
Limitele și sarcinile de audit deschise sunt documentate explicit.
