Fully parallelized multi prover protocols for NEXP-time
- 9 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- On the success probability of the two provers in one-round proof systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- PSPACE is provable by two provers in one roundPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Algebraic methods for interactive proof systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A One-Round, Two-Prover, Zero-Knowledge Protocol for NPPublished by Springer Nature ,2001
- IP = PSPACEJournal of the ACM, 1992
- Multi-prover interactive proofs: how to remove intractabilityPublished by Association for Computing Machinery (ACM) ,1988