У контексті, коли масове спостереження автоматизовано державними органами, а постквантові обчислювальні потужності стають промисловою реальністю, питання вже не в тому, чи... за потреби шифрування зв'язку. Справжня інженерна проблема зараз полягає в наступному: Яка архітектура програмного забезпечення математично та фізично здатна протистояти дії державного актора (APT) з необмеженими судово-медичними ресурсами?
Signal, Telegram, WhatsApp та Threema демократизували наскрізне шифрування (E2EE) для широкої публіки. Однак, зіткнувшись із супротивником рівня військових специфікацій, ці рішення представляють... основні структурні недоліки : збереження даних на диску, витоки метаданих, залежність від централізованих інфраструктур та вразливість до атак побічних каналів.
Тут представлено поглиблений технічний аналіз обмежень сучасних систем обміну повідомленнями та презентацію суверенної архітектури AEGIS P2P.
1. Структурні недоліки основних сервісів обміну повідомленнями
1.1. Хибна безпека «наскрізного шифрування»
Протокол Signal (Double Ratchet) – це криптографічний шедевр. Він забезпечує пряму секретність та безпеку після компрометації. перевезенняАле як тільки повідомлення надходить до терміналу, воно розшифровується, і більшість програм зберігають його у звичайному тексті або в зашифрованій базі даних SQLite.
Якщо ваш пристрій вилучено (фізична атака) або якщо шкідливе програмне забезпечення (Pegasus, Predator) отримає root/доступ до ядра, шифрування транспорту стане марним. Зловмисник може прочитати локальну базу даних. Це називається шифруванням. атака після компрометації.
1.2. Загроза «Збери зараз, розшифруй потім» (HNDL)
Алгоритм криптографії еліптичних кривих (ECC), який використовується Signal та більшістю програм, вразливий до алгоритму Шора. Державні противники сьогодні масово реєструють зашифрований трафік у надії розшифрувати його через 10 або 15 років, коли стануть функціональними відмовостійкі квантові комп'ютери. Класичне асиметричне шифрування структурно приречене на провал.
1.3. Централізація та витік метаданих
Telegram зберігає історію в хмарі. Signal використовує номери телефонів як унікальні ідентифікатори, створюючи соціальний граф, який можна безпосередньо використовувати для кореляційних атак. Навіть з E2EE, метадані (хто з ким спілкується, коли та як часто) залишаються видимими для централізованих серверів або операторів зв'язку.
2. Архітектура AEGIS: Триптих «Суверен» (Глибоке занурення)
AEGIS P2P — це не просто додаток. Це комунікаційна екосистема, розроблена в Іржа (для ядра) та Flutter (для інтерфейсу), розроблений відповідно до моделі загрози Нульовий трест Абсолют. Ось його технічні основи.
2.1. Постквантова гібридна криптографія (NIST рівень 5)
AEGIS не чекає глобального переходу до постквантового режиму; він інтегрує його нативно. Протокол рукостискання X3DH був розширений до 4-DH та поєднує:
- ML-KEM-1024 (FIPS 203) Найнадійніша реалізація Kyber (рівень 5), що пропонує безпеку, еквівалентну AES-256.
- X25519 (Крива 25519) Для класичного обміну тимчасовими ключами.
- Ed25519 (FIPS 186-5) Для підписання криптографічних ідентифікаційних даних (без залежності від номера телефону).
- HKDF-SHA384 та HKDF-SHA256 Для отримання ключів сеансу (KDF), що забезпечує суворе розділення криптографічних доменів.
Протокол Double Ratchet у Signal був перероблений з нуля в Rust, що змушує обертати ланцюжок DH (MAX_CHAIN_LENGTH = 1000) щоб запобігти будь-якому криптографічному дрейфу та забезпечити знищення ефемерних ключів у пам'яті.
2.2. Архітектура нульового диска та поліморфна оперативна пам'ять
Це найкращий захист від криміналістики. AEGIS не залишає слідів на постійному сховищі (ROM/SSD).
- Завантаження без диска Під час надсилання фотографії або документа програма не створює ніколи тимчасовий файл. Медіафайл обробляється виключно в оперативній пам'яті через модуль
aegis_ingest_file_zero_disk()Буфер знищується одразу після закриття програми. - Поліморфна оперативна пам'ять Конфіденційні дані в пам'яті захищені динамічною маскою XOR з випадковим зміщенням і зберігаються в структурі. «Подвійна рейка» (дві копії з канарейками цілісності). Це робить атаки Холодна завантаження ou Дамп пам'яті надзвичайно складно та дозволяє виявляти перекидання бітів.
- Видалення EXIF та анти-PRNU Кожне зображення проходить через конвеєр очищення, який видаляє метадані GPS (EXIF). Крім того, програма застосовує алгоритм зменшення PRNU (Photo Response Non-Uniformity), щоб знищити унікальний відбиток сенсора камери телефону, запобігаючи будь-якій судово-медичній атрибуції.
2.3. Протоколи паніки: Kill Switch та Dead Man's Switch
У разі фізичного примусу (вилучення телефону правоохоронними органами або нападником), AEGIS включає активні захисні механізми:
- Сосна-манка (манлива шпилька) Під час запуску користувач може ввести другий код. Потім програма відкривається на підробленій панелі інструментів (наприклад, простому блокноті), що змушує зловмисника повірити, що це єдиний вміст.
- Вимикач Kill Switch (0000/9999) Цей аварійний код запускає миттєве очищення оперативної пам'яті. Процес Rust викликає
panic_purge()що призводить доexit(137)(SIGKILL) негайно. Ядро звільняє сторінки пам'яті, і криптографічний стан припиняється разом з процесом. - FLAG_SECURE та BlindView Інтерфейс технічно запобігає створенню будь-яких нативних скріншотів (Android/iOS). Рендеринг відео виконується через ізольовану область (VRAM), яка приховує попередній перегляд у селекторі останніх завдань.
3. Мережа: «Транспортний комутатор» та власна анонімність
AEGIS відмовляється покладатися на централізований сервер (єдина точка відмови). У додатку реалізовано тактичний селектор транспорту:
3.1. Рідний Tor через Arti Framework
На відміну від програм, що використовують зовнішній проксі-сервер Tor (Orbot), AEGIS інтегрує клієнт Tor. Arti (написано на Rust) безпосередньо у своєму двійковому коді. Кожен контакт має ізольований контур (TorIsolationTokenТрафік шифрується від початку до кінця, а IP-адреса користувача маскується на рівні мережі. Завантаження Tor є асинхронним (використовує ізоляти Dart), щоб запобігти блокуванню основного потоку інтерфейсу.
3.2. Режими офлайн: Wi-Fi Direct та BLE Mesh
Якщо інфраструктура Інтернету зруйнована (збій мережі, електронне глушіння), AEGIS перемикається на фізичний транспорт:
- Прямий Wi-Fi (P2P) Створення локального TCP-сокета між двома сусідніми терміналами (діапазон ~100 м).
- BLE-сітка Мережа Bluetooth (Bluetooth Low Energy) з протоколом маршрутизації flood. Повідомлення (фрагментовані на 512-байтові кадри з TTL-заголовком) передаються від термінала до термінала, щоб досягти одержувача, навіть без глобального інтернет-з'єднання.
4. Інженерія та аудит: Доказ за допомогою коду
Безпеку не можна декретувати, її потрібно довести. AEGIS застосовує політику «нульової довіри» до власного вихідного коду, який можна перевірити через наш публічний конвеєр CI/CD (GitHub Actions).
4.1. Безпека пам'яті (Rust / Miri)
Усе криптографічне ядро написано на Rust. Конвеєр виконується Miri (Інтерпретатор MIR від Rust) на 5 критичних підсистемах. Miri вичерпно виявляє невизначену поведінку (UB), запобігаючи переповненню буфера, використанню після звільнення та перегонам даних, які є поширеними в C/C++.
4.2. Формальна перевірка (AWS Kani)
Для найважливіших криптографічних примітивів (виведення ключів, інкапсуляція) ми використовуємо AWS КаніЦе формальний інструмент верифікації, який математично доводить відсутність паніки або переповнення на всіх можливих вхідних даних. Це вже не тест, це математичний доказ.
4.3. Контракт FFI Mil-Spec
Інтерфейс між Dart (Flutter) та Rust (native) здійснюється через безпечний API FFI (інтерфейс зовнішніх функцій). Ми визначили Глобальний контракт на безпеку FFI документування 43 відкритих функцій. Кожна обгортка перевіряє нульовість вказівників, вирівнювання пам'яті, кодування UTF-8 та розміри буфера. Після повернення функції вказівники не зберігаються (немає висячих вказівників).
4.4. Безпека ланцюга поставок (аудит залежностей)
Наш звіт про внутрішній аудит (версія 3.4.0) оприлюднено:
- аудит вантажу 0 активних вразливостей у 503 залежних крейтах. Залишкові сповіщення задокументовані та стосуються рушія Tor (Arti), який підтримується проектом Tor.
- вантажний кліпс : 0 попереджень для всього коду (всі цілі, всі функції).
- Збірка відтворюваних Будь-який дослідник може перекомпілювати APK з вихідного коду та перевірити його хеш SHA-256.
5. Модель розповсюдження та ліцензування
AEGIS P2P розповсюджується поза App Store та Google Play. Таке архітектурне рішення гарантує повну незалежність від цензурної політики GAFAM та обмежень, що накладаються європейським DMA.
- Прямий розподіл Файл APK (Android) та нотаріально завірений IPA (iOS – лише для ЄС) можна завантажити безпосередньо з нашого офіційного вебсайту за зашифрованим посиланням.
- Шаблон ліцензії AEGIS — це власне програмне забезпечення (із закритим вихідним кодом). Вартість однієї ліцензії становить 69,90 євро, включаючи довічні оновлення безпеки.
- Оновлення (Оновлювач) Система оновлень у додатку використовує сигнатури. ed25519Якщо зловмисник намагається здійснити атаку «Людина посередині», щоб надіслати шкідливу прошивку, програма відхиляє оновлення.
6. Сумісність обладнання та системні вимоги (військові специфікації)
AEGIS P2P не є «споживчим» застосунком. Його криптографічна та антифорензична архітектура накладає суворі апаратні обмеження. Несумісний термінал не зможе запустити застосунок.
6.1. Вибір «Закриття після збою»: зобов'язання StrongBox
На Android більшість програм покладаються на програмне сховище (Android Keystore). AEGIS вимагає, щоб криптографічні ключі генерувалися, зберігалися та маніпулювалися ними в межах безпечне середовище виконання (TEE) і, в ідеалі, спеціальний чіп Сейф (сертифікований за Загальними критеріями EAL5+).
Якщо на пристрої немає StrongBox або якщо завантажувач розблоковано (з root-доступом), AEGIS відмовляється запускатися (Невдача – Закрито). Це не маркетингове обмеження, це вимога безпеки: інструмент зв'язку стану не може функціонувати на скомпрометованому терміналі.
6.2. Сумісні телефони (Android arm64-v8a)
Для сумісності з AEGIS термінали повинні відповідати наступним критеріям:
- 64-бітний процесор (ARM64) Необхідний для запуску бінарного файлу Rust, скомпільованого з оптимізацією пам'яті.
- Android 10 або вище Необхідно використовувати сучасні API сховища ключів та суворе керування вводом/виводом.
- Чіп StrongBox Присутній на більшості «висококласних» смартфонів та деяких «захищених» моделях (наприклад, Google Pixel 7/8/9, Samsung Galaxy S21/S22/S23/S24, Sony Xperia 1/5, Crosscall та деяких моделях Fairphone).
- Підтримка Bluetooth Low Energy (BLE) та Wi-Fi Direct : Для методів офлайн-зв'язку (Mesh).
6.3. Що це означає для користувача
Такий підхід має свою ціну: ви не зможете встановити AEGIS на смартфон початкового рівня або пристрій з root-доступом. Але це ціна суверенітету. Ми обіцяємо не надати вам «простий» додаток, а додаток… надійний.
Висновок
AEGIS P2P не призначений для заміни WhatsApp у вашому повсякденному житті. Це цифровий інструмент виживання, розроблений для журналістів-розслідувачів, OSINT-аналітиків, правоохоронних органів та бізнесу, чиї секрети мають стратегічну цінність.
У світі, де метадані цінніші за золото, а безпека часто зводиться до простого маркетингового ходу, AEGIS вирізняється своїм жорстким інженерним підходом: Нічого не зберігайте, все шифруйте та зробіть код доступним для аудиту.