Доведення без розкриття: печера Алі-Баби
Один повзунок веде етапами, другий додає раунди. Подивіться, як упевненість зростає майже до повної, а секрет так і лишається секретом.
Етап Печера й двері
- 0
- 1
- 2
- 3
- 4
Раунди 1
Натисніть на ділянку схеми, щоб відкрити етап.
Увесь протокол
Кільце, прихований вибір, випадковий виклик, двері. Доводжувач не сказав про код ані слова, перевіряльник не побачив жодного його символу, і все ж після двадцяти раундів сумнівів практично не лишилося.
Що всередині
- 1 Печера-кільце із замкненими дверима — Ідеться не про «перевірити пароль», а про впевненість, що людина його знає, жодного разу пароля не побачивши.
- 2 Він заходить, поки ніхто не дивиться — Вибір робить він сам, і в цьому вся суть: ззовні інформації про цей вибір просто немає.
- 3 Перевіряльник називає бік — Порядок принциповий. Назвіть бік заздалегідь — і обманути стане тривіально.
- 4 Усе вирішують двері — Той, хто коду не знає, пройде лише якщо вгадав бік заздалегідь, — один раз із двох.
- 5 Один раунд не значить нічого, двадцять — майже все — І при цьому перевіряльник досі не знає коду: він бачив лише виходи, які сам і назвав.
Інтерактивні пояснення
- Як ліки проносять крізь гематоенцефалічний бар’єр Мозок не пускає всередину майже жодної молекули ліків — і має рацію. Один повзунок показує прийом, який зараз пробують у лабораторіях: запакувати молекулу в пухирець, який стінка й так уміє переносити.
- Як робот малює карту кімнати, яку бачить уперше Лідар видає кілька сотень точок за оберт і жодного уявлення, де він. Один повзунок проходить шлях від цієї хмари до плану приміщення, де робот стоїть у правильному місці.
- Як двоє друкують в одному рядку і не втрачають жодної літери Два курсори, один рядок і жодного сервера, який тримає ручку. Один повзунок розбирає злиття за індексами і збирає його наново на адресах, що живуть між літерами.
- Чому квантовий комп’ютер спотикається об ґратку Алгоритм Шора з’їдає RSA одним ходом. Та сама машина майже нічого не може вдіяти із сіткою точок, до якої додали трохи шуму. Один повзунок показує різницю.
- Охолодження будівлі через вікно в космос Покриття, яке під прямим сонцем лишається холоднішим за навколишнє повітря і не споживає жодного вата. Один повзунок веде тепло від сонця до іншого боку атмосфери.
- Як робот передбачає наступну секунду Текстова модель вгадує наступне слово. Модель світу вгадує наступний кадр — разом із масою, швидкістю і гравітацією. Один повзунок проходить увесь цикл: від камери до перехоплення.
- Літій із розсолу: ставки проти прямого видобутку Проведіть повзунок через п’ять етапів і порівняйте два способи дістати той самий метал із тієї самої солоної води.
- Як працює персональна мРНК-вакцина проти раку Проведіть повзунок через п’ять етапів і подивіться, як власні мутації пухлини перетворюються на інструкцію, за якою імунітет учиться її знаходити.
- Межа застосунку Усе, що приходить ззовні, недовірене. Ламайте по одній ланці й дивіться, де зупиняється ланцюжок і що при цьому показує екран.
- Як працює пошук у власних документах Порухайте повзунки й подивіться, як пошуковий конвеєр вирішує, що моделі взагалі буде видно — і що буває, коли їй підсунули не той шматок.
- Повтор запиту й довга відповідь Мережа рветься посеред операції. Натисніть кнопку двічі й подивіться, що опиниться в базі — з ключем ідемпотентності й без нього.
- Як мовна модель пише текст Ваги заморожені, нічого не запам’ятовується. Потягніть повзунки й подивіться, як модель раз за разом обирає наступний шматок тексту.
- Як навчається мовна модель Потягніть один повзунок і подивіться, як купа випадкових чисел за тисячу кроків перетворюється на передбачення.
- Звідки береться електрика Потягніть один повзунок і простежте шлях енергії від річки до насоса, який піднімає воду назад угору.