这个协议使用了同一类型的不确定性,Alice和Bob轮流采用小步骤签署,直到双方都签约为止。
在这个协议中,Alice和Bob交换一系列下面这种形式的签名消息:“我同意我以概率p接受这个合约约束。”
消息的接收方可以把它提交给法官,法官用概率p考虑被签署的合约是否有约束力。
(1)Alice和Bob就签约应当完成的日期达成一致意见。
(2)Alice和Bob确定一个双方都愿意用的概率差。例如,Alice可以决定她不愿以超过Bob概率2%以上的概率受合约约束。设Alice的概率差为a,Bob的概率差为b。
(3)Alice发送给Bob一份p=a的已签消息。
(4)Bob送给Alice一份p=a+b已签署的消息。(www.daowen.com)
(5)令p′为Alice在前一步中从Bob那里收到消息的概率。Alice发送给Bob一份p=p′+a或1中较小的已签署消息。
(6)令p′为Bob在前一步中从Alice那里收到消息的概率。Bob发送给Alice一份p=p′+b或1中较小的已签署消息。
(7)Alice和Bob继续交替执行步骤(5)和步骤(6),直到双方都收到p=1的消息,或者已到了在第(1)步中达成一致的日期。
随着协议的进行,Alice和Bob都以越来越大的概率同意接受合约约束。例如,Alice定义她的a为2%,Bob可以定义他的b为1%。Alice的第一份消息可能声明她以2%的概率受约束,Bob可能回答他以3%的概率接受约束。Alice的下一份消息可能声明她以5%的概率受约束……直到双方都以100%的概率受约束。
如果这个协议不能顺利完成,任何一方都可以把合约拿给法官,并同时递上另一方最后签的消息,法官看合约之前在0或1之间随机选择一个。如果这个值小于另一方签名的概率,则双方都受合约约束。如果这个值大于那个概率,则双方都不受约束(法官接着保存这个值,以防需判定涉及同一合约的其他事件)。这就是以概率p受合约约束的意思。
这是一个基本的协议,但还可以有更复杂的协议。法官可在一方缺席的情况下作出判决,法官的判决可约束双方或哪一方都不受约束;不存在一方受约束而另一方不受约束的情况。
免责声明:以上内容源自网络,版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。