BLAKFRAME LTD
Технічна інформація
Номер компанії: 16726125 (Англія та Уельс)
Класифікація документа: Відкрита технічна інформація
Дата: Жовтень 2026 року


1. Огляд

BLAKFRAME LTD — фірма системної інженерії, зареєстрована в Англії та
Уельсі. Її діяльність має два напрями: розробка BLAKHOLE, основної
інженерної розробки фірми, та активні дослідження безпеки
низькорівневого й криптографічного програмного забезпечення.

Цей документ описує інженерні підходи фірми в межах того, що
підтверджують публічні відомості. Відомості про архітектуру, реалізацію
та розгортання BLAKHOLE не публікуються; їх надають контрагентам на
умовах співпраці.


2. Клас задач

Фірма працює над конкретним класом задач: програмним забезпеченням,
коректність якого має бути забезпечена не для більшості вхідних даних,
а для всіх — кожного граничного значення, кожного чергування операцій
під час конкурентного виконання, кожного некоректно сформованого
повідомлення — і видами відмов якого є пошкодження пам’яті,
невизначена поведінка та розбіжність між специфікацією і виконанням.

Інженерні вимоги до цього класу суворі:

  Безпека пам’яті: усунення переповнень буфера, використання пам’яті після
  її звільнення та гонок даних із середовища виконання.

  Визначена поведінка на кожній межі: порожні, нульові, максимальні
  та від’ємні вхідні значення обробляються явно, а не випадково.

  Відтворюване виконання: ті самі вхідні дані щоразу дають те саме
  виконання, за кожного запуску. Систему, поведінка якої залежить від
  часових характеристик, стану оточення чи неконтрольованого
  планування виконання, неможливо повністю протестувати — кожен
  запуск довелося б перевіряти заново — і на неї не можна покладатися
  там, де коректність потрібно підтвердити до початку використання.

Самих лише звичайних інструментів недостатньо для виконання цих вимог;
саме тому фірма веде розробку. Будь-яка умова поза специфікацією
розглядається як несправність, яку потрібно виявити, а не як невизначений
стан, у якому можна продовжувати виконання.


3. Інженерна практика

Інженерна робота фірми спрямована на системи, коректність яких потрібно
підтвердити, перш ніж на них покладатися. У роботі застосовуються
підходи, характерні для цього класу програмного забезпечення:

  Перевага статичних гарантій над перевірками під час виконання, якщо
  це дозволяє набір інструментів розробки.

  Явна обробка нетипових і граничних умов, зокрема порожніх, нульових,
  максимальних та від’ємних вхідних значень.

  Завершення відповідного процесу в разі переходу до стану поза
  специфікацією замість продовження виконання з невизначеною
  поведінкою.

  Арифметика з перевірками для операцій із цілими числами на критичних
  шляхах виконання.

  Відтворювані збірки та версіоновані набори інструментів розробки для
  випущених артефактів.

Методи, інструменти та інженерні артефакти фірми є її власними.
Те, чого фірма не публікує, вона не публікує; контрагенти отримують
потрібні для співпраці технічні матеріали на підставі договору.


4. Дослідження безпеки

Фірма активно досліджує безпеку низькорівневого й криптографічного
програмного забезпечення. Дослідження передбачають аналіз програмних
систем для виявлення дефектів, яких не виявляє саме лише тестування,
зокрема:

  - Вичерпання ресурсів у процедурах серіалізації та десеріалізації
  - Небезпечна обробка на критичних шляхах виконання
  - Розбіжність між специфікацією протоколу та його реалізацією
  - Дефекти реалізацій криптографічних протоколів

Про виявлені дефекти повідомляють тим, хто супроводжує відповідне
програмне забезпечення, у межах координованого розкриття вразливостей.
Фірма не розвиває спроможностей для наступальних дій, не продає
експлойти й не надає послуг стеження чи перехоплення. Усі результати
досліджень спрямовані на усунення виявлених дефектів.


5. Позиція щодо даних

Фірма не зберігає коштів клієнтів і не надає споживчих сервісів.
Якщо співпраця передбачає роботу з даними клієнта, роль фірми
визначається в угоді про співпрацю до отримання будь-яких даних.
Фірма не продає дані, не виступає посередником у їх обігу й не
монетизує їх.


6. Класифікація активів

Увесь вихідний код, документація, інструменти та набори даних, створені
BLAKFRAME, класифікуються за трьома рівнями доступу:

  Обмежений доступ: Основні алгоритми, бібліотеки у виключній власності
  та внутрішні набори даних. Охороняються як комерційна таємниця
  відповідно до законодавства Англії та Уельсу. Не розголошуються за межами фірми.

  Контрольований доступ: Специфікації інтерфейсів та документація з
  інтеграції, що надаються партнерам і клієнтам за угодами про
  нерозголошення.

  Відкритий доступ: Опублікована корпоративна інформація, документи,
  подані до реєстру, та документи з технічними специфікаціями, як цей.

Для значущих інженерних артефактів обчислюють хеші та архівують їх
на носіях з одноразовим записом, щоб мати свідчення походження
інтелектуальної власності.


7. Контакти

BLAKFRAME LTD
71-75 Shelton Street, Covent Garden, London, WC2H 9JQ
United Kingdom

Електронна пошта: enquiries@blakframe.com
Питання безпеки: security@blakframe.com
Сайт:   https://blakframe.com