💬 Заметные цитаты
Эффективность вероятностно проверяемых доказательств
«Сегодня мы знаем, как взять любое свидетельство и превратить его в PCP, где верификатор читает всего 3 бита.»
Суть PCP-доказательств
«Вместо сжатия доказательство искусственно удлиняется, однако теперь для его верификации нет необходимости читать текст целиком — достаточно изучить лишь несколько случайно выбранных позиций.»
Награда за решение открытой проблемы
«Помимо очевидного признания и возможной награды ACM за лучшую докторскую диссертацию, я готова выплатить из своего кармана приз в размере $500 тому, кто избавится от этого фактора T в уравнениях»
О вычислительной ограниченности доказывающего
«В реальном мире нет смысла требовать абсолютной надежности против доказывающего, способного совершить 2^1000 операций, ведь во Вселенной даже нет стольки молекул»
«Идея PCP в том, что вам не нужно читать всё доказательство, чтобы его проверить. И это странно.»
«Проведение теоретико-информационных доказательств, где ни один доказывающий не может дать ложное доказательство, имеет свои ограничения.»
«Размер PCP сильно растет с ростом F в степени m... Это делается ради эффективности, чтобы PCP оставался небольшим.»
«Я вас обманула. Описанная редукция безупречно работает только в том случае, если верхняя граница времени работы злоумышленника строго больше, чем размер PCP-доказательства.»
📺 Где появляется
📈 Темы
PCP2Яэль Калай2Sumcheck2Теорема Килиана — Микали1GKR1криптографический аргумент1Интерактивный аргумент1Протокол GKR1Вероятностно проверяемые доказательства1протокол GKR1GKR protocol1Протокол Килиана — Микали1
