Multi‐Conditional‐Endorsement‐Triples

Multi-Conditional-Endorsement-Triples

This page describes an extension of conditional-endorsement-triples record which a CoRIM author can use to add an Endorsement to the Accepted Claims Set conditional on the existence of one or more Evidence or Endorsement claims in the ACS.

The proposed new triple extends previous conditional endorsement triples in two ways:

1. When processing the triple, the verifier checks for the presence of multiple existing Claims in the ACS, these claims can be in different environment-maps
2. The Endorsements added by this triple can be added to any environment-map, they do not have to be added to the environment-map used for the Claim check

Multi-Conditional-Endorsement-Triple (MCE)

The semantics of the new triple is as follows:

IF accepted state matches all Conditions THEN add all the specified Endorsements

multi-conditional-endorsement-triple-record = [
    + multi-conditional-endorsement
]

multi-conditional-endorsement = [
    cond: [ + stateful-environment-record ]
    end:  [ + stateful-environment-record ]
]

The order of processing conditional endorsement triples is important.

After adding a conditional Endorsement to the ACS, the Verifier MUST check all conditional endorsement triples which have not already matched but might match the new triple to give them an opportunity to add their Endorsements.