惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

Vercel News
Vercel News
The GitHub Blog
The GitHub Blog
博客园 - 【当耐特】
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
Recent Announcements
Recent Announcements
D
Docker
GbyAI
GbyAI
酷 壳 – CoolShell
酷 壳 – CoolShell
WordPress大学
WordPress大学
The Cloudflare Blog
雷峰网
雷峰网
A
About on SuperTechFans
小众软件
小众软件
博客园 - Franky
博客园 - 聂微东
F
Full Disclosure
大猫的无限游戏
大猫的无限游戏
C
Check Point Blog
MongoDB | Blog
MongoDB | Blog
G
Google Developers Blog
Microsoft Azure Blog
Microsoft Azure Blog
U
Unit 42
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
V
V2EX
Engineering at Meta
Engineering at Meta
宝玉的分享
宝玉的分享
aimingoo的专栏
aimingoo的专栏
量子位
P
Proofpoint News Feed
Hugging Face - Blog
Hugging Face - Blog
博客园_首页
罗磊的独立博客
Martin Fowler
Martin Fowler
D
DataBreaches.Net
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
S
Secure Thoughts
Project Zero
Project Zero
L
LangChain Blog
阮一峰的网络日志
阮一峰的网络日志
C
Cybersecurity and Infrastructure Security Agency CISA
T
Tailwind CSS Blog
S
Schneier on Security
Blog — PlanetScale
Blog — PlanetScale
The Hacker News
The Hacker News
Spread Privacy
Spread Privacy
Security Latest
Security Latest
NISL@THU
NISL@THU
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
C
CXSECURITY Database RSS Feed - CXSecurity.com
J
Java Code Geeks

Все публикации подряд на Хабре

Ловим музу за клавиатуру: как айтишнику стать автором Что умеет Midjourney в 2026? Мой немного грустный разбор этого шикарного инструмента Никто не любит писать тесты, но ИИ может исправить это IPv8 выглядит как мечта. Поэтому почти наверняка не взлетит Производители вернули в продажу материнки с DDR3. Что происходит? Управление агентом с телефона через Telegram теперь в KodaCode От координации к лидерству: как меняется роль руководителя разработки Я сделала родителям бизнес вместо пенсии: зарабатываем 70 тысяч, мама не даёт продать В три раза быстрее приемка товара и оптимизация трудозатрат на 73%: как «РСТ-Инвент» помог Gulliver Group ИИ-шечный мир победил? О влиянии искусственного интеллекта на игропром Кремль снижает давление на Телеграмм пока Европа строит интернет по паспорту Как CEO, CTO и CIO за 8 часов собрали ИИ-директора, который умеет держать позицию под давлением Как (не) потерять домен за выходные Вместо 8 разных VPS: как я организовал практику студентам на одном сервере Почему твой Open Source проект не замечают? R&D: искусство управления неопределенностью в разработке AI-дефляция: вакансий для разработчиков больше, а рост зарплат — худший за 15 лет Мы отдали управление роботами OpenClaw. Что из этого вышло Галактический ID: система идентификации для всех форм разумной жизни Шесть основ бизнес-анализа: начинаем с вопроса «Кто в игре?» Код-ревью, в котором дело не в коде Данные переехали. Команда — нет Системной подход к сдаче OSWE в 2025 Почему комната управления реактором покрашена в цвет морской пены 4 YAML-файла вместо PySpark: как аналитикам строить пайплайны без разработчиков LLM-агент для поиска свободных доменов: автоматизируем подбор Когда, зачем и как правильно начинать новую сессию в Claude Code? Как я заставил нейросеть писать макросы для FreeCAD Анатомия ИИ‑агента для подбора персонала. От тысячи резюме к топ‑10 за минуты Опыт разработчика как экономика внимания Автономность как точка невозврата: кто будет субъектом в цифровом будущем Обучение ИИ в «диких» условиях: как рутинные действия превращаются в датасеты Как измерить LLM для задач кибербеза: обзор открытых бенчмарков Где хранить код? Сравнение GitHub, GitLab и Bitbucket Математика объясняет, почему нормальное распределение встречается повсюду Почему ваш FinOps не работает: 12 тезисов от практиков Как подписать проектную документацию УКЭП с использованием бесплатных лицензий Pilot Адаптивное администрирование Sigla Vision Я грузил уран в бочки, а потом 20 лет строил ИТ в атомной отрасли Чем позвонить с Эвереста? История и обзор спутниковой связи. Часть 2 Как языковая модель помогает контролировать качество инструктажей по охране труда в металлургии Как не передать на desktop свой IP в РКН Анатомия SAP Privileges: как устроено управление правами в macOS MoneyDev: Сказка про три главных слова Обновлённый токенизатор видео K-VAE 2.0 от Сбера Как сделать диспетчеризацию дома на 1284 квартиры почти бесплатно Как мы разогнали железную дорогу Мы дали агентам рутину. Теперь надо решить — что делать с освободившимся временем Токсичный контент, промпт-хакинг и защита ИИ — всё о Guardrails для LLM Умный город начинается с точного взгляда: как «Фалькон Тех» меняет пространство к лучшему Навайбкодил приложение для анализа графов Почему Дюну так интересно читать? Упрощаем работу с рутиной или как стать Гендальфом Белым Деконструкция Go: CPU, RAM и что там происходит. Go Assembler база. Часть 1.1 Какие профессии исчезнут из-за ИИ, а какие появятся? И что с этим делать Как мы построили IT-отдел, где хочется расти: архитектурные встречи, прозрачные метрики и книжные подарки Rufler: Делаем из Claude Code автономный рой через один YAML-конфиг Sing-box и белый список приложений Как построить надёжный обмен сообщениями в микросервисах: лучшие практики для enterprise OpenAI строит MLM-пирамиду, а McKinsey и Accenture помогают ей в этом Дом, который не построил Фишер (Часть 2) «Сверхзвуковой математик» против «Вдумчивого логиста»: битва алгоритмов 3D-упаковки Мультимодальные модели – грубый и дорогой инструмент Разговоры ничего не стоят. Код тоже Проверки физических лиц: с кого начнет ФНС Топ-10 бесплатных нейросетей для создания видео в 2026 году Первые слои кода: как наши решения сегодня определяют архитектуру ИИ на десятилетия Разработка нового статического анализатора: PVS-Studio JavaScript Поиск уязвимостей ПО: базовый минимум или роскошный максимум Почему оценка персонала не работает как инструмент управления Как мы разработали ИИ-ассистента и сократили рутину продуктовой команды на 50% Как я ушел из найма, нажарил косточек и продал на маркетплейсах на 168 млн в год Когда 1С:ERP уже внедрена, а нормального производственного плана всё ещё нет Как я сделал Claude мультимодальным, подключив к нему Qwen Omni Как приглашение на вакансию мечты превращается в атаку Infrastructure as Code: философия и лучшие практики IaC Тестируем Yandex Code Assistant на задаче, в которой нужно хранить секреты nxs-universal-chart v3.0: новое поколение универсального Helm-чарта Callback Injection: Техника, которая отправила Microsoft Defender в глухой нокаут «Все идеи на стол»: митап как способ вывести проект из тупика Сегодня я узнал нечто новое о GPU благодаря багу в своей игре Как заставить LLM ̶ ̶г̶а̶л̶л̶ю̶ ̶ эволюционировать Карта событий как фундамент аналитики: практический кейс для E-commerce Что выбрать для AI: x86, ARM или RISC-V? Дайджест железа за март Роль соматических мутаций в развитии аутоиммунных заболеваний: путь к избирательной терапии Mythos от Anthropic — тревожный сигнал для всех, а не только для банков Guardrails для LLM на Java: как приручить промпт‑инъекции и токсичные ответы Green-VLA: как мы собрали VLA-модель для реального антропоморфного робота и не потеряли обобщение Финансовая гонка вооружений: почему умные люди добровольно в ней участвуют Эра ИИ-агентов наступила: выбираем лучшего цифрового сотрудника # Практический опыт внедрения WinCC Redundancy на производственном предприятии Сделал MVP за 3 дня, а потом неделю прикручивал оплату. Оно того стоило? Физика против Маска: почему Starship V3 может оказаться ещё одной катастрофой Нефть Венесуэлы: крупнейшие запасы в мире, но не крупнейшая нефтяная держава JPA 4. Переосмысление Hibernate Почему зеркальная фотокамера Nikon D5 десятилетней давности идеально подошла для миссии «Артемида-2» Проект «Уровень-Спутник» или как мы сделали платформу для гидрологов «Замедлиться, чтобы ускориться»: почему ИИ повышает цену ошибок в требованиях и архитектуре Как с нуля поднять трафик IT-компании на 1657% при бюджете 55 тыс. и выжить Pixel-perfect Downsampling — идеальная отрисовка 50 миллионов точек без потерь
Публичный розыгрыш, который нельзя пересчитать — это не розыгрыш, а обещание
constr · 2026-06-21 · via Все публикации подряд на Хабре

Публичный розыгрыш, который нельзя пересчитать — это не розыгрыш, а обещание

Простой

6 мин

160

1 декабря 1969 года, Вашингтон, штаб-квартира Selective Service. Восемь вечера. В прямом эфире, на глазах у всей страны, конгрессмен Александр Пирни опускает руку в большую стеклянную банку и достаёт первую из 366 синих пластиковых капсул. Внутри — дата: 14 сентября. Этой дате присваивается призывной номер 1. Все мужчины 1944–1950 годов рождения, родившиеся 14 сентября, идут на войну первыми.

Прозрачнее не бывает: национальный телеэфир, конгрессмен лично тянет капсулы, 366 дней и 366 капсул на виду у миллионов. Если и существует образец честного публичного розыгрыша — вот он. Только он был нечестным. И в этом — вся статья.

Полюс честной ошибки

Через 87 минут банка пуста. Порядок вытянутых капсул определил, в какой очерёдности молодых американцев отправят во Вьетнам. А заряжали эту банку так.

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

Капсулы поздних месяцев так и остались сверху. Их вытягивали первыми. В переводе на человеческие судьбы: дни рождения ноября и декабря (даты с 306-й по 366-ю) систематически получали низкие призывные номера — то есть призывались раньше.

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

Насколько — посчитали. В Монте-Карло-эксперименте из 100 000 смоделированных идеально случайных лотерей лишь около 1 177 — примерно 1,2% — дали отклонение от равномерности не меньше, чем настоящий тираж 1969 года. Иначе говоря: если бы капсулы были перемешаны как надо, такая кластеризация выпадала бы примерно раз из восьмидесяти.

4 января 1970 года New York Times вышла со статьёй под заголовком «Статистики утверждают: призывная лотерея не была случайной». Математики разобрали процедуру и показали перекос. И — ничего. Неравномерную лотерею оставили в силе. Результат уже разослали по призывным комиссиям. Доказать нечестность задним числом получилось. Изменить — нет.

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

Полюс злого умысла

Теперь другой край спектра.

Эдди Типтон был директором по информационной безопасности Multi-State Lottery Association — организации, чьи компьютеры разыгрывали джекпоты в десятках американских штатов. Человек, которому по должности доверяли охранять честность генератора случайных чисел. Он вписал в этот генератор закладку.

Как работала закладка Типтона.

Самоудаляющийся код срабатывал только в узких условиях: розыгрыш в среду или субботу, и только в один из трёх дней года — 147-й, 327-й или 363-й. Эти даты обычно приходились на праздники, когда Типтон бывал в отпуске и подальше от подозрений. Если условия совпадали, генератор уходил с настоящего источника энтропии на подменную ветку, и пул возможных выигрышных комбинаций сужался с миллионов до нескольких сотен — предсказуемого, заранее известного множества.

Дальше — дело техники. Родственники и знакомые покупали билеты на эти «удачные» комбинации и забирали джекпоты. Около 24 миллионов долларов, минимум пять штатов, почти десять лет необнаружения. Схему вскрыли случайно — из-за невостребованного джекпота в 16,5 миллиона в Айове, который пытались получить через траст с бенефициаром в офшорной корпорации в Белизе, за два часа до истечения срока. Слишком дурно пахло.

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

Между полюсами

Подмена победителя — Сиань, Китай, 2004.

Настоящему обладателю выигрышного билета — фермеру Лю Ляну — объявили, что его билет поддельный. Приз ушёл сообщникам организаторов. Список участников и правила соответствия билета выигрышу были непубличны, поэтому подменить победителя оказалось делом одного заявления.

Подделка документов — Кувейт, 2021–2025.

Сеть, орудовавшая под надзором министерства торговли, фальсифицировала документы и перенаправляла призы «нужным» людям: 110 розыгрышей, машины, наличные — на сумму свыше 1,2 миллиона динаров. Семьдесят три обвиняемых.

Фиктивная случайность — «Большой брат», Великобритания, 2006.

Победительница «случайного» отбора золотого билета, по свидетельствам, ещё до объявления заявляла в пабе, что идёт в дом. Регулятор начал проверку. Зрители видели шоу честного отбора — а процедура за кулисами честной не была.

Подмена результата задним числом — Филиппины, PCSO.

После розыгрыша на 249 миллионов песо в сеть утекла «вторая версия» результатов, где джекпот не выиграл никто. У оператора было два системных провайдера — и не было криптографического слепка, зафиксированного до тиража. Слово оператора против скриншота. Доказать нельзя ничего.

Разные страны, разные десятилетия, разные механизмы. Но дыра одна и та же.

Одна дыра под пятью углами

Сложите эти случаи рядом, и проступает общее. Все пять — не пять независимых уязвимостей. Это одна и та же дыра, просто повёрнутая разными гранями.

Розыгрыш, результат которого нельзя независимо пересчитать, держится на доверии к организатору. А доверие масштабируемо подделывается. Не важно, кривое у вас перемешивание капсул или подкупленный чиновник, поддельный билет или утёкшая вторая версия протокола, — пока единственный способ узнать результат состоит в том, чтобы поверить тому, кто его объявил, у этого человека есть и возможность, и стимул соврать. Или ошибиться, не соврав.

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

Что делает с этим UVS

UVS (Uncloned Verification Standard) исходит из простого тезиса: розыгрыш должен быть фактом, который кто угодно пересчитает у себя, а не обещанием, которое надо принять. Для этого результат превращается в воспроизводимую функцию трёх публичных входов.

Server seed с commit-reveal. Организатор фиксирует семя до розыгрыша, публикуя его хеш. Само семя раскрывается после. Это закрывает Филиппины: «второй версии» результата не может существовать, потому что слепок единственного семени опубликован заранее. Подменить результат задним числом нечем — он уже зацементирован хешем.

Публичная случайность из будущего. Конкретный будущий раунд drand — глобального распределённого маяка случайности. На момент commit этого раунда ещё не существует: его не может ни выбрать, ни узнать заранее ни организатор, ни кто-либо ещё. Это закрывает сразу оба полюса. Типтон не смог бы подменить энтропию — её источник вне его машины и вне его контроля. А Draft '69 был бы невозможен, потому что drand не перемешивают руками в обувной коробке: у него нет физического перекоса, ломать сезонную последовательность нечему.

Опубликованный ruleset. Список участников и структура призового фонда публикуются заранее. Победитель — чистая функция от (seed, drand, список). Это закрывает Сиань, Кувейт и «Большого брата»: перенаправить приз «своему» нельзя, потому что соответствие билет→участник зафиксировано до розыгрыша и пересчитывается кем угодно; анонимный победитель, вынырнувший из ниоткуда через белизский траст, структурно невозможен; «знать заранее» невозможно, потому что входа — будущего drand — ещё нет в природе.

Три входа, и набор векторов атаки схлопывается. Не потому, что мы построили организатора понадёжнее или аудитора посовестливее. А потому, что мы убрали само слово «доверять» из определения честного розыгрыша.

Почему это не блокчейн и не очередной аудит

UVS — протокол, а не библиотека, не фреймворк и не тяжёлая цепочка блоков. Он не требует, чтобы вы кому-то доверяли — ни оператору, ни сертифицирующей третьей стороне, ни консенсусу майнеров. Он требует ровно одного: чтобы три входа были публичны, а функция — детерминирована. Тогда проверка перестаёт быть актом веры и становится арифметикой. Любой участник берёт seed, берёт раунд drand, берёт список — и пересчитывает результат на своей машине. Сходится — честно. Не сходится — пойман.

Статистики в 1970-м сделали ровно это, только руками и через месяц: взяли результат, проверили на случайность, поймали перекос. UVS превращает их посмертный анализ в свойство, встроенное в сам розыгрыш. Не «доказать нечестность постфактум, когда поздно», а «честность как пересчитываемый факт в момент объявления».

Призывникам ноября и декабря 1969 года это не помогло бы вернуть проигранную лотерею — но помогло бы оспорить её до того, как капсулы разослали по комиссиям. А это и есть вся разница между обещанием и фактом.


UVS — открытый протокол проверяемой честности для игр, iGaming и розыгрышей. Документация, спецификация и живые демо: uncloned.work.