Some properties about the image of pedersen.
[ZPS] includes theorems showing that certain values are not possible values of Pedersen hash.