{"id":"https://openalex.org/W7125831812","doi":"https://doi.org/10.1186/s42400-025-00538-3","title":"Proof of exponentiation: enhanced prover efficiency for algebraic statements","display_name":"Proof of exponentiation: enhanced prover efficiency for algebraic statements","publication_year":2026,"publication_date":"2026-01-27","ids":{"openalex":"https://openalex.org/W7125831812","doi":"https://doi.org/10.1186/s42400-025-00538-3"},"language":"en","primary_location":{"id":"doi:10.1186/s42400-025-00538-3","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s42400-025-00538-3","pdf_url":null,"source":{"id":"https://openalex.org/S3035238565","display_name":"Cybersecurity","issn_l":"2523-3246","issn":["2523-3246"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cybersecurity","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1186/s42400-025-00538-3","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5123981413","display_name":"Zhuo Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhuo Wu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124011981","display_name":"Shi Qi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shi Qi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124033162","display_name":"Xinxuan Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xinxuan Zhang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123977954","display_name":"Yi Deng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yi Deng","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-5948-0780","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123889835","display_name":"Kun Lai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kun Lai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5123921959","display_name":"Hailong Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hailong Wang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1230,"currency":"USD","value_usd":1230},"apc_paid":{"value":1230,"currency":"USD","value_usd":1230},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09951186,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.8201000094413757,"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.8201000094413757,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.07760000228881836,"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"}},{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.061000000685453415,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.8119000196456909},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.593500018119812},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5934000015258789},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5074999928474426},{"id":"https://openalex.org/keywords/discrete-logarithm","display_name":"Discrete logarithm","score":0.4207000136375427},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.3993000090122223},{"id":"https://openalex.org/keywords/zero-knowledge-proof","display_name":"Zero-knowledge proof","score":0.38420000672340393},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.36500000953674316},{"id":"https://openalex.org/keywords/skein","display_name":"Skein","score":0.3635999858379364},{"id":"https://openalex.org/keywords/digital-signature","display_name":"Digital signature","score":0.3628000020980835}],"concepts":[{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.8119000196456909},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.593500018119812},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5934000015258789},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5446000099182129},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5074999928474426},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48660001158714294},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4325000047683716},{"id":"https://openalex.org/C173259116","wikidata":"https://www.wikidata.org/wiki/Q864003","display_name":"Discrete logarithm","level":4,"score":0.4207000136375427},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.3993000090122223},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.38420000672340393},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.36500000953674316},{"id":"https://openalex.org/C194674032","wikidata":"https://www.wikidata.org/wiki/Q1142190","display_name":"Skein","level":2,"score":0.3635999858379364},{"id":"https://openalex.org/C118463975","wikidata":"https://www.wikidata.org/wiki/Q220849","display_name":"Digital signature","level":3,"score":0.3628000020980835},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3614000082015991},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3467999994754791},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.3222000002861023},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.32089999318122864},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.3197999894618988},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.3160000145435333},{"id":"https://openalex.org/C32049820","wikidata":"https://www.wikidata.org/wiki/Q319400","display_name":"Modular arithmetic","level":3,"score":0.3149000108242035},{"id":"https://openalex.org/C205383636","wikidata":"https://www.wikidata.org/wiki/Q14746","display_name":"Merkle tree","level":4,"score":0.299699991941452},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.2946999967098236},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.2939999997615814},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.2879999876022339},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.28769999742507935},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.287200003862381},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.2818000018596649},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2676999866962433},{"id":"https://openalex.org/C165511393","wikidata":"https://www.wikidata.org/wiki/Q7252276","display_name":"Security of cryptographic hash functions","level":5,"score":0.26669999957084656},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.2660999894142151},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.2639999985694885},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.26190000772476196},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.2563999891281128},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25440001487731934},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.25279998779296875},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.2515999972820282}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1186/s42400-025-00538-3","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s42400-025-00538-3","pdf_url":null,"source":{"id":"https://openalex.org/S3035238565","display_name":"Cybersecurity","issn_l":"2523-3246","issn":["2523-3246"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cybersecurity","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:428b308cf1fc4d17b4e4b07b1a35451f","is_oa":true,"landing_page_url":"https://doaj.org/article/428b308cf1fc4d17b4e4b07b1a35451f","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cybersecurity, Vol 9, Iss 1, Pp 1-27 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1186/s42400-025-00538-3","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s42400-025-00538-3","pdf_url":null,"source":{"id":"https://openalex.org/S3035238565","display_name":"Cybersecurity","issn_l":"2523-3246","issn":["2523-3246"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cybersecurity","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4112895091","display_name":null,"funder_award_id":"62372447","funder_id":"https://openalex.org/F4320315254","funder_display_name":"Innovative Research Group Project of the National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320315254","display_name":"Innovative Research Group Project of the National Natural Science Foundation of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1589034595","https://openalex.org/W1882430379","https://openalex.org/W1911825786","https://openalex.org/W2095708839","https://openalex.org/W2141395382","https://openalex.org/W2144752539","https://openalex.org/W2475985589","https://openalex.org/W2496543269","https://openalex.org/W2794848620","https://openalex.org/W2882986534","https://openalex.org/W2883748642","https://openalex.org/W2898776076","https://openalex.org/W2920360623","https://openalex.org/W2969207949","https://openalex.org/W2982474429","https://openalex.org/W2984674716","https://openalex.org/W2989230924","https://openalex.org/W3091322675","https://openalex.org/W3158989923","https://openalex.org/W3197025878","https://openalex.org/W4312858901","https://openalex.org/W4365806553","https://openalex.org/W4365808257","https://openalex.org/W4385654262","https://openalex.org/W4389897201","https://openalex.org/W4401598503","https://openalex.org/W4401599157","https://openalex.org/W4409253440","https://openalex.org/W4414707091"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Recent":[1],"years":[2],"have":[3],"seen":[4],"the":[5,19,148,186,206,216],"widespread":[6],"adoption":[7],"of":[8,28,49,67,69,150,157,199],"zkSNARKs":[9],"constructed":[10],"over":[11],"small":[12,22,42],"fields,":[13,25],"including":[14],"but":[15],"not":[16],"limited":[17],"to,":[18],"Goldilocks":[20],"field,":[21],"Mersenne":[23],"prime":[24],"and":[26,52,94,165,228],"tower":[27],"binary":[29],"fields.":[30],"Their":[31],"appeal":[32],"stems":[33],"primarily":[34],"from":[35],"their":[36],"efficacy":[37],"in":[38,89,160],"proving":[39,48,60,155,180],"computations":[40,51,184,202],"with":[41,115],"bit":[43],"widths,":[44],"which":[45],"facilitates":[46],"efficient":[47],"general":[50],"offers":[53],"significant":[54],"advantages,":[55],"notably":[56],"yielding":[57],"remarkably":[58],"fast":[59],"efficiency":[61,86],"for":[62,127,147,215],"tasks":[63],"such":[64,188],"as":[65,123,189],"proof":[66,226],"knowledge":[68,156],"hash":[70,191,195],"preimages.":[71],"Nevertheless,":[72],"employing":[73],"these":[74,151,200],"SNARKs":[75],"to":[76,141,169,212,219],"prove":[77],"algebraic":[78,131],"statements":[79],"(e.g.,":[80,193],"RSA,":[81],"ECDSA":[82],"signature":[83],"verification)":[84],"presents":[85],"challenges,":[87],"particularly":[88],"critical":[90],"applications":[91],"like":[92],"zk-bridges":[93],"zkVMs":[95],"that":[96],"require":[97],"verifying":[98,170],"standard":[99],"cryptographic":[100],"primitives.":[101],"To":[102],"address":[103],"this":[104],"problem,":[105],"we":[106,134],"first":[107],"define":[108],"a":[109,136],"new":[110],"circuit":[111],"model:":[112],"arithmetic":[113],"circuits":[114],"additional":[116],"exponentiation":[117],"gates":[118,121],".":[119],"These":[120],"serve":[122],"fundamental":[124],"building":[125],"blocks":[126],"establishing":[128],"more":[129,182],"intricate":[130],"relations.":[132],"Then":[133],"present":[135],"Hash-committed":[137],"Commit-and-Prove":[138],"(HCP)":[139],"framework":[140],"construct":[142],"Non-interactive":[143],"Zero-knowledge":[144],"(NIZK)":[145],"proofs":[146],"satisfiability":[149],"circuits.":[152],"Specifically,":[153],"when":[154],"group":[158,172],"exponentiations":[159,173],"discrete":[161],"logarithm":[162],"hard":[163],"groups":[164],"RSA":[166],"groups,":[167],"compared":[168],"complex":[171],"within":[174,185],"SNARK":[175,221],"circuits,":[176],"our":[177],"approach":[178],"requires":[179],"only":[181],"lightweight":[183,201],"SNARK,":[187],"zk-friendly":[190],"functions":[192],"Poseidon":[194],"function).":[196],"The":[197],"number":[198],"depends":[203],"solely":[204],"on":[205],"security":[207],"parameter.":[208],"This":[209],"differentiation":[210],"leads":[211],"substantial":[213],"speedups":[214],"prover":[217],"relative":[218],"direct":[220],"methods,":[222],"while":[223],"maintaining":[224],"competitive":[225],"size":[227],"verification":[229],"cost.":[230]},"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2026-01-28T00:00:00"}