Вы можете скопировать информацию, но это не все, что есть. Алиса хочет послать информацию Бобу и Боб хочет, чтобы убедиться, что он является единственным, кто может использовать его. Я не могу понять, почему не может не быть такой схемой, где Алиса бы, конечно, оказала эту информацию непригодной для всех остальных, и так далее. Хотя было бы хорошо знать, как это "расходы" случается. Но это 5 АМ и не имеет никакого смысла, я думаю, я хотел бы видеть надлежащую формализацию этого, хотя. Я устал, но вы можете это прокомментировать?
Пожалуйста, прочитайте мое сообщение. Есть проблемы и с определяющими "все остальные" и, не обращая внимания, что, получая их в соглашение, по которому из нескольких затрачивает был плохой. Я говорю и об этих вещах.
Все остальные просто, Алиса и Боб это ... все остальные. Я, хотя это, возможно, было бы возможно, чтобы убедиться, как-то, что Алиса сделала информацию только Бобу, а не кто-либо другой ... было бы невозможно, чтобы существовала такая система, что Алиса может убедить Боба, он имеет право на что-то, и только его? Доказательство того, что все другие возможности выбрасываются, что что-то выпустили, что только Боб получит использование из - практически.
Позвольте мне сделать комментарий gmaxwell немного более конкретными: предположим, Боб хочет получить компенсацию от Алисы, но Алиса сговорился с Евой дважды провести без его ведома. Предположим, что существует какой-то расходы протокола, так что для любых актеров А и В, А может отправить деньги B с вероятностью р > 0 после того, как разговор, состоящий из N ответов, каждый из которых берут в большую часть времени т вычислить. Можно предположить, что все р, N, т зависит от А и В, если вам нравится. Таким образом, А может отправить деньги B с вероятностью р в момент времени Т = Nt + O (DIST (А, В)), где последний термин происходит от времени связи.
Тогда Алиса может отправить деньги Бобу, с вероятностью p_B > 0 в какое-то время t_b. (Для конкретности, все время измеряется в кадре Алисы.) Она также может отправить деньги на Еву, с вероятностью p_E > 0, в какое-то время T_E. До тех пор, как Ева близко (скажем, она и Алиса тайно тот же человек), T_E = Nt с хорошим приближением. Но если Боб далеко, T_B = O (расстояние (Алиса, Боб)), и если Боб достаточно далеко, Алиса может потратить полностью Еву, прежде чем какая-либо информация может быть обменен между Алисой и Бобом. Так что если Алиса тратит свои деньги Бобу, но сразу же после отправки последнего сообщения к нему, она также проводит его к Еве, она совершила двойные затраты (с вероятностью p_Ap_B > 0), где каждый из непересекающихся световых конусов Боба и Евы увидеть их сделка, как полный, но не другой. Когда эти световые конусы пересекаются через некоторое время не существует никакого способа узнать, какой из этих двух затрачивает является "реальный" один.
Теперь, это несколько причудливое, но если заменить скорость света со скоростью распространения в реальных сетях, у вас есть реальная проблема. Потому что Алиса и Ева могли бы быть на тот же процессор, делая это в израсходует L1, в то время как Боб находится на какой-либо другой сети, возможно, один, который Алиса DOS'i в то же время.
(У меня было еще более причудливый пост придуман с участием Боб и Ева, находясь в отдельных черных дырах, но это было слишком легко думать о простых опровержениях, которые пропустили пункт:})