Paper 2014/060

Verifiable Computation in Multiparty Protocols with Honest Majority

Peeter Laud and Alisa Pankova


We present a generic method for turning passively secure protocols into protocols secure against covert attacks. The method adds a post-execution verification phase to the protocol that allows a misbehaving party to escape detection only with negligible probability. The execution phase, after which the computed protocol result is already available for parties, has only negligible overhead added by our method. The checks, based on linear probabilistically checkable proofs, are done in zero-knowledge, thereby preserving the privacy guarantees of the original protocol. Our method is inspired by recent results in verifiable computation, adapting them to multiparty setting and significantly lowering their computational costs for the provers.

Available format(s)
Publication info
Published elsewhere. Major revision. ProvSec 2014
Secure multiparty computationverifiable computationlinear PCP
Contact author(s)
peeter @ cyber ee
2014-08-07: last of 2 revisions
2014-01-28: received
See all versions
Short URL
Creative Commons Attribution


      author = {Peeter Laud and Alisa Pankova},
      title = {Verifiable Computation in Multiparty Protocols with Honest Majority},
      howpublished = {Cryptology ePrint Archive, Paper 2014/060},
      year = {2014},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.