GitLab

Example: equivalence? ss_a, ss_b

Checks whether any protocol scenario can be derived such that the given values are not equivalent to one another. This query could be useful for checking if all parties derived the same shared secret, for example.