SZK proofs for black-box group problems

  • Authors:
  • V. Arvind;Bireswar Das

  • Affiliations:
  • Institute of Mathematical Sciences, Chennai, India;Institute of Mathematical Sciences, Chennai, India

  • Venue:
  • CSR'06 Proceedings of the First international computer science conference on Theory and Applications
  • Year:
  • 2006
  • The complexity of zero knowledge

    FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we classify several group-theoretic computational problems into the classes PZK and SZK (problems with perfect/statistical zero-knowledge proofs respectively). Prior to this, these problems were known to be in AM ∩ coAM. As PZK ⊆ SZK ⊆ AM ∩ coAM, we have a tighter upper bound for these problems.