disputes

Disputes STF Test Vectors

We offer two types of test vectors:

• Tiny: These are designed for quick adjustments and prototyping, with reduced validators (6) and a shorter epoch duration (12).
• Full: These vectors use production validators count (1023) and epoch duration (600).

Both JSON and SCALE formats conform to the JAM ASN.1 schema and this subsystem STF specific schema.

STF Output

Technically, the STF execution process does not inherently produce auxiliary outputs beyond the success or failure result. In this context, we propose an extension to include additional information that may be beneficial for implementors or useful for executing other subsystems reliant on values generated post-STF execution.

When the error or success values are not pertinent to your test vector processing procedures, you may disregard them as necessary.

A mapping of error code semantics is provided within the ASN.1 schema for this subsystem.

Availability Assignments

Most tests use null entries for state availability assignments (rho). The state rho items are only populated, with dummy values, for the specific tests that verify the invalidation of assignments following a verdict.

Tiny Vectors

• progress_with_no_verdicts-1 🟢

  • No verdicts, nothing special happens

• progress_with_verdicts-1 🔴

  • Not sorted work reports within a verdict

• progress_with_verdicts-2 🔴

  • Not unique votes within a verdict

• progress_with_verdicts-3 🔴

  • Not sorted, valid verdicts

• progress_with_verdicts-4 🟢

  • Sorted, valid verdicts

• progress_with_verdicts-5 🔴

  • Not homogeneous judgements, but positive votes count is not correct

• progress_with_verdicts-6 🟢

  • Not homogeneous judgements, results in wonky verdict

• progress_with_culprits-1 🔴

  • Missing culprits for bad verdict

• progress_with_culprits-2 🔴

  • Single culprit for bad verdict

• progress_with_culprits-3 🔴

  • Two culprits for bad verdict, not sorted

• progress_with_culprits-4 🟢

  • Two culprits for bad verdict, sorted

• progress_with_culprits-5 🔴

  • Report an already recorded verdict, with culprits

• progress_with_culprits-6 🔴

  • Culprit offender already in the offenders list

• progress_with_culprits-7 🔴

  • Offender relative to a not present verdict

• progress_with_faults-1 🔴

  • Missing faults for good verdict

• progress_with_faults-2 🟢

  • One fault offender for good verdict

• progress_with_faults-3 🔴

  • Two fault offenders for a good verdict, not sorted

• progress_with_faults-4 🟢

  • Two fault offenders for a good verdict, sorted

• progress_with_faults-5 🔴

  • Report an already recorded verdict, with faults

• progress_with_faults-6 🔴

  • Fault offender already in the offenders list

• progress_with_faults-7 🔴

  • Auditor marked as offender, but vote matches the verdict.

• progress_invalidates_avail_assignments-1 🟢

  • Invalidation of availability assignments

• progress_with_bad_signatures-1 🔴

  • Bad signature within the verdict judgements

• progress_with_bad_signatures-2 🔴

  • Bad signature within the culprits sequence

• progress_with_verdict_signatures_from_previous_set-1 🟢

  • Use previous epoch validators set for verdict signatures verification

• progress_with_verdict_signatures_from_previous_set-2 🔴

  • Age too old for verdicts judgements

Full Vectors

Currently, the same test cases as tiny vectors but at a larger scale.