marina@ai.toronto.edu (Marina Haloulos) (10/31/89)
Department of Computer Science, University of Toronto
(GB = Gailbraith Building, 35 St. George Street)
-------------------------------------------------------------
THEORY SEMINAR
GB119, at 3:00 p.m., Thursday 9 November 1989
Dr. Shafi Goldwasser
MIT Lab for Computer Science
""
"New Methods for Digital Signatures Based on
Non Interactive Zero Knowledge Proofs"
Using non-interactive zero knowledge proofs we provide a simple new
paradigm for digital signing and message authentication secure against
adaptive chosen message attack.
We require that the non-interactive zero-knowledge proofs be "publicly
verifiable": they should be checkable by anyone rather than directed at a
particular verifier. We accordingly show how to implement non-interactive
zero knowledge proofs in a network which have the property that anyone in
the network can individually check correctness while the proof is in zero
knowledge to any sufficiently small coalition. This enables us to
implement signatures which are history independent.