{"id":"https://openalex.org/W4389897220","doi":"https://doi.org/10.1007/978-981-99-8724-5_6","title":"A Simple and\u00a0Efficient Framework of\u00a0Proof Systems for\u00a0NP","display_name":"A Simple and\u00a0Efficient Framework of\u00a0Proof Systems for\u00a0NP","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4389897220","doi":"https://doi.org/10.1007/978-981-99-8724-5_6"},"language":"en","primary_location":{"id":"doi:10.1007/978-981-99-8724-5_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-981-99-8724-5_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-981-99-8724-5_6.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/978-981-99-8724-5_6.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101993448","display_name":"Yuyu Wang","orcid":"https://orcid.org/0000-0002-1198-1903"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuyu Wang","raw_affiliation_strings":["University of Electronic Science and Technology of China, Chengdu, China"],"raw_orcid":"https://orcid.org/0000-0002-1198-1903","affiliations":[{"raw_affiliation_string":"University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010343373","display_name":"C.-J. Su","orcid":"https://orcid.org/0009-0008-2296-8510"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chuanjie Su","raw_affiliation_strings":["University of Electronic Science and Technology of China, Chengdu, China"],"raw_orcid":"https://orcid.org/0009-0008-2296-8510","affiliations":[{"raw_affiliation_string":"University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005999583","display_name":"Jiaxin Pan","orcid":"https://orcid.org/0000-0002-7459-6850"},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]},{"id":"https://openalex.org/I204778367","display_name":"Norwegian University of Science and Technology","ror":"https://ror.org/05xg72x27","country_code":"NO","type":"education","lineage":["https://openalex.org/I204778367"]}],"countries":["DE","NO"],"is_corresponding":false,"raw_author_name":"Jiaxin Pan","raw_affiliation_strings":["Department of Mathematical Sciences, NTNU - Norwegian University of Science and Technology, Trondheim, Norway","University of Kassel, Kassel, Germany"],"raw_orcid":"https://orcid.org/0000-0002-7459-6850","affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, NTNU - Norwegian University of Science and Technology, Trondheim, Norway","institution_ids":["https://openalex.org/I204778367"]},{"raw_affiliation_string":"University of Kassel, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100402120","display_name":"Yu Chen","orcid":"https://orcid.org/0000-0003-2553-1281"},"institutions":[{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]},{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]},{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yu Chen","raw_affiliation_strings":["Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Qingdao, 266237, China","School of Cyber Science and Technology, Shandong University, Qingdao, 266237, China","State Key Laboratory of Cryptology, P.O. Box 5159, Beijing, 100878, China"],"raw_orcid":"https://orcid.org/0000-0003-2553-1281","affiliations":[{"raw_affiliation_string":"Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Qingdao, 266237, China","institution_ids":["https://openalex.org/I154099455"]},{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao, 266237, China","institution_ids":["https://openalex.org/I80143920"]},{"raw_affiliation_string":"State Key Laboratory of Cryptology, P.O. Box 5159, Beijing, 100878, China","institution_ids":["https://openalex.org/I4210132990"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100402120"],"corresponding_institution_ids":["https://openalex.org/I154099455","https://openalex.org/I4210132990","https://openalex.org/I80143920"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.5202,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.72336126,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"174","last_page":"207"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10237","display_name":"Cryptography and Data Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9868999719619751,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.9639000296592712,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.70697021484375},{"id":"https://openalex.org/keywords/zero-knowledge-proof","display_name":"Zero-knowledge proof","score":0.6214659810066223},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6157647371292114},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6072558760643005},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5811194777488708},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.4806310534477234},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.44338199496269226},{"id":"https://openalex.org/keywords/random-oracle","display_name":"Random oracle","score":0.4252949357032776},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4036244750022888},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3524104952812195},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31972408294677734},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.27916744351387024},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2622057795524597},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.1840054988861084},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.17886075377464294},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07769313454627991}],"concepts":[{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.70697021484375},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.6214659810066223},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6157647371292114},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6072558760643005},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5811194777488708},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.4806310534477234},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.44338199496269226},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.4252949357032776},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4036244750022888},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3524104952812195},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31972408294677734},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.27916744351387024},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2622057795524597},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.1840054988861084},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.17886075377464294},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07769313454627991},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-981-99-8724-5_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-981-99-8724-5_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-981-99-8724-5_6.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:ntnuopen.ntnu.no:11250/3140141","is_oa":true,"landing_page_url":"https://hdl.handle.net/11250/3140141","pdf_url":null,"source":{"id":"https://openalex.org/S4306401716","display_name":"Duo Research Archive (University of Oslo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184942183","host_organization_name":"University of Oslo","host_organization_lineage":["https://openalex.org/I184942183"],"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":"174-207","raw_type":"info:eu-repo/semantics/other"}],"best_oa_location":{"id":"doi:10.1007/978-981-99-8724-5_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-981-99-8724-5_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-981-99-8724-5_6.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Life below water","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/14"}],"awards":[{"id":"https://openalex.org/G5142255869","display_name":null,"funder_award_id":"2021YFA1000600","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5497752695","display_name":null,"funder_award_id":"2021YFA1000600","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G552842834","display_name":null,"funder_award_id":"61932019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6717149698","display_name":null,"funder_award_id":"2022YFB3104600","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G6730065365","display_name":null,"funder_award_id":"324235","funder_id":"https://openalex.org/F4320323299","funder_display_name":"Norges Forskningsr\u00e5d"},{"id":"https://openalex.org/G7282183672","display_name":null,"funder_award_id":"62272269","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7399286250","display_name":null,"funder_award_id":"62002049","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320323299","display_name":"Norges Forskningsr\u00e5d","ror":"https://ror.org/00epmv149"},{"id":"https://openalex.org/F4320329861","display_name":"Natural Science Foundation of Sichuan Province","ror":null},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4389897220.pdf","grobid_xml":"https://content.openalex.org/works/W4389897220.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W27132305","https://openalex.org/W64287730","https://openalex.org/W88444553","https://openalex.org/W112550803","https://openalex.org/W174102541","https://openalex.org/W835751452","https://openalex.org/W945570858","https://openalex.org/W1538440442","https://openalex.org/W1540469777","https://openalex.org/W1650855019","https://openalex.org/W1890128745","https://openalex.org/W1970606468","https://openalex.org/W1970808997","https://openalex.org/W1995926987","https://openalex.org/W2013686252","https://openalex.org/W2018746447","https://openalex.org/W2079913403","https://openalex.org/W2089537103","https://openalex.org/W2090853363","https://openalex.org/W2123073224","https://openalex.org/W2166670067","https://openalex.org/W2213167237","https://openalex.org/W2296267043","https://openalex.org/W2394843291","https://openalex.org/W2482380280","https://openalex.org/W2496543269","https://openalex.org/W2530441704","https://openalex.org/W2551629986","https://openalex.org/W2603155476","https://openalex.org/W2614074621","https://openalex.org/W2794856801","https://openalex.org/W2951723981","https://openalex.org/W2954625838","https://openalex.org/W2982474429","https://openalex.org/W3013097088","https://openalex.org/W3022102127","https://openalex.org/W3023964980","https://openalex.org/W3157193347","https://openalex.org/W4210966189","https://openalex.org/W4214811950","https://openalex.org/W4312735032","https://openalex.org/W4376639523"],"related_works":["https://openalex.org/W2366107444","https://openalex.org/W1870614684","https://openalex.org/W4388145910","https://openalex.org/W194387157","https://openalex.org/W2329520840","https://openalex.org/W2977508505","https://openalex.org/W3198275368","https://openalex.org/W2370770334","https://openalex.org/W3192998623","https://openalex.org/W2360841018"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-12T06:13:28.667946","created_date":"2025-10-10T00:00:00"}