Assertion: commitment | /r/HasProperty | opened
Facets:
value: during protocol execution
type: TEMPORAL
Source sentences:
text: Hence, when the commitment is opened during protocol execution, it is unlikely that F will open to m, unless S can extract m from the messages it received from the environment before R outputs the receipt.