In the several places in the protocol we need a vector of random bits, which can be hashed or XOR'ed with another vector. See random_bits() to find where those are created. We need to either encapsulate them in our own type, or use something like bitvec