U-Prove Bit Decomposition Extension

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