Боб имеет несколько проблем преодолеть здесь:

вызов 1

Боб никогда не может быть уверен, что он контролирует осколок или набор из них. Он не может помешать кому-либо еще от поддержания этого осколка, ни их спрашивают о сделках Боба.  

Скажем, Боб строит Atom (х), который принимает Алису. Если есть какие-либо узлы, которые Боб не контролируют, они также будут получать Atom (х), либо от одного из узлов Боба, или от Алисы или кого-то другого. Боб не может предотвратить эти узлы получать его, потому что он должен транслировать его Алисе как-то.

Боб позже представляет Atom (х '), который конфликтует с Atom (х). Боб не может быть уверен, что узлы, которые не являются его нет Atom (х). Если они делают, когда они получают Atom (х ') от Кэрола, они могут сообщить Кэролу, что она не legit..with доказательства предыдущей сделки Боба.

Задача 2

Боб будет манипулировать свои обязательства, чтобы обмануть Кэрол и все, кто может иметь Atom (х '). Он должен создать Atom (х) к Алисе первой, как-то пусть Алиса знает об этом без Atom (х) утечек информации в сети. Позже представить Atom (х ') Кэрол, а затем представить Atom (х) и информацию о приверженности для него "доказывать" Алиса была первой .... двойной расходы х.

Алиса может также быть частью уловки.

Это довольно сложная задача по целому ряду причин:

Если Боб помещает Atom (х) в обязательства и делает это обязательство, известное, он тогда очень вероятно, будет предложено подтвердить это обязательство на будущее время с помощью узла, он не контролирует; Такие, как при подключении к нему, представив Atoms к нему, или когда часть височной Доказательство Provisioning с ним.

Если Боб не проверяет, никаких обязательств он представленные на вопрос, то узел он связан с ничего не будет от него принять, ни послать что-нибудь с ним, пока он не делает.

Если Боб создает два обязательства, тот, который он держит в себе, содержащем атом (х) для последующего использования, а другой без нее, которые он представляет в сеть. Когда он в конце концов, представляет оригинал, он сломается своей последовательностью обязательств в сети.

Напомним, из бумаги, что обязательство ссылается на предыдущий.

Скажем, Боб создает C (2), который содержит атом (х) и сохраняет его в себе. Для того, чтобы сохранить свою последовательность обязательств, C (2) содержит ссылку на C (1).

Затем Боб создает Atom (х '), который отправляется Кэрол. Он не может создать C (3), потому что если он это сделает, он должен ссылаться на C (2), который содержит Atom (х). Для того, чтобы сохранить свою последовательность обязательств и для того, чтобы быть принятым, C (3) также должен содержать ссылку на C (1).

Позже, когда Боб представляет C (2), чтобы доказать существование атома (х), прежде чем Atom (х '), то тогда будет ДВА обязательства от Боба, что ссылка C (1).

Единственный способ, чтобы это произошло, если Bobs узлы либо неисправны, либо он манипулирует свои обязательства. Узлы не изменяют то, что у них есть, если нет проверяемых доказательств, что они должны. Боб не может иметь 2 обязательств, которые ссылаются на C (1), поэтому она не может быть доказано, что атом (х) был первым.