|
|
| Строка 1: |
Строка 1: |
| | == Как проверялась граница приватности == | | == Как проверялась граница приватности == |
| | | | |
| - | В этой статье главным был не перечень механизмов, а точное понимание того, что именно гарантирует differential privacy. Если не определить соседние наборы, защищаемую единицу и доступный противнику результат, слова «математическая гарантия» мало что объясняют. Поэтому первая версия строилась от различия между удалением идентификаторов и ограничением влияния одной записи.
| + | Я выбрал тему дифференциальной конфиденциальности, потому что хотел лучше понять её реальные гарантии. В первом запросе я хотел получить понятное объяснение и отделить этот подход от удаления имён, шифрования и федеративного обучения. |
| - | | + | |
| - | Для подготовки использовалась '''GPT-5.6 Terra High'''. Оба запроса приведены дословно.
| + | |
| - | | + | |
| - | === Первый запрос: отделить DP от соседних технологий ===
| + | |
| | | | |
| | {{well| | | {{well| |
| Строка 19: |
Строка 15: |
| | }} | | }} |
| | | | |
| - | Первая версия правильно отделяла DP от шифрования и федеративного обучения, но оставляла несколько опасных упрощений. В разных разделах незаметно смешивались add/remove- и replace-one-соседство, параметр <tex>\delta</tex> описывался как простая «вероятность отказа», а в композиции учитывалась только сумма <tex>\varepsilon</tex>. Практическая часть также требовала точнее связать clipping, семплирование и accountant.
| + | В первом результате остались упрощения в описании соседних наборов и параметров приватности. Ещё не хватало точного объяснения композиции и работы DP-SGD. Поэтому второй запрос был более конкретным. |
| - | | + | |
| - | === Второй запрос: раскрыть механизмы и ограничения ===
| + | |
| | | | |
| | {{well| | | {{well| |
| Строка 35: |
Строка 29: |
| | }} | | }} |
| | | | |
| - | === Ручная проверка после генерации ===
| + | После второго запроса я проверил итоговый текст и исправил неточности в описании гарантий и механизмов. Также я привёл формулы, ссылки и вики-разметку в порядок. |
| - | | + | |
| - | Финальная редакция потребовала не косметической вычитки, а согласования всей модели защиты:
| + | |
| - | | + | |
| - | * за основное принято add/remove-соседство, а replace-one вынесено в отдельное пояснение;
| + | |
| - | * добавлено различие между построчной и пользовательской DP;
| + | |
| - | * <tex>\delta</tex> описано как аддитивный зазор, а не буквально как вероятность полного отказа защиты;
| + | |
| - | * в базовой композиции исправлена потерянная сумма <tex>\delta_i</tex>;
| + | |
| - | * приведены формулы <tex>L_1</tex>- и <tex>L_2</tex>-чувствительности;
| + | |
| - | * добавлены явные формулы гауссовского и экспоненциального механизмов с условиями применимости;
| + | |
| - | * отдельно отмечены последовательная и параллельная композиции;
| + | |
| - | * в DP-SGD уточнены индивидуальный clipping, случайное семплирование, noise multiplier и зависимость результата от accountant;
| + | |
| - | * для федеративного обучения разделены example-level и user-level DP, защищённая агрегация и собственно DP;
| + | |
| - | * удалена несвязанная ссылка на квантование нейронных сетей;
| + | |
| - | * неработающий шаблон примечаний заменён на <references />;
| + | |
| - | * выбраны существующие категории «Машинное обучение» и «Прикладная статистика».
| + | |
| - | | + | |
| - | Названия, страницы и DOI основных публикаций сверялись отдельно. При проверке я исходил из принципа: численное значение <tex>\varepsilon</tex> само по себе ничего не говорит читателю, пока не указаны соседство, защищаемая единица, <tex>\delta</tex>, состав результата и все повторные обращения к данным.
| + | |
| | | | |
| - | — [[Участник:Oleg Batsiev|Oleg Batsiev]]
| + | [[Участник:Oleg Batsiev|Oleg Batsiev]] |
Я выбрал тему дифференциальной конфиденциальности, потому что хотел лучше понять её реальные гарантии. В первом запросе я хотел получить понятное объяснение и отделить этот подход от удаления имён, шифрования и федеративного обучения.
В первом результате остались упрощения в описании соседних наборов и параметров приватности. Ещё не хватало точного объяснения композиции и работы DP-SGD. Поэтому второй запрос был более конкретным.
После второго запроса я проверил итоговый текст и исправил неточности в описании гарантий и механизмов. Также я привёл формулы, ссылки и вики-разметку в порядок.