Хорошее наблюдение, но XOR сохранять дело нехитрое :) Еще надо уточнить, что когда мы говорим «сохраняет операцию» это не значит, что сама операция остается неизменной. Более формально, шифр (E,D) сохраняет n-арную операцию f, если существует операция g такая, что для любых значений a_1, ..., a_n из области определения f
f(a_1, ..., a_n) = D(g(E(a_1), ..., E(a_n)))
Скажем, в шифре Paillier для гомоморфного сложения зашифрованных значений, нужно их перемножить.
Надо заметить, что схема Крэйга Джентри работает страшно медленно и для практического применения не годится вообще. Джентри вместе с сотрудниками IBM работал над созданием чуть более быстрой схемы, но серьезного улучшения получить не удалось. Если кому интересно, то можете посмотреть на HELib — реализация схемы Джентри написанная на C.
В статье не совсем правильно написано, что такое гомоморфное шифрование. Вообще говоря, гомоморфное шифрование сохраняет одну операцию — это может быть умножение, сложение, XOR, умножение на незашифрованную константу, возведение в степень, что угодно. Таких схем вагон и маленькая тележка. Всем известный RSA (без пэддинга) сохраняет операцию умножения. Схема ElGamal гомоморфна относительно умножения, схема Paillier — относительно сложения. Схема Джентри — это первая полностью гомоморфная схема: она сохраняет и умножение, и сложение. Впрочем, есть схема Boneh-Goh-Nissim (тот самый Boneh, научник Крэйга Джентри), которая умеет делать много сложений и затем одно умножение.
А огромный коэффициент экспансии характерен для всех гомоморфных схем.
Насколько я знаю, «Сетуней» было сделано несколько, и один из них до сих пор используется в «продакшене», скажем так. Где — не скажу, не для энторнетов это :)
Мне кажется, что если написать, что ПД общедоступны, это все равно не дает право публиковать ПД. Если бы они написали, например, что нажимая на кнопку, вы соглашаетесь, что РЖД может вас пристрелить, это все равно не дало бы им право вас пристрелить.
В любом своде законов есть неясности, неточности и противоречия. Тут в дело вступает судья/присяжные и правоприменительная практика. По практике в РФ блокировка сайтов/страниц возможна и обязательна при определенных условиях. Если протокол https не позволяет блокировать конкретные страницы, то государство знает только два метода — блокировать весь сайт или запрещать https.
f(a_1, ..., a_n) = D(g(E(a_1), ..., E(a_n)))
Скажем, в шифре Paillier для гомоморфного сложения зашифрованных значений, нужно их перемножить.
В статье не совсем правильно написано, что такое гомоморфное шифрование. Вообще говоря, гомоморфное шифрование сохраняет одну операцию — это может быть умножение, сложение, XOR, умножение на незашифрованную константу, возведение в степень, что угодно. Таких схем вагон и маленькая тележка. Всем известный RSA (без пэддинга) сохраняет операцию умножения. Схема ElGamal гомоморфна относительно умножения, схема Paillier — относительно сложения. Схема Джентри — это первая полностью гомоморфная схема: она сохраняет и умножение, и сложение. Впрочем, есть схема Boneh-Goh-Nissim (тот самый Boneh, научник Крэйга Джентри), которая умеет делать много сложений и затем одно умножение.
А огромный коэффициент экспансии характерен для всех гомоморфных схем.
GIMP в вебе: pixlr.com/editor/
Распаковать архив онлайн: www.wobzip.org/
Богатые бесплатные редакторы PDF: editor.cutepdf.com/edit.asp и www.pdfescape.com/open/
Поиграть с SQL запросами: www.sqlfiddle.com/
Поиграть с регэкспами: regexpal.com/
Редактор sequence диаграмм: www.websequencediagrams.com/ и www.codeuml.com/
Ну и от себя чуть-чуть — безопасная передача файлов encryshare.com/ :)
смелое предположение.
В отличие от гравитации, интернет и все протоколы созданы людьми, и во власти людской менять их устройство.