Competing-Provers Protocols for Circuit Evaluation.

Gillat Kol Ran Raz

Published in: Theory Comput. (2014)

Keyphrases

theorem proving
social networks
high speed
evaluation process
information systems
case study
communication protocol
communication protocols