Abstract

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