2 | | - | {-# SCRIPT_TYPE ACCOUNT #-} |
---|
3 | | - | {-# CONTENT_TYPE DAPP #-} |
---|
4 | | - | let alicePubKey = base58'H7H9WWXh7jDTrFFc5VmTG4RrgJYzHpFyNifWfqy5xBgG' |
---|
5 | | - | |
---|
6 | | - | let bobPubKey = base58'H1UcayXjKc7QrAmJ3erroxQ5wApeMNPzQ5XEX9ZZ11Tv' |
---|
7 | | - | |
---|
8 | | - | let cooperPubKey = base58'6NELMuugHtPjNMo1XK5zcBoHcb7AGJe7yc8vDdXphgW3' |
---|
9 | | - | |
---|
10 | | - | |
---|
11 | | - | @Verifier(tx) |
---|
12 | | - | func verify () = { |
---|
13 | | - | let alice1 = sigVerify(tx.bodyBytes, tx.proofs[0], alicePubKey) |
---|
14 | | - | let alice2 = sigVerify(tx.bodyBytes, tx.proofs[1], alicePubKey) |
---|
15 | | - | let alice3 = sigVerify(tx.bodyBytes, tx.proofs[2], alicePubKey) |
---|
16 | | - | let bob1 = sigVerify(tx.bodyBytes, tx.proofs[0], bobPubKey) |
---|
17 | | - | let bob2 = sigVerify(tx.bodyBytes, tx.proofs[1], bobPubKey) |
---|
18 | | - | let bob3 = sigVerify(tx.bodyBytes, tx.proofs[2], bobPubKey) |
---|
19 | | - | let cooper1 = sigVerify(tx.bodyBytes, tx.proofs[0], cooperPubKey) |
---|
20 | | - | let cooper2 = sigVerify(tx.bodyBytes, tx.proofs[1], cooperPubKey) |
---|
21 | | - | let cooper3 = sigVerify(tx.bodyBytes, tx.proofs[2], cooperPubKey) |
---|
22 | | - | let aliceAndBob = if (if (if (if (if (if (alice1) |
---|
23 | | - | then bob2 |
---|
24 | | - | else false) |
---|
25 | | - | then true |
---|
26 | | - | else if (alice1) |
---|
27 | | - | then bob3 |
---|
28 | | - | else false) |
---|
29 | | - | then true |
---|
30 | | - | else if (alice2) |
---|
31 | | - | then bob1 |
---|
32 | | - | else false) |
---|
33 | | - | then true |
---|
34 | | - | else if (alice2) |
---|
35 | | - | then bob3 |
---|
36 | | - | else false) |
---|
37 | | - | then true |
---|
38 | | - | else if (alice3) |
---|
39 | | - | then bob1 |
---|
40 | | - | else false) |
---|
41 | | - | then true |
---|
42 | | - | else if (alice3) |
---|
43 | | - | then bob2 |
---|
44 | | - | else false |
---|
45 | | - | let aliceAndCooper = if (if (if (if (if (if (alice1) |
---|
46 | | - | then cooper2 |
---|
47 | | - | else false) |
---|
48 | | - | then true |
---|
49 | | - | else if (alice1) |
---|
50 | | - | then cooper3 |
---|
51 | | - | else false) |
---|
52 | | - | then true |
---|
53 | | - | else if (alice2) |
---|
54 | | - | then cooper1 |
---|
55 | | - | else false) |
---|
56 | | - | then true |
---|
57 | | - | else if (alice2) |
---|
58 | | - | then cooper3 |
---|
59 | | - | else false) |
---|
60 | | - | then true |
---|
61 | | - | else if (alice3) |
---|
62 | | - | then cooper1 |
---|
63 | | - | else false) |
---|
64 | | - | then true |
---|
65 | | - | else if (alice3) |
---|
66 | | - | then cooper2 |
---|
67 | | - | else false |
---|
68 | | - | let bobAndCooper = if (if (if (if (if (if (cooper1) |
---|
69 | | - | then bob2 |
---|
70 | | - | else false) |
---|
71 | | - | then true |
---|
72 | | - | else if (cooper1) |
---|
73 | | - | then bob3 |
---|
74 | | - | else false) |
---|
75 | | - | then true |
---|
76 | | - | else if (cooper2) |
---|
77 | | - | then bob1 |
---|
78 | | - | else false) |
---|
79 | | - | then true |
---|
80 | | - | else if (cooper2) |
---|
81 | | - | then bob3 |
---|
82 | | - | else false) |
---|
83 | | - | then true |
---|
84 | | - | else if (cooper3) |
---|
85 | | - | then bob1 |
---|
86 | | - | else false) |
---|
87 | | - | then true |
---|
88 | | - | else if (cooper3) |
---|
89 | | - | then bob2 |
---|
90 | | - | else false |
---|
91 | | - | match tx { |
---|
92 | | - | case _ => |
---|
93 | | - | if (if (aliceAndBob) |
---|
94 | | - | then true |
---|
95 | | - | else aliceAndCooper) |
---|
96 | | - | then true |
---|
97 | | - | else bobAndCooper |
---|
98 | | - | } |
---|
99 | | - | } |
---|
100 | | - | |
---|
| 2 | + | {-# CONTENT_TYPE EXPRESSION #-} |
---|
| 3 | + | sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey) |
---|