Merge pull request w3f#38 from davxy/improve-disputes-vectors

Improve disputes vectors

Author: davxy

disputes/README.md

@@ -59,6 +59,10 @@ tests that verify the invalidation of assignments following a verdict.
   - Bad signature within the verdict judgements
 - [progress_with_bad_signatures-2](tiny/progress_with_bad_signatures-2.json) 🔴
   - Bad signature within the culprits sequence
+- [progress_with_invalid_keys-1](tiny/progress_with_invalid_keys-1.json) 🔴
+  - Unexpected key found in the culprits sequence
+- [progress_with_invalid_keys-2](tiny/progress_with_invalid_keys-2.json) 🔴
+  - Unexpected key found in the faults sequence
 - [progress_with_verdict_signatures_from_previous_set-1](tiny/progress_with_verdict_signatures_from_previous_set-1.json) 🟢
   - Use previous epoch validators set for verdict signatures verification
 - [progress_with_verdict_signatures_from_previous_set-2](tiny/progress_with_verdict_signatures_from_previous_set-2.json) 🔴

disputes/disputes.asn

@@ -48,7 +48,9 @@ ErrorCode ::= ENUMERATED {
     offender-already-reported (10),
     bad-judgement-age (11),
     bad-validator-index (12),
-    bad-signature (13)
+    bad-signature (13),
+    bad-guarantor-key (14),
+    bad-auditor-key (15)
 }
 
 Output ::= CHOICE {

disputes/full/progress_with_bad_signatures-1.bin

@@ -24,7 +24,7 @@
                         {
                             "vote": false,
                             "index": 3,
-                            "signature": "0xcc3cd8f3cf74bd5582feebcb2198a5fa979e4d3efffb162bf38982b64f6fa02887c4eca13d0ef0269510b4dd7bb29b47ca8d95475bf9b7a4e9e523597f7d9e03"
+                            "signature": "0x32d812ab1689708f9b15102ebaee03c27e12d906d74e4f828407cb5084c7b462b7dbf50ce763ce1a74e448b4a44aafe4d73074f1e7bc46d3c9b65bf5d78ca20d"
                         },
                         {
                             "vote": false,

disputes/full/progress_with_bad_signatures-1.json

@@ -3427,13 +3427,13 @@
             "culprits": [
                 {
                     "target": "0x0e5751c026e543b2e8ab2eb06099daa1d1e5df47778f7787faab45cdf12fe3a8",
-                    "key": "0xb3e0e096b02e2ec98a3441410aeddd78c95e27a0da6f411a09c631c0f2bea6e9",
-                    "signature": "0xc935d19a67d96edd5bff539e11a0340153acb119d4bb83e7f60aba87e6fec4acb236d19a97476924d311390accede172a045978dcb0a65adb528ff0e7f7cf609"
+                    "key": "0x5c7f34a4bd4f2d04076a8c6f9060a0c8d2c6bdd082ceb3eda7df381cb260faff",
+                    "signature": "0xd5cb84d8e0ea77941eb2a1e5cba3eb916c1ead28bdd0a05a43ab640ea07fd00e3c055a0a90b3a66953fe6f8efc5dca3b3d4acf849870b1904ff770d00ec6860c"
                 },
                 {
                     "target": "0x0e5751c026e543b2e8ab2eb06099daa1d1e5df47778f7787faab45cdf12fe3a8",
-                    "key": "0x3b6a27bcceb6a42d62a3a8d02a6f0d73653215771de243a63ac048a18b59da29",
-                    "signature": "0x7ec23531ebc5aa88883a8b8f1f7b1f05ea18fa12f735de02a167309fe41bb0a87f5ff05d7c00c15fbc19f181badd53e0ec25d9a62e742d239c2058f4964b040f"
+                    "key": "0xb3e0e096b02e2ec98a3441410aeddd78c95e27a0da6f411a09c631c0f2bea6e9",
+                    "signature": "0x6cfa774b471ac2df262d2762e77b2c74b6f912c7482b61435c0af6ca7a77b05f4c102b1c96950aa5f073a35908970da8387285b7083d9ea9220a04b93be9f303"
                 }
             ],
             "faults": []
@@ -3442,14 +3442,9 @@
     "pre_state": {
         "psi": {
             "good": [],
-            "bad": [
-                "0x0e5751c026e543b2e8ab2eb06099daa1d1e5df47778f7787faab45cdf12fe3a8"
-            ],
+            "bad": [],
             "wonky": [],
-            "offenders": [
-                "0x22351e22105a19aabb42589162ad7f1ea0df1c25cebf0e4a9fcd261301274862",
-                "0x3b6a27bcceb6a42d62a3a8d02a6f0d73653215771de243a63ac048a18b59da29"
-            ]
+            "offenders": []
         },
         "rho": [
             null,
@@ -16082,14 +16077,9 @@
     "post_state": {
         "psi": {
             "good": [],
-            "bad": [
-                "0x0e5751c026e543b2e8ab2eb06099daa1d1e5df47778f7787faab45cdf12fe3a8"
-            ],
+            "bad": [],
             "wonky": [],
-            "offenders": [
-                "0x22351e22105a19aabb42589162ad7f1ea0df1c25cebf0e4a9fcd261301274862",
-                "0x3b6a27bcceb6a42d62a3a8d02a6f0d73653215771de243a63ac048a18b59da29"
-            ]
+            "offenders": []
         },
         "rho": [
             null,