U-Prove Bit Decomposition Extension

Mira Belenkiy

MSR-TR-2014-83 |

This document extends the U-Prove Cryptographic Specification by specifying bit decomposition proofs, useful for other extension protocols.