A Paradoxical Indentity-Based Signature Scheme Resulting from Zero-Knowledge
The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract)