| 摘要 |
<p>A data provider provides and proves an association between a first data value A and a second data value B. The data provider computes evidence E of an association between A and B and ensures that a verifier has A, B and E. The data provider then runs an interactive proof with the verifier to convince the verifier that the evidence is valid evidence of an association between A and B, but without enabling the verifier to provide proof of the validity of the evidence to a third party.</p> |
