Added details to the section on the discrete logarithm zero-knowledge protocol.