TGViewer
Криптография ФПМИ Криптография ФПМИ @fpmi_crypto · 507 subscribers
Post #58 1.12K
Криптография ФПМИ #дневниклекций Сегодня продолжили доказательство теоремы о преобразовании односторонней перестановки в ГПСЧ, но целиком не закончили. Было следующее: - Напоминание общей схемы доказательства: построение перестановки с трудным битом (теорема Левина-Голдрайха…
#дневниклекций
В прошлый раз мы подробно обсудили конструкцию трудного бита и начали псевдослучайные функции. Вот что было:
- Пусть есть f(x) и доступ к вычислению трудного бита с ошибкой. Нужно найти x. Если ошибка нулевая, то биты x просто берутся из значений трудного бита.
- Если ошибка меньше 1/4-ε, то для поиска x_i можно взять случайную самокоррекцию g(e_i+r)-g(r) и амплифицировать, где g - трудный бит с шумом.
- Если ошибка меньше 1/2-ε, то нужно брать большинство из g(e_i+r)-h(r), где g - трудный бит с шумом, h - без шума.
- Мы не знаем значений h(r), вместо этого мы доказываем, что можно взять только попарно независимые r (ЗБЧ для попарно независимых величин).
- Можно построить полиномиальное число попарно независимых r_j из логарифмического числа истинно независимых u_k через всевозможные суммы. При этом h(u_k) однозначно определит h(r_j) по линейности.
- Теперь можно перебрать все возможные h(u_k) и по каждому попробовать восстановить x. Мы можем проверить, правильно ли восстановили, вычислив f(x). Ещё нужно аккуратно оценить вероятности, чтобы вероятность успеха была существенной.

В конце обсудили псевдослучайные функции:
- Неформальное понятие псевдослучайной функции, неадаптивные и адаптивные отличители
- Почему недостаточно просто взять генератор и запустить много раз
- Определение семейства ПСФ в слабом и сильном смысле, построение примера, псевдослучайного в слабом, но не в сильном смысле (без требования эффективной вычислимости)

Сегодня будем строить ПСФ из генераторов. Может быть, успеем начать шифрование.
  • 🔥 3
More from @fpmi_crypto
  1. Oct 14, 2026Готов тренировочный вариант контрольной на следующий вторник. К/р пройдёт вместо лекции с…
  2. Oct 13, 2026Новости по курсу: 1) В следующий вторник, 20 октября, вместо лекции в 10:35 будет контроль…
  3. Oct 6, 2026#дневниклекций Сегодня, как и планировалось, разбирали ПСФ и немного шифрование: - Семейст…
  4. Sep 30, 2026#дневниклекций Вчера на лекции закончили доказательство теоремы о преобразовании односторо…
  5. Sep 22, 2026#дневниклекций Краткое содержание прошлой и сегодняшней лекций: - Односторонние перестанов…
  6. Sep 22, 2026Система оценивания Мы обсудили и решили, что система оценивания будет такой: - Для курса п…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →