increased the size of the random factors in the Commitment equality proof.
The new parameters are now computed with a substantial security margin
for statistical ZK. This required some changes to the way that ephemeral
commitments are generated. Also added some cleaner comments.