Дала́й-ла́ма XIV — духовный лидер последователей тибетского буддизма. Лауреат Нобелевской премии мира (1989). До 27 апреля 2011 года также возглавлял правительство Тибета в изгнании.
Премия Тьюринга — самая престижная премия по информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно-технический вклад в этой области.
Доказа́тельство с нулевы́м разглаше́нием (информа́ции) в криптографии — интерактивный криптографический протокол, позволяющий одной из взаимодействующих сторон убедиться в достоверности какого-либо утверждения, не имея при этом никакой другой информации от второй стороны. Причём последнее условие является необходимым, так как обычно доказать, что сторона обладает определёнными сведениями в большинстве случаев тривиально, если она имеет право просто раскрыть информацию. Вся сложность состоит в том, чтобы доказать, что у одной из сторон есть информация, не раскрывая её содержания. Протокол должен учитывать, что доказывающий сможет убедить проверяющего только в случае, если утверждение действительно доказано. В противном случае сделать это будет невозможно, или крайне маловероятно из-за вычислительной сложности.
В криптографии, схема обязательств или битовая схема обязательств — это метод, позволяющий пользователю подтверждать какое-либо значение, которое не разглашается, то есть в случае разглашения этого значения благодаря этой схеме будет известно, что пользователь знал его на момент выдачи обязательства и что оно не изменилось. Работу данной схемы можно представить как две стадии:
- «Commit» — посылку закрытой на ключ коробки (обязательство),
- «Reveal» — более поздняя отправка ключа от коробки (значение).
Проблемы Смейла — список из восемнадцати нерешённых математических проблем, предложенный Стивеном Смейлом в 2000 году. Смейл составил свой список по просьбе Владимира Арнольда, занимавшего в 1995–1998 годах пост вице-президента международного математического союза. Идею этого списка Владимир Арнольд взял из списка проблем Гильберта.
Алекса́ндр Алекса́ндрович Разбо́ров — российский и американский математик, член-корреспондент РАН, специалист в области теории вычислений. Имеет число Эрдёша, равное 2.
В теории вычислительной сложности теорема PCP утверждает, что любое решение задачи принятия решения в классе сложности NP имеет вероятностно проверяемое доказательство постоянной сложности запроса и логарифмической сложности случайности.
Европейский математический конгресс — крупнейшая европейская конференция, посвящённая математике; проводится раз в 4 года под эгидой Европейского математического общества. Первый конгресс прошёл в Париже в 1992 году. Доклады на конгрессе делятся на пленарные и секционные.
В теории вычислительной сложности сложность алгоритма в среднем — это количество неких вычислительных ресурсов, требуемое для работы алгоритма, усреднённое по всем возможным входным данным. Понятие часто противопоставляется сложности в худшем случае, где рассматривается максимальная сложность алгоритма по всем входным данным.
Нэнси Энн Линч — американский учёный, профессор компьютерных науки и инженерии Массачусетского технологического института, известная прежде всего автоматами ввода-вывода — обобщением автоматов Мили на распределённые алгоритмы, позволяющим формально демонстрировать их корректность с помощью иерархических доказательств. На сегодняшний день существует много разновидностей автоматов ввода-вывода: временны́х, гибридных, вероятностных и динамических, все созданы самой Линч и её сотрудниками. Последними на 2016 год были предложены динамические автоматы ввода-вывода, моделирующие динамические системы и позволяющие создавать и уничтожать автоматы по мере вычисления, что существенно повышает их выразительность и приближает формализм к современному программному обеспечению. Динамические автоматы ввода-вывода могут объединяться в иерархическую систему, запускаться параллельно, переименовывать и скрывать события, порождать новые автоматы и поддерживать монотонность через семантическую типизацию.
Дэн Боне, или Дан Боне , — преподаватель и исследователь в области практической криптографии и компьютерной безопасности.
Задачи теории решёток — это класс задач оптимизации на решётках. Гипотетическая плохая разрешимость таких задач является центральным местом для построения стойких криптосистем на решётках. Для приложений в таких криптосистемах обычно рассматриваются решётки на векторных пространствах или свободных модулях.
Проверяемое разделение секрета — схема разделения секрета, позволяющая участникам группы проверить, что их доли совместные, то есть воссоздающие одинаковый секрет. Иными словами, данная схема гарантирует существование секрета, который участники в дальнейшем могут восстановить, даже если распределение было умышленно изменено. Концепция проверяемого разделения секрета впервые была представлена Бенни Чором, Шафи Гольдвассер, Сильвио Микали и Барухом Авербухом в 1985 году.
Семантически стойкой криптосистемой в криптографии называется криптосистема, которая не допускает никакой утечки из шифротекста значимой информации об исходном открытом тексте. Возьмем любой вероятностный алгоритм класса PP, на вход которого в первом случае подаются шифротекст некоторого случайного сообщения 
и длина этого сообщения, а во втором случае — только длина сообщения. Если разница между вероятностями получения некоторой достоверной информации об исходном сообщении в первом и во втором случаях пренебрежимо мала, то криптосистема, которой произведено данное шифрование, считается семантически стойкой. С точки зрения вычислительной сложности, это понятие аналогично абсолютно стойкому шифру Шеннона. Абсолютно стойкий шифр предполагает невозможность получения какой-либо информации об исходном сообщении в принципе, в то время как семантическая стойкость подразумевает, что никакая информация об исходном сообщении, обнаруженная в шифротексте, не может быть использована для дешифрования какого-либо фрагмента сообщения.
Ультрафинитизм — крайняя форма финитизма, проявляемая в ряде математических и философско-математических концепций и теорий. Общим для всех форм математического финитизма является отказ от использования интуитивно сомнительной абстракции актуальной бесконечности, например, бесконечного множества натуральных чисел как законченного, завершённого в построении объекта; ультрафинитизм же отрицает или считает малосодержательной абстракцией и потенциальную бесконечность, то есть возможность построения сколь угодно больших конструктивных объектов; как следствие отрицается, например, применимость арифметических операций ко всем натуральным числам.
Санджив Арора — американский учёный-информатик индийского происхождения, специалист по теории сложности вычислений. Член Национальной АН США (2018), доктор философии (1994), профессор Принстонского университета, с которым связана практически вся его карьера — он преподаёт там после получения докторской степени с 1994 года.
Идеальная решётка — определённая математическая структура, которая используется для уменьшения числа параметров, необходимых для описания решёток. Данный вид решёток часто встречается во многих областях математики, в частности, в разделе теории чисел. Таким образом идеальные решётки более эффективны в применении, чем другие решётки, применяющихся в криптографии. Идеальные решётки используются в криптографических системах с открытым ключом NTRUEncrypt и NTRUSign для построения эффективных криптографических примитивов. Также идеальные решётки составляют фундаментальную основу квантовой криптографии, которая защищает от атак, связанных с квантовыми компьютерами.
ZK-STARK — криптографический протокол, который использует публичные вероятностно проверяемые доказательства с нулевым разглашением. Эта технология позволяет пользователям обмениваться проверенной информацией без её разглашения или выполнять вычисления с третьей стороной без раскрытия вычислений. ZK-STARK — прозрачный протокол, то есть не требующий предварительной настройки и раскрытия информации третьей стороне, такие протоколы ещё называют протоколами Артура-Мерлина.
Квантовое подбрасывание монеты использует принципы квантовой механики для шифрования сообщений для безопасной связи. В отличие от других типов квантовой криптографии, квантовое подбрасывание монеты — это протокол, используемый между двумя пользователями, которые не доверяют друг другу. Из-за этого оба пользователя хотят выиграть в подбрасывании монеты и будут пытаться обмануть различными способами. Будем рассматривать двух удаленных игроков, соединенных каналом, которые не доверяют друг другу. Проблема согласования ими случайного бита путем обмена сообщениями по этому каналу, не полагаясь на какую-либо доверенную третью сторону, называется проблемой подбрасывания монеты в криптографии. Квантовое подбрасывание монеты использует принципы из квантовой механики для шифрования сообщений, чтобы обеспечить безопасную связь. Сама идея является криптографическим примитивом, который может быть использован для построения более сложных и полезных криптографических протоколов, например, квантового византийского соглашения.
В информатике, худший случай сложности измеряет ресурсы, которые требуются алгоритму для обработки входных данных случайного размера. Он обозначает верхнюю границу ресурсов, требуемых алгоритму.
Медиафайлы на Викискладе
