Bezpieczeństwo dzielimy na testowalne warstwy, udokumentowane granice i powtarzalne dowody.
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.
Każda instalacja posiada tożsamość kryptograficzną. Klucze podpisu pozostają nieeksportowalne. Klucze wymiany są preferencyjnie przechowywane jako nieeksportowalne CryptoKey; gdy iOS/WebKit nie potrafi ich utrwalić, klient używa udokumentowanego fallbacku JWK i później migruje z powrotem.
Krótkie tokeny dostępu i rotujące refresh tokens. Ponowne użycie starego tokena blokuje całą rodzinę sesji.
Od 6 września 2026 kontrolowana ścieżka wersji 3 łączy X25519 i ML-KEM-1024 w hybrydowym ustanawianiu sesji PQXDH dla obsługiwanych par urządzeń, a następnie chroni wiadomości przez Double Ratchet. Blokada downgrade dla pary urządzeń zapobiega cichemu powrotowi; rozmowy z urządzeniami bez obsługi pozostają na udokumentowanej, wersjonowanej ścieżce zgodności.
Wiersze wiadomości nie przechowują już senderId — podpisane autorstwo znajduje się w zaszyfrowanej treści. Koperty kluczy używają nieprzezroczystych oznaczeń zamiast identyfikatora urządzenia; reakcje, ulubione i wzmianki korzystają z referencji członka właściwych rozmowie i powiązanych z dowodem posiadania. Zapieczętowane nazwy i dane konta ograniczają dalszy tekst jawny. Usługa nadal potrzebuje ograniczonych metadanych autoryzacji, trasowania i czasu.
Wydanie web jest podpisywane poza serwerem, niezależnie odtwarzane i weryfikowane przez service worker przed cache.
Zintegrowane z kontrolowanym i weryfikowalnym procesem.
Zintegrowane z kontrolowanym i weryfikowalnym procesem.
Zintegrowane z kontrolowanym i weryfikowalnym procesem.
Zintegrowane z kontrolowanym i weryfikowalnym procesem.
Zintegrowane z kontrolowanym i weryfikowalnym procesem.
Zintegrowane z kontrolowanym i weryfikowalnym procesem.
“Zielony test jest wart tyle, co reguła, którą rzeczywiście sprawdza.”
Zasada bezpieczeństwa VENTEX
Granice i otwarte zadania audytowe są dokumentowane wprost.
