{"id":"https://openalex.org/W7161089983","doi":"https://doi.org/10.4230/lipics.mfcs.2026.60","title":"Multi-Prover Interactive Proof Systems with Leakage","display_name":"Multi-Prover Interactive Proof Systems with Leakage","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7161089983","doi":"https://doi.org/10.4230/lipics.mfcs.2026.60"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2605.09872","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2605.09872","pdf_url":"https://arxiv.org/pdf/2605.09872","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2605.09872","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102748906","display_name":"Vahid R. Asadi","orcid":"https://orcid.org/0000-0001-8354-7463","observed_orcids":["https://orcid.org/0000-0001-8354-7463"]},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Asadi, Vahid R.","raw_affiliation_strings":["National Institute of Informatics, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068517100","display_name":"Atsuya Hasegawa","orcid":"https://orcid.org/0009-0006-7151-2793","observed_orcids":["https://orcid.org/0009-0006-7151-2793"]},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hasegawa, Atsuya","raw_affiliation_strings":["Graduate School of Mathematics, Nagoya University, Japan"],"raw_orcid":"https://orcid.org/0009-0006-7151-2793","affiliations":[{"raw_affiliation_string":"Graduate School of Mathematics, Nagoya University, Japan","institution_ids":["https://openalex.org/I60134161"]}]},{"author_position":"last","author":{"id":null,"display_name":"Le Gall, Fran\u00e7ois","orcid":"https://orcid.org/0000-0003-3721-6553","observed_orcids":["https://orcid.org/0000-0003-3721-6553"]},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Le Gall, Fran\u00e7ois","raw_affiliation_strings":["Graduate School of Mathematics, Nagoya University, Japan"],"raw_orcid":"https://orcid.org/0000-0003-3721-6553","affiliations":[{"raw_affiliation_string":"Graduate School of Mathematics, Nagoya University, Japan","institution_ids":["https://openalex.org/I60134161"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.4821999967098236,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.4821999967098236,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.4115999937057495,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.016300000250339508,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/parallel-repetition","display_name":"parallel repetition","score":0.5640000104904175},{"id":"https://openalex.org/keywords/nexp","display_name":"NEXP","score":0.578000009059906},{"id":"https://openalex.org/keywords/re","display_name":"Re","score":0.796999990940094},{"id":"https://openalex.org/keywords/one-round-protocols","display_name":"one-round protocols","score":0.5899999737739563},{"id":"https://openalex.org/keywords/soundness","display_name":"soundness","score":0.4880000054836273}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6987000107765198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.66839998960495},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5181999802589417},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.4388999938964844},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.42489999532699585},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.3982999920845032},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.3707999885082245},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.3531999886035919},{"id":"https://openalex.org/C2777042071","wikidata":"https://www.wikidata.org/wiki/Q6509304","display_name":"Leakage (economics)","level":2,"score":0.34769999980926514},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.3450999855995178},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.3249000012874603},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32339999079704285},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.323199987411499},{"id":"https://openalex.org/C179145077","wikidata":"https://www.wikidata.org/wiki/Q5154130","display_name":"Communication complexity","level":2,"score":0.3230000138282776},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3188999891281128},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.31769999861717224},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.30059999227523804},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.28459998965263367},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.26269999146461487},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.257099986076355},{"id":"https://openalex.org/C7720571","wikidata":"https://www.wikidata.org/wiki/Q1136880","display_name":"Power of two","level":2,"score":0.2517000138759613},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.25119999051094055},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.25060001015663147}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:arXiv.org:2605.09872","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2605.09872","pdf_url":"https://arxiv.org/pdf/2605.09872","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:drops-oai.dagstuhl.de:27442","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2026.60","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol386-mfcs2026/LIPIcs.MFCS.2026.60/LIPIcs.MFCS.2026.60.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},{"id":"doi:10.48550/arxiv.2605.09872","doi":"https://doi.org/10.48550/arxiv.2605.09872","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.09872","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.4230/lipics.mfcs.2026.60","doi":"https://doi.org/10.4230/lipics.mfcs.2026.60","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.mfcs.2026.60","pdf_url":null,"source":{"id":"https://openalex.org/S4393917817","display_name":"Leibniz international proceedings in informatics","issn_l":"1868-8969","issn":["1868-8969"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj","jufo-1","norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2605.09872","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2605.09872","pdf_url":"https://arxiv.org/pdf/2605.09872","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G3578047007","display_name":null,"funder_award_id":"JPMJCR24I4","funder_id":"https://openalex.org/F4320338075","funder_display_name":"Core Research for Evolutional Science and Technology"},{"id":"https://openalex.org/G4023031295","display_name":null,"funder_award_id":"JPMXS0120319794","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G460077191","display_name":"Foundations of Secure Distributed Quantum Computing on Medium-Scale Quantum Computers","funder_award_id":"25K24674","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4627739467","display_name":null,"funder_award_id":"JP-MXS0120319794","funder_id":"https://openalex.org/F4320320912","funder_display_name":"Ministry of Education, Culture, Sports, Science and Technology"},{"id":"https://openalex.org/G6976712858","display_name":"Foundations of Secure Distributed Quantum Computing on Medium-Scale Quantum Computers","funder_award_id":"24H00071","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320320912","display_name":"Ministry of Education, Culture, Sports, Science and Technology","ror":"https://ror.org/048rj2z13"},{"id":"https://openalex.org/F4320322676","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320338075","display_name":"Core Research for Evolutional Science and Technology","ror":"https://ror.org/00097mb19"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7161089983.pdf","grobid_xml":"https://content.openalex.org/works/W7161089983.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W1507028355","https://openalex.org/W1970259241","https://openalex.org/W1970606468","https://openalex.org/W1976417016","https://openalex.org/W1977134468","https://openalex.org/W1984976620","https://openalex.org/W1997685871","https://openalex.org/W2011112377","https://openalex.org/W2019578639","https://openalex.org/W2022444580","https://openalex.org/W2048118641","https://openalex.org/W2070486524","https://openalex.org/W2070683077","https://openalex.org/W2080578129","https://openalex.org/W2097136514","https://openalex.org/W2148352980","https://openalex.org/W2148791594","https://openalex.org/W2148957455","https://openalex.org/W2152221184","https://openalex.org/W2177980858","https://openalex.org/W2205230658","https://openalex.org/W2218607027","https://openalex.org/W2293988196","https://openalex.org/W2335881287","https://openalex.org/W2807358685","https://openalex.org/W2974931306","https://openalex.org/W2999186103","https://openalex.org/W3135158295","https://openalex.org/W4288280616","https://openalex.org/W4302287195","https://openalex.org/W4376639494","https://openalex.org/W4376639566","https://openalex.org/W4394664162","https://openalex.org/W4399521217","https://openalex.org/W4411319802","https://openalex.org/W4411320001","https://openalex.org/W4413132918","https://openalex.org/W4416451819"],"related_works":["https://openalex.org/W7098296909","https://openalex.org/W2155409588","https://openalex.org/W7096274704","https://openalex.org/W4394656716","https://openalex.org/W2999186103","https://openalex.org/W4413456051","https://openalex.org/W7101124161","https://openalex.org/W2155279733","https://openalex.org/W2119901068","https://openalex.org/W3195592227"],"abstract_inverted_index":{"It":[0],"is":[1,64,101,130],"known":[2],"that":[3,44,115,141,160],"there":[4],"exist":[5],"multi-prover":[6,22,36,116,201],"interactive":[7,23,37,117,202],"protocols":[8,18,24,154],"($\\mathsf{MIP}$":[9],"protocols)":[10,29],"for":[11,19,30,87,142,155,186],"the":[12,42,53,62,65,69,73,77,88,91,194,206,211],"complexity":[13],"class":[14],"$\\mathsf{NEXP}$,":[15],"succinct":[16],"$\\mathsf{MIP}$":[17,151,184],"$\\mathsf{NP}$":[20,187],"and":[21,72,113,152,157,205],"with":[25,49],"shared":[26],"entanglement":[27],"($\\mathsf{MIP}^\\ast$":[28],"$\\mathsf{RE}$.":[31],"This":[32],"extraordinary":[33],"power":[34,75],"of":[35,76,97,125,166],"proof":[38,118,203],"systems":[39,119,204],"comes":[40],"from":[41],"assumption":[43],"provers":[45,100],"do":[46],"not":[47],"communicate":[48,60],"each":[50],"other":[51],"during":[52],"protocols.":[54],"If":[55],"they":[56],"are":[57,120,161],"allowed":[58,102],"to":[59,109,139,174,180],"freely,":[61],"setting":[63,92],"same":[66],"as":[67],"in":[68,200,210],"single-prover":[70],"case,":[71],"computational":[74],"system":[78],"becomes":[79],"significantly":[80],"weaker.":[81],"In":[82],"this":[83,111],"paper,":[84],"we":[85,146],"investigate":[86],"first":[89,128],"time":[90],"where":[93],"communication":[94],"(i.e.,":[95],"leakage":[96,199],"information)":[98],"between":[99,196],"but":[103],"bounded.":[104],"We":[105,136,168,191],"introduce":[106],"two":[107],"techniques":[108],"approach":[110],"question":[112],"show":[114,140],"robust":[121,162,188],"against":[122,163,189,198],"some":[123],"amount":[124],"leakage.":[126,167,190],"Our":[127],"technique":[129,173],"based":[131],"on":[132],"parallel":[133],"repetition":[134],"theorems.":[135],"apply":[137],"it":[138],"any":[143,176],"polynomial":[144],"$p$,":[145],"can":[147],"construct":[148],"two-prover":[149,182],"one-round":[150,183],"$\\mathsf{MIP}^\\ast$":[153],"$\\mathsf{NEXP}$":[156],"$\\mathsf{RE}$,":[158],"respectively,":[159],"$p(n)$":[164],"bits":[165],"further":[169],"derive":[170],"our":[171],"second":[172],"convert":[175],"low-soundness":[177],"PCP":[178,212],"construction":[179],"a":[181],"protocol":[185],"also":[192],"discuss":[193],"relation":[195],"robustness":[197],"Sliding":[207],"Scale":[208],"Conjecture":[209],"literature.":[213]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-05-14T00:00:00"}