dxdt.ru: занимательный интернет-журнал

Небольшая подборка избранных записок, опубликованных на dxdt.ru в феврале 2024 года:

Синтезирование изображений смартфонами и “реальность фотографий” – продвинутые смартфоны сейчас дорисовывают детали на фотографиях, которые делает встроенная камера; обоснование допустимости такого дорисовывания приводит к философским рассуждениям о том, “что такое фотография”, которая, к тому же, давно не “химическая”.

Совпадения тегов ключей DNSSEC и парадокс дней рождения – занимательная математика в DNSSEC, где, по некоторым историческим причинам, для ссылок на ключи используются 16-битные идентификаторы-теги (а не какие-нибудь более продвинутые “отпечатки”), это означает, что вероятность совпадения на практике не просто велика, а очень велика: так, в корневой зоне теги ключей DNSSEC совпадают у кучи зон.

Машинное обучение на электронах – юмористическая заметка о том, чему мог бы научиться ИИ, обучаемый на выдаче квантовых экспериментов.

Подстановки и определение понятия бита – есть строгое и простое определение того, что такое “один бит”, это определение можно нарисовать, а можно увидеть на готовой картинке, иллюстрирующей действие таблицы подстановок шифра.

Представления о квантах и радиостанции – как и от каких атак может защищать такой технический метод, как квантовая криптография; нельзя ли найти параллели с гипотетическим использованием радиостанций без понимания того, как эти радиостанции действуют и устроены?

DNSSEC и особенности развития технологий – краткая заметка о том, что хрупкость, которую DNSSEC вносит в DNS, делает перспективы DNSSEC туманными.

Полиморфизм закладок в стиле ROP – загадочный текст, в начале которого рассказано про старые полиморфные компьютерные вирусы, а далее описывается экзотический метод реализации нетривиальных и хорошо скрытых закладок в программном обеспечении, которые закладки могли бы быть построены с использованием ROP-гаджетов.

Некоторые записки, опубликованные на dxdt.ru в январе 2024, отмечу отдельно:

• ИИ и формулы окружностей
• Модели вычислений и размерность пространства
• Различительная способность “обезличенных” данных
• Шифр “Кузнечик” на ассемблере arm64/AArch64 со 128-битными инструкциями
• Странные особенности Golang: комментарии и ассемблер

Добавил на страницу избранных записок десять новых:

• Исторические концепции квантовых вычислений
• Неравенство треугольника в Интернете и anycast
• Квантовые компьютеры и аксиома непрерывности
• Постквантовые криптосистемы и квантовые компьютеры
• Неверные обобщения “принципа Керкгоффса”
• Распространение квантовой запутанности
• Широкие проблемы применения ИИ
• Выключение вариантов в двухщелевом опыте
• Нормализация символов Unicode и доменные имена
• Пятый постулат Евклида в древнем исполнении

Некоторые записки, вышедшие на dxdt.ru в ноябре 2023, отмечу отдельно:

Квантовые вычисления для филологов – иллюстрация к общим принципам “квантовых вычислений”, построенная на сочетаниях омонимов. Может помочь в освоении онтологии “квантовых механик”.

TLS в виртуальных машинах и извлечение ключей хостингом – несколько техничная записка о том, как ключи к TLS-сессиям (или сертификатам) мог бы доставать из виртуальных машин гипервизор (при желании; так как это сложный способ, а есть подходы гораздо проще).

Калькуляторы на экзаменах по математике – заучивание таблицы умножения или тренировка “нажатий на кнопки”?

Галлюцинации ИИ в словах года – hallucinate и “специалисты по подсказкам ИИ”.

Кубиты в состояниях – “объяснение”, что кубит “находится в состоянии “единица” и в состоянии “ноль” одновременно” – только сбивает с толку, потому что искажает используемые модели.

В октябре 2023 года вышло немало записок на dxdt.ru, так что некоторые снова можно отметить дополнительно:

“Сжатие языковых структур” и кусочки “Илиады” – небольшой занимательный экскурс в различные версии фрагментов “Илиады” и их трансляцию через превращения основного текста в ходе линии времени;

Port knocking как инструмент управления доступом к скрытым сервисам – использование секретных последовательностей в качестве ключа для авторизованного доступа. Если данный технический вариант достаточно хорошо развить, то он вполне предотвращает разное “простукивание сервисов” со стороны сканеров, определяющих точки доступа: самый известный вариант – SSH;

Неравенство треугольника в Интернете и anycast – простой, геометрический и понятный, но не самый точный, способ определения anycast-узлов;

Исторические концепции квантовых вычислений – какие мысли могут наводить на идею о том, что за интерпретациями квантовой механики может скрываться новая “вычислительная мощность”, которая представляется даже более “аналоговой”, чем “классические” аналоговые вычислители (результаты которых тоже квантуются, но в меньшем количестве измерений);

Споткнувшаяся симуляция Вселенной – странные рассуждения о вложенных вселенских гипервизорах и квантовом моделировании.

(Кроме того, в октябре вышло ежегодное обновление технического описания TLS.)

В сентябре 2023 года на dxdt.ru записки выходили часто, так что некоторые можно снова отдельно отметить:

Неверные обобщения “принципа Керкгоффса” – этот старый принцип, устанавливающий, что криптографическая стойкость не должна определяться секретностью самих используемых базовых алгоритмов, постоянно излишне обобщают в обратную сторону: мол, криптосистема с “секретным алгоритмом” – обязательно нестойкая;

Простой пример “про измерения” – о сложностях работы с погрешностями, которые не отражают в тематических статьях СМИ;

VPN и DNS-сервисы с ECS: утечка сведений об адресах – сервисы DNS-резолверов могут выносить наружу данные об исходном сетевом подключении клиента;

Технические подробности: постквантовая криптосистема X25519Kyber768 в TLS – описание некоторых деталей использования криптосистемы с постквантовой стойкостью, которую недавно внедрили в браузер Chrome;

Квантовые компьютеры и аксиома непрерывности – как себе представлять квантовый компьютер и как его (гипотетическая) работа связана со свойствами онтологической границы между макро- и микрообъектами.

Записок в августе 2023 года вышло достаточно, чтобы некоторые отметить отдельно:

“Пятый постулат Евклида в древнем исполнении” – кратко об одном из первоисточников по теме оснований геометрии. Кстати, с формулировками постулатов Евклида в древних изложениях ещё много чего интересного есть, возможно, если получится, то попробую вернуться к этой теме в подробностях (вообще, история математики, оказывается, местами довольно странно искажается даже в современных популярных представлениях; конечно, не в такой степени, как, например, в случае расхожего утверждения “Аристотель считал, что тяжёлые тела падают быстрее, потому что не догадался провести эксперимент”, но тем не менее);

“Нормализация символов Unicode и доменные имена” – полезное описание одной весьма тонкой технической особенности применения Unicode в тех редких случаях, где применять Unicode не стоило бы;

“STARTTLS и SMTP” – как TLS “приспособительным” способом прицепляется к SMTP;

“Выключение вариантов в двухщелевом опыте” – небольшая реплика из области интерпретации квантовой механики (вообще-то, напрямую относится к “Аристотель не догадался провести опыт”, но отношение это требует пояснения, конечно);

“Широкие проблемы применения ИИ” – из совсем свежих записок: интерпретация “перебора коэффициентов” в современной практике ИИ.

Записок, которые вышли на dxdt.ru в июле 2023 года, снова достаточно, чтобы некоторые из них отметить отдельно, а именно:

• “Лазейки” вокруг неравенства Белла;
• “Инспекция” трафика с сохранением конфиденциальности;
• Бункеры в Fallout;
• Уровни сигнатур клиентских подключений;
• Общее представление о шифрах и бэкдоры.

Обновил страницу с избранными записками – добавлено пять записок:

• Алгоритм Шора в фантастической машине превращения вероятностей
• Алгоритм Шора и Вселенная кубиками
• Симметричные ключи, аутентификация и стойкость в TLS
• Детектирование текстов, сгенерированных ИИ
• Открытые “исходники” и “бинарный” код с точки зрения ИБ

В марте 2023 года записок на dxdt.ru появилось достаточно для того, чтобы некоторые отметить отдельно в конце месяца:

Офтопик: цвет собак в “Илиаде” – немного про текст Гомера;
ИИ с перебором – роль перебора в практике ИИ;
Детектирование текстов, сгенерированных ИИ – философские аспекты, связанные с “искусственными” текстами;
Системы счисления и системное администрирование – значение нулей в интерпретации данных стандартными библиотеками;
Дорисовывание Луны смартфонами Samsung – проблемы с фальшивыми, но похожими на настоящие, деталями на фотоснимках.

На фоне осени и выборной поры в США, вновь обсуждают старую тему: помехи GPS и штатовское высокоточное оружие. То есть, мол, если “создать сплошное поле помех GPS”, то крылатые ракеты и “умные бомбы” полетят сильно мимо намеченных целей.

Я, кстати, не так давно рассказывал о том, что навигация не сводится к GPS (правда, применительно к беспилотникам). Если задуматься о “поле помех”, то что можно придумать? Понятно, что такое “поле”, если бы его можно было развернуть, оказалось бы полезным: недоступность GPS усложнила бы навигацию. Впрочем, задача создания такой “массовой помехи” для военного сигнала GPS – весьма сложна.

Хитрость в том, что разработчики военных “навигаторов” знают о том, что помехи возможны, поэтому приёмники и прочее “сигнальное оборудование” GPS проектируется помехоустойчивым, так что с созданием “поля” придётся повозиться.

Есть и другие хитрости. К примеру, крылатые ракеты умеют ориентироваться с помощью инерциальной навигационной системы и по топографии местности. Скажем, в инерциальном навигаторе накапливаются ошибки, поэтому можно было бы предположить, что если GPS отсутствует в течение существенного по продолжительности отрезка полёта ракеты, то ракета существенно отклонится от намеченного курса. Вроде бы логично. Так и рассуждают.

В реальности тут есть два важных момента, меняющих положение дел. Во-первых, чтобы закрыть “существенный отрезок полёта”, придётся сделать совсем уж гигантское “поле помех”, закрывающее сотни тысяч квадратных километров. Если же помехи действуют только на небольшой территории, на завершающем этапе полёта ракеты, то каких-то особых проблем у неё не возникнет: на всём предшествовавшем пути ошибки инерциальной системы корректировались GPS, а за оставшиеся до цели километры ошибка просто не сумеет “набрать вес”.

Во-вторых, полёт ракеты корректируется “по местности”, что также позволяет исправлять ошибки инерциальной навигации. Так что даже в случае полного подавления GPS останется второй метод коррекции – “по карте”. При этом рельефы и опорные точки исследуют с помощью спутников, так что не разумно ожидать, что “карты устареют”.

С бомбами ситуация несколько иная. Хотя суперсовременные системы наведения там также используют дополнительные сенсоры, привязывающие траекторию “к местности” и к самой цели, традиционный подход всё равно базируется на инерциальной навигации и GPS. Но нужно учитывать, что современные инерциальные устройства весьма точные и бомба не собирается лететь тысячу километров сквозь ветра и горные ущелья. Если коррекция по GPS окажется невозможна, то точность попадания для “умной бомбы” ухудшится, скажем, на несколько метров, при этом всё равно оставаясь вполне практически полезной.

Есть ещё менее популярная идея с “умными, уводящими помехами”. Мол, нужно не просто “запомехить” сигнал GPS, а изменить его таким образом, чтобы ракеты/бомбы уж вообще летели “не туда”. Действительно, такие фокусы, при наличии специального оборудования, проходят для гражданских GPS-навигаторов. Там, если подсунуть приёмнику навигатора фальшивый сигнал вместо реального, можно просто управлять определением координат. То есть фактически приёмник находится в центре пустыни Сахара, но при этом изумлённый пользователь видит, что по данным на экране навигатора он как бы стоит в центре Вашингтона, округ Колумбия, США.

Но с вооружениями такой фокус не проходит. Мало того что сами приёмники во многих случаях сумеют отличить настоящий военный сигнал GPS от поддельного. Так ещё и навигационная система в целом, обнаружив расхождения между данными GPS и других “источников координат” (инерциальных, “топографических”), которые не могли бы возникнуть в реальности (физические законы же движения известны), просто перестанет учитывать сигналы GPS.

Так что нельзя считать, что помехи GPS являются каким-то “абсолютным оружием” против высокоточных систем наведения.

(Картинка: Boeing)