{"id":"https://openalex.org/W7162082630","doi":"https://doi.org/10.1145/3803627.3805818","title":"SoK: PIOP-based SNARKs for General Computation","display_name":"SoK: PIOP-based SNARKs for General Computation","publication_year":2026,"publication_date":"2026-05-22","ids":{"openalex":"https://openalex.org/W7162082630","doi":"https://doi.org/10.1145/3803627.3805818"},"language":null,"primary_location":{"id":"doi:10.1145/3803627.3805818","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3803627.3805818","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM ASIA Public-Key Cryptography Workshop","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3803627.3805818","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136732631","display_name":"Yonghui Guan","orcid":"https://orcid.org/0009-0001-5373-9904"},"institutions":[{"id":"https://openalex.org/I4210157299","display_name":"Universitas Islam Negeri Palangka Raya","ror":"https://ror.org/04gp0de23","country_code":"ID","type":"education","lineage":["https://openalex.org/I4210157299"]}],"countries":["ID"],"is_corresponding":false,"raw_author_name":"Yonghui Guan","raw_affiliation_strings":["grchain.io, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0001-5373-9904","affiliations":[{"raw_affiliation_string":"grchain.io, Shenzhen, China","institution_ids":["https://openalex.org/I4210157299"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057299808","display_name":"\u5f20\u65e5\u548c","orcid":null},"institutions":[{"id":"https://openalex.org/I4210157299","display_name":"Universitas Islam Negeri Palangka Raya","ror":"https://ror.org/04gp0de23","country_code":"ID","type":"education","lineage":["https://openalex.org/I4210157299"]}],"countries":["ID"],"is_corresponding":false,"raw_author_name":"Rihe Zhang","raw_affiliation_strings":["grchain.io, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0000-7009-4071","affiliations":[{"raw_affiliation_string":"grchain.io, Shenzhen, China","institution_ids":["https://openalex.org/I4210157299"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122123241","display_name":"Bin Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Bin Liu","raw_affiliation_strings":["Network and Information Security Group, Tampere University, Tampere, Finland and grchain.io, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0002-6591-3711","affiliations":[{"raw_affiliation_string":"Network and Information Security Group, Tampere University, Tampere, Finland and grchain.io, Shenzhen, China","institution_ids":["https://openalex.org/I4210133110"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136784014","display_name":"Tianyu Zhao","orcid":"https://orcid.org/0000-0001-9840-3112"},"institutions":[{"id":"https://openalex.org/I4210157299","display_name":"Universitas Islam Negeri Palangka Raya","ror":"https://ror.org/04gp0de23","country_code":"ID","type":"education","lineage":["https://openalex.org/I4210157299"]}],"countries":["ID"],"is_corresponding":false,"raw_author_name":"Tianyu Zhao","raw_affiliation_strings":["grchain.io, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0001-9840-3112","affiliations":[{"raw_affiliation_string":"grchain.io, Shenzhen, China","institution_ids":["https://openalex.org/I4210157299"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136727520","display_name":"Jialu Hao","orcid":"https://orcid.org/0009-0002-7325-125X"},"institutions":[{"id":"https://openalex.org/I4210160844","display_name":"Individual Differences","ror":"https://ror.org/05patbw61","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210160844"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jialu Hao","raw_affiliation_strings":["Individual researcher, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0002-7325-125X","affiliations":[{"raw_affiliation_string":"Individual researcher, Shenzhen, China","institution_ids":["https://openalex.org/I4210160844"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014749102","display_name":"Antonis Michalas","orcid":"https://orcid.org/0000-0002-0189-3520"},"institutions":[{"id":"https://openalex.org/I166825849","display_name":"Tampere University","ror":"https://ror.org/033003e23","country_code":"FI","type":"education","lineage":["https://openalex.org/I166825849"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Antonis Michalas","raw_affiliation_strings":["Network and Information Security Group, Tampere University, Tampere, Finland"],"raw_orcid":"https://orcid.org/0000-0002-0189-3520","affiliations":[{"raw_affiliation_string":"Network and Information Security Group, Tampere University, Tampere, Finland","institution_ids":["https://openalex.org/I166825849"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.53698377,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"31","last_page":"40"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.06480000168085098,"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"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.06480000168085098,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.06159999966621399,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.06159999966621399,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.8188999891281128},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.7860000133514404},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.6176999807357788},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5687999725341797},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5687999725341797},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.4778999984264374},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4471000134944916},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.3580000102519989}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8188999891281128},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.7860000133514404},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6176999807357788},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5687999725341797},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5687999725341797},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.535099983215332},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.4778999984264374},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4471000134944916},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42660000920295715},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.421999990940094},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3903999924659729},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3580000102519989},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.3578999936580658},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3411000072956085},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3294000029563904},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.32440000772476196},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.32109999656677246},{"id":"https://openalex.org/C101044782","wikidata":"https://www.wikidata.org/wiki/Q6787887","display_name":"Matrix polynomial","level":3,"score":0.3068000078201294},{"id":"https://openalex.org/C203265346","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Proof assistant","level":3,"score":0.29679998755455017},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.2858999967575073},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2728999853134155},{"id":"https://openalex.org/C97395012","wikidata":"https://www.wikidata.org/wiki/Q1422356","display_name":"Reciprocal polynomial","level":4,"score":0.2619999945163727},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2581999897956848}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3803627.3805818","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3803627.3805818","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM ASIA Public-Key Cryptography Workshop","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3803627.3805818","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3803627.3805818","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM ASIA Public-Key Cryptography Workshop","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W2080132708","https://openalex.org/W2148352980","https://openalex.org/W2883585522","https://openalex.org/W3015343560","https://openalex.org/W3117919763","https://openalex.org/W4220857787","https://openalex.org/W4400350656"],"related_works":[],"abstract_inverted_index":{"Many":[0],"modern":[1],"SNARK":[2],"constructions":[3],"follow":[4],"a":[5,9,33],"paradigm":[6],"that":[7,38],"combines":[8],"Polynomial":[10,18],"Interactive":[11],"Oracle":[12],"Proof":[13],"(PIOP)":[14],"with":[15,86],"an":[16],"appropriate":[17],"Commitment":[19],"Scheme":[20],"(PCS).":[21],"In":[22],"this":[23],"paradigm,":[24],"the":[25,30,45,51,57,61,65,72,76,81,87,90,105,108],"PIOP":[26],"reduces":[27],"soundness":[28],"to":[29,50,64,114],"verification":[31,119],"of":[32,35,83,96,107],"collection":[34],"polynomial":[36,59,92,98],"relations":[37],"are":[39],"checked":[40],"though":[41],"oracle":[42],"queries,":[43],"while":[44],"PCS":[46],"enables":[47],"succinct":[48,101],"commitments":[49,88,102],"corresponding":[52],"polynomials.":[53],"Rather":[54],"than":[55],"transmitting":[56],"full":[58],"representation,":[60],"prover":[62],"commits":[63],"polynomials":[66],"and":[67,89,100,117],"later":[68],"provides":[69],"evaluations":[70],"at":[71,104],"points":[73],"selected":[74],"by":[75],"verifier.":[77],"The":[78],"verifier":[79],"checks":[80],"consistency":[82],"these":[84],"evaluation":[85],"prescribed":[91],"relations.":[93],"This":[94],"combination":[95],"interactive":[97],"queries":[99],"lies":[103],"heart":[106],"resulting":[109],"argument":[110],"system's":[111],"efficiency,":[112],"leading":[113],"compact":[115],"proofs":[116],"efficient":[118],"procedures.":[120]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-05-23T00:00:00"}