Comparing balanced ℤ_v-sequences obtained from ElGamal function to random balanced sequences
In this paper, we investigate the randomness properties of sequences in ℤ_v derived from permutations in ℤ_p^* using the remainder function modulo v, where p is a prime integer. Motivated by earlier studies with a cryptographic focus we compare sequences constructed from the ElGamal function x → g^x for x∈ℤ_>0 and g a primitive element of ℤ_p^*, to sequences constructed from random permutations of ℤ_p^*. We prove that sequences obtained from ElGamal have maximal period and behave similarly to random permutations with respect to the balance and run properties of Golomb's postulates for pseudo-random sequences. Additionally we show that they behave similarly to random permutations for the tuple balance property. This requires some significant work determining properties of random balanced periodic sequences. In general, for these properties and excepting for very unlikely events, the ElGamal sequences behave the same as random balanced sequences.
READ FULL TEXT