One Message Proof Systems with Known Space Verifiers

This publication has 12 references indexed in Scilit:

• Multiple non-interactive zero knowledge proofs based on a single random string
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Finite state verifiers II
  Journal of the ACM, 1992
• One-message statistical Zero-Knowledge Proofs and space-bounded verifier
  Published by Springer Nature ,1992
• Proof verification and hardness of approximation problems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• Noninteractive Zero-Knowledge
  SIAM Journal on Computing, 1991
• Witness indistinguishable and witness hiding protocols
  Published by Association for Computing Machinery (ACM) ,1990
• The Knowledge Complexity of Interactive Proof Systems
  SIAM Journal on Computing, 1989
• Zero-knowledge proofs of identity
  Journal of Cryptology, 1988
• Unbiased Bits from Sources of Weak Randomness and Probabilistic Communication Complexity
  SIAM Journal on Computing, 1988
• Bounded-width polynomial-size branching programs recognize exactly those languages in NC¹
  Published by Association for Computing Machinery (ACM) ,1986