Login / Signup

Zero-Knowledge With Finite State Verifiers.

Cynthia DworkLarry J. Stockmeyer
Published in: CRYPTO (1988)
Keyphrases
  • finite state
  • markov chain
  • model checking
  • optimal policy
  • markov decision processes
  • knowledge base
  • machine learning
  • natural language processing
  • tree automata
  • similarity measure
  • knowledge representation