U-Prove Inequality Proof Extension

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.