| (1) |
温柔的:P输入签署的 |
| (2) |
聪明的远期合同来
,
,
|
| (3) |
报价:
,
,
收到 |
| (4) |
样本加密随机性r |
| (5) |
eprice: = ENC (
,r美元价格) |
| (6) |
:= NIZK.prove ((
,eprice),(美元价格,r)) |
| (7) |
,…,发送(eprice,
) |
| (8) |
聪明的合同收到(eprice
)从(
) |
| (9) |
维护当前时间 |
| (10) |
声称这是第一个输入 |
| (11) |
断言NIZK。验证(
,
,(P,eprice)) |
| (12) |
聪明的合同发送(
,eprice)P |
| (13) |
存储eprice,使用后 |
| (14) |
计算:在输入(计算)的供应商
,…, |
| (15) |
维护当前时间 |
| (16) |
P解密和商店价格(美元):= 12月(
,eprice) |
| (17) |
如果这是最后计算得到然后 |
| (18) |
为这样没有要求计算 |
| (19) |
美元价格:= + |
| (20) |
如果 |
| (21) |
winsupplier: =−1 |
| (22) |
bestprice: = + |
| (23) |
为
做 |
| (24) |
如果
。价格< bestprice然后 |
| (25) |
bestprice: =
。价格 |
| (26) |
:= |
| (27) |
如果 |
| (28) |
结束了 |
| (29) |
存储和输出 |
| (30) |
迹象与 |
| (31) |
广播 |
| (32) |
关系(声明,见证)
被定义为 |
| (33) |
解析语句(P.eprice) |
| (34) |
解析见证(美元价格,r) |
| (35) |
断言eprice = ENC (
,r美元价格) |
|
