Invariant signatures and non-interactive zero ...

4 downloads 227 Views 1016KB Size Report
interactive zero-knowledge proofs implies the existence of digital signatures (se- ... (polynomial size) random string set up by the system (a model defined by.