Кратко

  • RFC 3607 был опубликован в 2003 году со статусом Informational. Он исследовал историческую модель, где масштаб Интернета, доля участников, производительность, координация и криптографическая цель задаются как условия.
  • Правильный кандидат подтверждает только прохождение проверки. Он не удостоверяет исчерпывающий перебор, личности работников, разрешение владельцев, отсутствие дублей, происхождение результата или безопасность иной современной системы.

В журнале проверки была одна безупречная строка: кандидат прошёл тест. В отчёте для руководства она превратилась в другую фразу: пространство ключей было перебрано. Между этими утверждениями находился отсутствующий журнал назначений, завершений, дублей и пропусков. Проверка была настоящей, вывод — шире её доказательной области.

RFC 3607 вышел в сентябре 2003 года под названием «Chinese Lottery Cryptanalysis Revisited: The Internet as a Codebreaking Tool». Informational-документ вернулся к идее использовать огромное число обычных интернет-компьютеров для изменения экономики криптоаналитической задачи. Быстрое историческое распространение Code Red показывало масштаб. RFC не был стандартом реализации, разрешением на операцию или аудитом реально работавшей вычислительной сети.

Модель читается как условие. Она задаёт популяцию, активную долю, скорость хоста, полезное время, накладные расходы и цель. Затем вычисляет следствие. Точность итогового числа не превращает предположения во входные измерения.

Первая граница проходит между наблюдаемой инфекцией и полезной мощностью. CAIDA исторически зафиксировала более 359 тысяч заражённых Code Red хостов менее чем за четырнадцать часов. Это свидетельство о конкретном черве, времени и способе наблюдения. Оно не доказывает одновременную доступность, одинаковое железо, стабильное управление и способность выполнить другую задачу.

Адрес не равен устойчивому работнику. Один компьютер меняет адреса, много компьютеров скрываются за одним. Хост исчезает до назначения, повторяет чужой диапазон, возвращает ошибку или очищается владельцем. Произведение адресов на benchmark даёт оценку, но не execution ledger.

Вторая граница касается полномочий. Публичный challenge сообщает всем условие успеха. Он не разрешает всем использовать чужие процессоры. Право поставить вопрос и право распорядиться ресурсами третьей стороны принадлежат разным субъектам.

Одинаковый математический ответ может прийти от добровольцев, оплаченной инфраструктуры, собственных систем или скомпрометированных машин. Кандидат не раскрывает эту категорию. Корректность результата не создаёт согласие задним числом. Договор, операционное полномочие, согласие и ответственность требуют отдельных записей.

Третья граница — уникальное покрытие. Чтобы утверждать, что часть конечного пространства исследована, нужны идентификаторы единиц работы, отсутствие пересечений или их учёт, выдача, подтверждение, завершение, валидация, timeout и переназначение. Суммарная скорость скрывает повторные диапазоны, пропуски и фиктивные завершения.

Валидный кандидат не восстанавливает эти записи. Поиск может остановиться на первом успехе, поэтому результат не свидетельствует об исчерпании. Ответ мог прийти через другой канал, из предварительного знания или от независимого участника. Проверяющий подтверждает значение, а не маршрут.

Четвёртая граница — атрибуция. Зашифрованный или анонимный обратный канал способен защищать отправителя. Но тогда без дополнительных данных он не является доказательством происхождения. Получатель знает, что ответ верен, и одновременно не знает, кто заказал работу, управлял мощностью, предоставил ресурсы или пострадал.

Первый публикатор не обязательно первооткрыватель. Координатор не обязательно владеет машинами. Владелец может не знать о работе, а организация проверки — не участвовать в вычислении. Авторство, ущерб и обязанность нельзя вывести из обладания результатом.

Пятая граница — время. Арифметика RFC 3607 относится к криптографии, оборудованию и сети 2003 года. Позже NIST отозвал DES; действующий AES использует другие размеры ключей и предпосылки; последующие RFC изменили рекомендации по MD5 и SHA-1. Старая популяция с новым названием алгоритма не образует современную оценку.

Стоимость меняют специализированное железо, алгоритмический прогресс, энергия, память, сеть, координация и защитная миграция. Случайный ключ, парольный секрет, протокольная запись и ошибка реализации — разные цели. «Масштаб Интернета» не универсальный коэффициент.

RFC 3766 связывает длину ключа со стоимостью атаки и контекстом. RFC 4086 связывает случайность с источником и конструкцией. RFC 7696 требует алгоритмической гибкости при ослаблении предпосылок. Исторический сценарий открывает проверку, но не закрывает вопрос о нынешней системе.

Доказательная цепочка начинается с точного текста challenge, идентификаторов, цели, критерия и даты. Далее фиксируются полномочия издателя и владельца ресурсов, класс участия, срок и отзыв. Исполнение хранит уникальную единицу, worker или ограниченную аттестацию, назначение, завершение, валидацию, ошибку, дубликат и повтор.

Результат хранит кандидат, программу и версию проверки, проверяющего, среду и transcript. Решение хранит область, системы, действия и остаточную неопределённость. Единственный статус «взломано» уничтожает эти различия.

Неизвестное должно оставаться неизвестным. Нет идентичности хостов — записать unknown. Нет согласия — не доказано. Нет реконструкции уникального покрытия — показать оценку и отсутствие журнала рядом. Анонимный канал — не выдумывать происхождение по времени или владельцу копии.

Публичная проверка остаётся сильной. Она отвергает ложный ответ без доверия к отправителю. Но удостоверяет лишь связь кандидата и критерия, а не социальную, операционную и правовую историю вычисления.

Долговечный вывод RFC 3607 состоит в том, что множество обычных компьютеров может изменить экономическую границу специализированной работы. Предупреждение работает, пока предпосылки остаются видимыми. Кандидат может быть верным, а история вычислений — отсутствовать. Оба факта должны сохраниться.