U-Prove Range Proof Extension

Mira Belenkiy

MSR-TR-2014-88 |

This document extends the U-Prove Cryptographic Specification by specifying set membership proofs. This allows proving that a committed value is less than, less than or equal to, greater than, or greater than or equal to another (committed) value.