IP=PSPACE (interactive proof=polynomial space)

It is proved that, when both randomization and interaction are allowed, the proofs that can be verified in polynomial time are exactly those proofs that can be generated with polynomial space. The interactive proofs introduced use only public coins, are accepted with probability one when the prover...

Full description

Saved in:
Bibliographic Details
Published inFoundations of Computer Science, 31st Symposium pp. 11 - 15 vol.1
Main Author Shamir, A.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1990
Subjects
Boolean functions
Mathematics
Polynomials
Online AccessGet full text
ISBN081862082X
9780818620829
DOI10.1109/FSCS.1990.89519

Cover

Abstract It is proved that, when both randomization and interaction are allowed, the proofs that can be verified in polynomial time are exactly those proofs that can be generated with polynomial space. The interactive proofs introduced use only public coins, are accepted with probability one when the prover is honest, require only logarithmic workspace when the verifier is given a two-way access to his or her random tape, and by the use of known techniques can be turned into zero-knowledge proofs under the sole assumption that one-way functions exist.< >
AbstractList It is proved that, when both randomization and interaction are allowed, the proofs that can be verified in polynomial time are exactly those proofs that can be generated with polynomial space. The interactive proofs introduced use only public coins, are accepted with probability one when the prover is honest, require only logarithmic workspace when the verifier is given a two-way access to his or her random tape, and by the use of known techniques can be turned into zero-knowledge proofs under the sole assumption that one-way functions exist.< >
Author Shamir, A.
Author_xml – sequence: 1
  givenname: A.
  surname: Shamir
  fullname: Shamir, A.
  organization: Dept. of Appl. Math., Weizmann Inst. of Sci., Rehovot, Israel
BookMark eNotj79Lw0AYQA9U0NbO4pZRh8T7nbuhQwmtFgoGouBWvst9BydpLiRB6H-vqG9524O3IJd96pGQO0YLxqh92jVVUzBraWGsYvaCLKhhRnNq-Mc1WU3TJ_1BKSO4uCHFvl7XTb2pttlD7GccoZ3jF2bDmFJYD6k79-kUocumAVp8vCVXAboJV_9ekvfd9q16yQ-vz_tqc8gjo2LOuTIyKNlaCLrkHjk6K6njUqMGrVRwpWeOWd0K74UQqK3zAFzS0pQQqFiS-79uRMTjMMYTjOfj75D4Bn8lQWk
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/FSCS.1990.89519
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
EndPage 15 vol.1
ExternalDocumentID 89519
GroupedDBID 6IE
6IK
6IL
AAJGR
AAWTH
ACGHX
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
IERZE
OCL
RIB
RIC
RIE
RIL
ID FETCH-LOGICAL-i103t-2584f54c9af672de2eb940b246e6a655fb7d1b196c3dd333e69bdaa240787af03
IEDL.DBID RIE
ISBN 081862082X
9780818620829
IngestDate Tue Aug 26 17:02:09 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i103t-2584f54c9af672de2eb940b246e6a655fb7d1b196c3dd333e69bdaa240787af03
ParticipantIDs ieee_primary_89519
PublicationCentury 1900
PublicationDate 19900000
PublicationDateYYYYMMDD 1990-01-01
PublicationDate_xml – year: 1990
  text: 19900000
PublicationDecade 1990
PublicationTitle Foundations of Computer Science, 31st Symposium
PublicationTitleAbbrev SFCS
PublicationYear 1990
Publisher IEEE Comput. Soc. Press
Publisher_xml – name: IEEE Comput. Soc. Press
SSID ssj0000558323
Score 1.2537909
Snippet It is proved that, when both randomization and interaction are allowed, the proofs that can be verified in polynomial time are exactly those proofs that can be...
SourceID ieee
SourceType Publisher
StartPage 11
SubjectTerms Boolean functions
Mathematics
Polynomials
Title IP=PSPACE (interactive proof=polynomial space)
URI https://ieeexplore.ieee.org/document/89519
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjZ3NS8MwGMaD20kvOp34TQ8e9NAubT7aHHaQsTGFSWEOdhtJ8wZEWYfrBP3rTdJtonjw1vZQkjbN8-Ztnt-L0LUxRYaJZHaRY0RoJzwWSsrj0IohS7g2WoIzOI8e-XBCH6ZsusbkeC8MAPjNZxC5Q_8vX5fFyqXKOpkNB0QDNewgq51a22wKZswOTeIBj7EN0q2wbfA6m3OxBvvEWHQG497Y-fRw5G_5o7KKF5bBfl2haOl5hG4_yUu0qlRUfP6iNf6vzQeo_W3gC_KtNLXQDswP0d5oi2hdHqHoPu_m4_yu1w9uHDPCu6XeIbDtKE13Ub5-OMOyfA3slFPAbRtNBv2n3jBcF08In2NMqjCxkYVhtBDS8DTRkIASFKuEcuCSM2ZUqmNlv7-CaE0IAS6UltIt8LJUGkyOUXNezuEEBRnPCNGJ4tQIKlKptBZaikLZ4AMrIKeo5fo9W9R8jJnv8tlfF8_RrnvqdQrjAjWrtxVcWlGv1JV_n18tup2e
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjZ3NT8IwGMYbxYN6URTjtzt40MNmt35sPXAwBAIKZAmQcCPt2iZGwogME_3rbTvAaDx423ZY2rTr8_Zdn98LwK3WWQIRJ2aTo5lvFjzic0xD34ghiajUkitrcO71aXuEn8ZkvMLkOC-MUsodPlOBvXT_8mWeLW2q7CEx4QDbBjtG9TEpvVqbfAokxExO5BCPoQnTjbStATvre7ZC-4SQPbQGjYF16sHAvfRHbRUnLa2DskbRwhEJ7YmS12BZiCD7_MVr_F-rD0Ht28LnpRtxqoItNTsC-70NpHVxDIJOWk8H6WOj6d1ZaoTzS70rz7Qj1_V5Pv2wlmU-9cyik6n7Ghi1msNG21-VT_BfQogKPzKxhSY4Y1zTOJIqUoJhKCJMFeWUEC1iGQrzBWZISoSQokxIzu0WL4m5hugEVGb5TJ0CL6EJQjISFGuGWcyFlExylgkTfkCh0Bmo2n5P5iUhY-K6fP7Xwxuw2x72upNup_98AfbsCJQJjUtQKd6W6spIfCGu3dh-AaWzoOs
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Foundations+of+Computer+Science%2C+31st+Symposium&rft.atitle=IP%3DPSPACE+%28interactive+proof%3Dpolynomial+space%29&rft.au=Shamir%2C+A.&rft.date=1990-01-01&rft.pub=IEEE+Comput.+Soc.+Press&rft.isbn=9780818620829&rft.spage=11&rft.epage=15+vol.1&rft_id=info:doi/10.1109%2FFSCS.1990.89519&rft.externalDocID=89519
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818620829/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818620829/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818620829/sc.gif&client=summon&freeimage=true