Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Test Vectors for the JAM Protocol (0.7.1)
# Test Vectors for the JAM Protocol

## Classes

Expand Down
12 changes: 4 additions & 8 deletions stf/disputes/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -29,18 +29,14 @@ tests that verify the invalidation of assignments following a verdict.
- [progress_with_verdicts-6](tiny/progress_with_verdicts-6.json) 🟢
- Not homogeneous judgements, results in wonky verdict
- [progress_with_culprits-1](tiny/progress_with_culprits-1.json) 🔴
- Missing culprits for bad verdict
- [progress_with_culprits-2](tiny/progress_with_culprits-2.json) 🔴
- Single culprit for bad verdict
- [progress_with_culprits-3](tiny/progress_with_culprits-3.json) 🔴
- Two culprits for bad verdict, not sorted
- [progress_with_culprits-4](tiny/progress_with_culprits-4.json) 🟢
- [progress_with_culprits-2](tiny/progress_with_culprits-2.json) 🟢
- Two culprits for bad verdict, sorted
- [progress_with_culprits-5](tiny/progress_with_culprits-5.json) 🔴
- [progress_with_culprits-3](tiny/progress_with_culprits-3.json) 🔴
- Report an already recorded verdict, with culprits
- [progress_with_culprits-6](tiny/progress_with_culprits-6.json) 🔴
- [progress_with_culprits-4](tiny/progress_with_culprits-4.json) 🔴
- Culprit offender already in the offenders list
- [progress_with_culprits-7](tiny/progress_with_culprits-7.json) 🔴
- [progress_with_culprits-5](tiny/progress_with_culprits-5.json) 🔴
- Offender relative to a not present verdict
- [progress_with_faults-1](tiny/progress_with_faults-1.json) 🔴
- Missing faults for good verdict
Expand Down
1 change: 0 additions & 1 deletion stf/disputes/disputes.asn
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,6 @@ ErrorCode ::= ENUMERATED {
judgements-not-sorted-unique (3),
culprits-not-sorted-unique (4),
faults-not-sorted-unique (5),
not-enough-culprits (6),
not-enough-faults (7),
culprits-verdict-not-bad (8),
fault-verdict-wrong (9),
Expand Down
1 change: 0 additions & 1 deletion stf/disputes/disputes.py
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,6 @@ class DisputesTestVector(StfTestVector):
3: "judgements_not_sorted_unique",
4: "culprits_not_sorted_unique",
5: "faults_not_sorted_unique",
6: "not_enough_culprits",
7: "not_enough_faults",
8: "culprits_verdict_not_bad",
9: "fault_verdict_wrong",
Expand Down
Binary file modified stf/disputes/full/progress_with_culprits-1.bin
Binary file not shown.
15 changes: 13 additions & 2 deletions stf/disputes/full/progress_with_culprits-1.json
Original file line number Diff line number Diff line change
Expand Up @@ -3424,7 +3424,18 @@
]
}
],
"culprits": [],
"culprits": [
{
"target": "0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9",
"key": "0xcab2b9ff25c2410fbe9b8a717abb298c716a03983c98ceb4def2087500b8e341",
"signature": "0x63722acdfcb17943b657d72938162138d0fba7ec4bc6c5696fbc54ffdfe0a936bb314c2185d705c02eb441bb16e9bdb232c8bcc669e724875ce33dcd2ab42c0f"
},
{
"target": "0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9",
"key": "0x4418fb8c85bb3985394a8c2756d3643457ce614546202a2f50b093d762499ace",
"signature": "0x9a778d051dc8679b3bf67acb6e5f49ee18c55b3be99cd4b052e91df978343abeff0b2502fdae1b8c40e3ea40cd71671516cba724c31887c3ad7314b91a64c000"
}
],
"faults": []
}
},
Expand Down Expand Up @@ -16061,7 +16072,7 @@
]
},
"output": {
"err": "not_enough_culprits"
"err": "culprits_not_sorted_unique"
},
"post_state": {
"psi": {
Expand Down
Binary file modified stf/disputes/full/progress_with_culprits-2.bin
Binary file not shown.
21 changes: 18 additions & 3 deletions stf/disputes/full/progress_with_culprits-2.json
Original file line number Diff line number Diff line change
Expand Up @@ -3429,6 +3429,11 @@
"target": "0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9",
"key": "0x4418fb8c85bb3985394a8c2756d3643457ce614546202a2f50b093d762499ace",
"signature": "0x9a778d051dc8679b3bf67acb6e5f49ee18c55b3be99cd4b052e91df978343abeff0b2502fdae1b8c40e3ea40cd71671516cba724c31887c3ad7314b91a64c000"
},
{
"target": "0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9",
"key": "0xcab2b9ff25c2410fbe9b8a717abb298c716a03983c98ceb4def2087500b8e341",
"signature": "0x63722acdfcb17943b657d72938162138d0fba7ec4bc6c5696fbc54ffdfe0a936bb314c2185d705c02eb441bb16e9bdb232c8bcc669e724875ce33dcd2ab42c0f"
}
],
"faults": []
Expand Down Expand Up @@ -16067,14 +16072,24 @@
]
},
"output": {
"err": "not_enough_culprits"
"ok": {
"offenders_mark": [
"0x4418fb8c85bb3985394a8c2756d3643457ce614546202a2f50b093d762499ace",
"0xcab2b9ff25c2410fbe9b8a717abb298c716a03983c98ceb4def2087500b8e341"
]
}
},
"post_state": {
"psi": {
"good": [],
"bad": [],
"bad": [
"0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9"
],
"wonky": [],
"offenders": []
"offenders": [
"0x4418fb8c85bb3985394a8c2756d3643457ce614546202a2f50b093d762499ace",
"0xcab2b9ff25c2410fbe9b8a717abb298c716a03983c98ceb4def2087500b8e341"
]
},
"rho": [
null,
Expand Down
Binary file modified stf/disputes/full/progress_with_culprits-3.bin
Binary file not shown.
18 changes: 11 additions & 7 deletions stf/disputes/full/progress_with_culprits-3.json
Original file line number Diff line number Diff line change
Expand Up @@ -3427,13 +3427,13 @@
"culprits": [
{
"target": "0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9",
"key": "0xcab2b9ff25c2410fbe9b8a717abb298c716a03983c98ceb4def2087500b8e341",
"signature": "0x63722acdfcb17943b657d72938162138d0fba7ec4bc6c5696fbc54ffdfe0a936bb314c2185d705c02eb441bb16e9bdb232c8bcc669e724875ce33dcd2ab42c0f"
"key": "0x4418fb8c85bb3985394a8c2756d3643457ce614546202a2f50b093d762499ace",
"signature": "0x9a778d051dc8679b3bf67acb6e5f49ee18c55b3be99cd4b052e91df978343abeff0b2502fdae1b8c40e3ea40cd71671516cba724c31887c3ad7314b91a64c000"
},
{
"target": "0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9",
"key": "0x4418fb8c85bb3985394a8c2756d3643457ce614546202a2f50b093d762499ace",
"signature": "0x9a778d051dc8679b3bf67acb6e5f49ee18c55b3be99cd4b052e91df978343abeff0b2502fdae1b8c40e3ea40cd71671516cba724c31887c3ad7314b91a64c000"
"key": "0xcab2b9ff25c2410fbe9b8a717abb298c716a03983c98ceb4def2087500b8e341",
"signature": "0x63722acdfcb17943b657d72938162138d0fba7ec4bc6c5696fbc54ffdfe0a936bb314c2185d705c02eb441bb16e9bdb232c8bcc669e724875ce33dcd2ab42c0f"
}
],
"faults": []
Expand All @@ -3442,7 +3442,9 @@
"pre_state": {
"psi": {
"good": [],
"bad": [],
"bad": [
"0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9"
],
"wonky": [],
"offenders": []
},
Expand Down Expand Up @@ -16072,12 +16074,14 @@
]
},
"output": {
"err": "culprits_not_sorted_unique"
"err": "already_judged"
},
"post_state": {
"psi": {
"good": [],
"bad": [],
"bad": [
"0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9"
],
"wonky": [],
"offenders": []
},
Expand Down
Binary file modified stf/disputes/full/progress_with_culprits-4.bin
Binary file not shown.
18 changes: 6 additions & 12 deletions stf/disputes/full/progress_with_culprits-4.json
Original file line number Diff line number Diff line change
Expand Up @@ -3444,7 +3444,9 @@
"good": [],
"bad": [],
"wonky": [],
"offenders": []
"offenders": [
"0x4418fb8c85bb3985394a8c2756d3643457ce614546202a2f50b093d762499ace"
]
},
"rho": [
null,
Expand Down Expand Up @@ -16072,23 +16074,15 @@
]
},
"output": {
"ok": {
"offenders_mark": [
"0x4418fb8c85bb3985394a8c2756d3643457ce614546202a2f50b093d762499ace",
"0xcab2b9ff25c2410fbe9b8a717abb298c716a03983c98ceb4def2087500b8e341"
]
}
"err": "offender_already_reported"
},
"post_state": {
"psi": {
"good": [],
"bad": [
"0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9"
],
"bad": [],
"wonky": [],
"offenders": [
"0x4418fb8c85bb3985394a8c2756d3643457ce614546202a2f50b093d762499ace",
"0xcab2b9ff25c2410fbe9b8a717abb298c716a03983c98ceb4def2087500b8e341"
"0x4418fb8c85bb3985394a8c2756d3643457ce614546202a2f50b093d762499ace"
]
},
"rho": [
Expand Down
Binary file modified stf/disputes/full/progress_with_culprits-5.bin
Binary file not shown.
15 changes: 8 additions & 7 deletions stf/disputes/full/progress_with_culprits-5.json
Original file line number Diff line number Diff line change
Expand Up @@ -3430,6 +3430,11 @@
"key": "0x4418fb8c85bb3985394a8c2756d3643457ce614546202a2f50b093d762499ace",
"signature": "0x9a778d051dc8679b3bf67acb6e5f49ee18c55b3be99cd4b052e91df978343abeff0b2502fdae1b8c40e3ea40cd71671516cba724c31887c3ad7314b91a64c000"
},
{
"target": "0xe12c22d4f162d9a012c9319233da5d3e923cc5e1029b8f90e47249c9ab256b35",
"key": "0xad93247bd01307550ec7acd757ce6fb805fcf73db364063265b30a949e90d933",
"signature": "0xc8d63a4378ac71db8b700357c15f7fc5e85c0346235195079febb4a7c2ed593df70ccacc78f5f001ea2bc5add7d612bb565518ff2d8849544a6de7a5d5222900"
},
{
"target": "0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9",
"key": "0xcab2b9ff25c2410fbe9b8a717abb298c716a03983c98ceb4def2087500b8e341",
Expand All @@ -3442,9 +3447,7 @@
"pre_state": {
"psi": {
"good": [],
"bad": [
"0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9"
],
"bad": [],
"wonky": [],
"offenders": []
},
Expand Down Expand Up @@ -16074,14 +16077,12 @@
]
},
"output": {
"err": "already_judged"
"err": "culprits_verdict_not_bad"
},
"post_state": {
"psi": {
"good": [],
"bad": [
"0x11da6d1f761ddf9bdb4c9d6e5303ebd41f61858d0a5647a1a7bfe089bf921be9"
],
"bad": [],
"wonky": [],
"offenders": []
},
Expand Down
Binary file removed stf/disputes/full/progress_with_culprits-6.bin
Binary file not shown.
Loading
Loading