Регистрация Войти
Рейтинг:2
avatar Crypto

Имея программу, получите программу, которая может работать с зашифрованными данными

флаг in
James

Предположим, у меня есть программа $P$. Я хотел бы получить функцию шифрования $е$, функция расшифровки $д$, и программа $Q$ такой, что $P(x) = d(Q(e(x)))$ для всех входов $х$. В идеале шифрование должно быть асимметричным ($д$ нельзя получить из $е$).

Это позволило бы создать децентрализованную вычислительную платформу, подобную Ethereum, но в которой контракты могут хранить личные данные, доступные только тем, у кого есть ключ дешифрования.

Существует ли что-то подобное?

58
0 + 6
Manish Adhikari avatar
флаг us
Manish Adhikari
Есть такие вещи, которые называются гомоморфными схемами шифрования.Вы можете проверить их.
6
Ответить
fgrieu avatar
флаг ng
fgrieu
Вам нужно будет ограничить то, что может сделать $P$. Удачи, если это, например. программа, которая выводит, если $x$ простое число.
3
Ответить
SEJPM avatar
флаг us
SEJPM
Рассматриваемое требование очень похоже на свойство корректности полностью гомоморфного шифрования.
3
Ответить
fgrieu avatar
флаг ng
fgrieu
@SEJPM: Да, это _похоже_ на требование полностью гомоморфного шифрования. Но разве FHE в том виде, в каком мы его знаем, не ограничивает $P$ полиномиальной функцией от $x$; а затем в конкретном конечном поле? Для программы общего назначения $P$ на ум приходит zk-SNARK, но мне это неудобно, поэтому я не буду пытаться ответить.
2
Ответить
SEJPM avatar
флаг us
SEJPM
@fgrieu, не проверив, я на 95% уверен, что вы можете сформулировать произвольные (арифметические) схемы с большинством схем FHE (конечно, в заданной области), что должно позволить вам сформулировать произвольные вычисления (используя схему), а не только полиномы.
1
Ответить
fgrieu avatar
флаг ng
fgrieu
@SEJPM: на каком-то уровне теории нет разницы между «полиномом… в определенном конечном поле» и «произвольными (арифметическими) схемами… в заданном поле». Если поле имеет порядок $n$, легко составить полигон степени $n-1$, который оценивается как 1 в указанной точке и как 0 во всех остальных; и построить полигон степени $n-1$ для любой функции. Так что согласен с тем, в чем вы уверены на 95%, как в теории, так и на практике для малых полей. Но у меня есть большие сомнения для практики и большого поля. Если бы вопрос дал представление о том, что он хочет вычислить, это помогло бы...
1
Ответить
флаг Moldova
Admin
Этот вопрос на других языках:

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.