Да, вы правы, схемы, которые могут делать обе операции называются Fully Homomorphic Encryption.

Да, примерно так =)

Да, матрицы действительно должны быть «хорошими» в том смысле о котором вы говорите, но этого не так сложно достигнуть, они генерируются довольно просто…

Я не использую λ'бды, потому что их не используют в литературе по этой теме. Обычно используют μ или просто m, x и y удобно использовать, потому что мы вычисляем f(x, y) и на этом фокусируемся, абстрагируясь от того, что это собственные числа шифров. Но обозначения не так важны, я надеюсь.

'v' «примерно собственный вектор» матрицы 'A', если существует такой вектор 'e' с маленькими коэффициентами, что Av = λv + e. Проблемы найти собственные числа за полиномиальное время нет, есть проблема сначала угадать вектор 'e', т.е. если в этом векторе n элементов, каждый из который +1 или -1, то надо будет перебрать 2^n возможных значений для этого вектора.

Я не знаю, какими критериями руководствуется комиссия. А экзамен в моем случае состоял из задач по комбинаторике и теории графов (если я правильно помню) и собеседования.
Здесь более подробная информация о приеме.

Нет, у меня было немного от всего этого. Самое важное — желание и мотивация. Ну и не так сложно попробовать — процедура поступления очень простая и не отнимет много времени.

Почему же нельзя? 21 как раз, казалось бы, подходящий возвраст (я туда пришла в 21).

Я хочу, чтобы люди понимали, о чем я пишу, и им не надо было гуглить для этого термины.
Что неправильного в том, чтобы называть это «вычисления на зашифрованных данных», я не понимаю.

С Dan Boneh я работала три месяца. За это время в познакомилась с рядом статей посвященных FHE и написала на C++ собственно последнюю из предложенных схем (пока все-таки это штука очень медленная).

Сам Dan Boneh человек невероятного энтузиазма и трудоспособности, с отличным чувством юмора.

«Гомоморфное Шифрование» — так хотите перевести? =)

Fully Homomorphic Encryption (FHE), а как вы бы перевели?