U-Prove Inequality Proof Extension

Mira Belenkiy

MSR-TR-2014-87 |

This document extends the U-Prove Cryptographic Specification by specifying equality of discrete logarithm representation proofs. This allows proving equality between U-Prove attribute values.