Whitepaper · Реверс-инжиниринг · Железо, софт и нейросети
Каждое утверждение проверено на железе. В этом весь метод.
Когда документации нет, вендор ушёл, а блоб и есть продукт, мы восстанавливаем то, что кремний делает на самом деле, — из дизассемблера, из трассировок, из эфира — и доказываем это стендом, который отвечает «да» или «нет». IDA мы используем с 1990-х; автоматизация новее, дисциплина — нет.
Каждый результат проверен на целевом железе или его побитово точной модели; стенды показываем на созвоне.
Вы зависите от того, чего не можете прочитать
Ядерный блоб, привязывающий вас к старому ядру. Прошивка радио с интерфейсом, который никто не задокументировал. Файл модели, который вендор не объяснит. Устройство, чьему пути обновления приходится верить. Ответ вендора — новый блоб или никакого ответа.
Реверс-инжиниринг инструментом, который угадывает, хуже, чем никакой. Мы видели, как языковая модель писала гладкую и неверную историю про бинарник. Поэтому каждый восстановленный факт сверяется с работающим железом — регистры сравнены, пакеты засвидетельствованы в эфире, выводы совпали побайтно — прежде чем попасть в отчёт.
Декомпилятор говорит, что код мог бы делать. Стенд говорит, что он сделал.
Что мы приносим
Четыре вещи, каждая измерена на железе.
Блобы становятся исходниками
Ядерные драйверы и прошивки, которые можно собрать, пропатчить и перенести на следующее ядро. Мы заменяем бинарник функция за функцией и доказываем эквивалентность сравнением трасс.
Доказательство, а не рассказ
Каждый результат приходит со своим оракулом: проверкой паритета регистров, эфирным свидетелем с положительным контролем, побайтово совпадающим выводом. Если утверждение нельзя проверить, мы так и говорим.
Нейросети — тоже
Бинарные форматы моделей, зашифрованные SDK, изменённые веса. Мы восстанавливаем раскладки до карты регистров, а модификации — до точных изменённых слоёв, и передаём запуск команде Edge AI.
Быстрее, чем раньше
Декомпиляция с ИИ-ассистентом и собственный декомпилятор с восстановлением типов позволяют одному инженеру покрыть то, на что уходила команда. Последнее слово всё равно за железом.
Что мы восстановили
Кремний
Два ядерных блоба видеокодера стали кодом на C — все 427 функций, — проверенным сравнением трасс на настольной модели чипа. Чистые драйверы для видео- и нейродвижков того же вендора вышли побайтно идентичными оригиналам, и прошивка собирает их на современном ядре.
Радио и протоколы
Протокол прошивки массового Wi-Fi-чипсета был описан по вендорским исходникам, проверен в эфире и теперь ведёт 18 типов адаптеров из пользовательского пространства. Незадокументированный протокол обновления камерного вендора — и спрятанная в нём учётная запись — стали письменной спецификацией. Тем же путём был восстановлен протокол моторизованного объектива — для автофокуса.
Модели
Бинарный формат моделей камерного NPU разобран до карты регистров. Зашифрованный коммерческий SDK распознавания номеров отдал раскладку моделей из работающего контейнера. Изменённая языковая модель была сравнена вес за весом, и модификация восстановлена точно, до слоя.
Цели и стенды
Прошивки ARM и MIPSЯдерные блобыWi-Fi и USB-устройстваNPU камерНейросетевые модели
Стенды, которые мы строим для доказательства работы: модели чипов, выполняющие вендорский код на настольной машине, пробы в ядре, USB-мониторы, оракулы паритета регистров, эфирные свидетели с положительным контролем и наборы проверок соответствия для протоколов, на которых говорит ваш продукт.
Как устроена работа
Оценка цели
Фиксированная цена, пять рабочих дней. Вы присылаете бинарник, образ прошивки или устройство и вопрос, на который нужен ответ. Вы получаете, что восстановимо, стенд, которым мы это докажем, риски и фиксированную цену восстановления.
Проект
Сначала стенд, потом восстановление против него — драйвер, протокол, формат или модель, — где каждое утверждение прослеживается до теста, который ваша команда может перезапустить.
Сопровождение
Исходники, спецификация, стенд и оракулы — ваши. После каждого изменения доказательство запускается снова.
Пришлите бинарник и вопрос. Через пять дней вы узнаете, можно ли доказать ответ.
Одно письмо из четырёх строк: что за цель, что от неё нужно, чем можете поделиться, срок. Под NDA с первого ответа. Отвечает инженер, а не скрипт продаж.
Написать на business@openipc.org Спросить в чате
Коммерческая поддержка, OEM-лицензирование и остальные услуги — на странице для бизнеса.