{"id":"https://openalex.org/W7124131250","doi":"https://doi.org/10.1109/access.2026.3654539","title":"Cougar: Cubic Root Verifier Inner Product Argument Under Discrete Logarithm Assumption","display_name":"Cougar: Cubic Root Verifier Inner Product Argument Under Discrete Logarithm Assumption","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7124131250","doi":"https://doi.org/10.1109/access.2026.3654539"},"language":null,"primary_location":{"id":"doi:10.1109/access.2026.3654539","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3654539","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2026.3654539","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024238776","display_name":"Hyeonbum Lee","orcid":"https://orcid.org/0000-0003-0435-4394"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Hyeonbum Lee","raw_affiliation_strings":["BK21 FOUR Intelligence Computing Program, Seoul National University, Seoul, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0003-0435-4394","affiliations":[{"raw_affiliation_string":"BK21 FOUR Intelligence Computing Program, Seoul National University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089876418","display_name":"Seunghun Paik","orcid":"https://orcid.org/0000-0003-1105-1607"},"institutions":[{"id":"https://openalex.org/I4575257","display_name":"Hanyang University","ror":"https://ror.org/046865y68","country_code":"KR","type":"education","lineage":["https://openalex.org/I4575257"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Seunghun Paik","raw_affiliation_strings":["Department of Mathematics, Hanyang University, Seoul, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0003-1105-1607","affiliations":[{"raw_affiliation_string":"Department of Mathematics, Hanyang University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I4575257"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035092509","display_name":"Hyunjung Son","orcid":null},"institutions":[{"id":"https://openalex.org/I4575257","display_name":"Hanyang University","ror":"https://ror.org/046865y68","country_code":"KR","type":"education","lineage":["https://openalex.org/I4575257"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Hyunjung Son","raw_affiliation_strings":["Department of Mathematics, Hanyang University, Seoul, Republic of Korea"],"raw_orcid":"https://orcid.org/0009-0004-9134-979X","affiliations":[{"raw_affiliation_string":"Department of Mathematics, Hanyang University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I4575257"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045700517","display_name":"Jae Hong Seo","orcid":"https://orcid.org/0000-0003-0547-5702"},"institutions":[{"id":"https://openalex.org/I4575257","display_name":"Hanyang University","ror":"https://ror.org/046865y68","country_code":"KR","type":"education","lineage":["https://openalex.org/I4575257"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jae Hong Seo","raw_affiliation_strings":["Department of Mathematics, Hanyang University, Seoul, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0003-0547-5702","affiliations":[{"raw_affiliation_string":"Department of Mathematics, Hanyang University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I4575257"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5024238776"],"corresponding_institution_ids":["https://openalex.org/I139264467"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0831792,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":null,"first_page":"10217","last_page":"10244"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.8830000162124634,"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.8830000162124634,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.023900000378489494,"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/T11424","display_name":"Security and Verification in Computing","score":0.021400000900030136,"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.7229999899864197},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.6951000094413757},{"id":"https://openalex.org/keywords/discrete-logarithm","display_name":"Discrete logarithm","score":0.6941999793052673},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5231999754905701},{"id":"https://openalex.org/keywords/sublinear-function","display_name":"Sublinear function","score":0.49480000138282776},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.48089998960494995},{"id":"https://openalex.org/keywords/logarithm","display_name":"Logarithm","score":0.48019999265670776},{"id":"https://openalex.org/keywords/iterated-logarithm","display_name":"Iterated logarithm","score":0.4629000127315521},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.42260000109672546}],"concepts":[{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.7229999899864197},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.6951000094413757},{"id":"https://openalex.org/C173259116","wikidata":"https://www.wikidata.org/wiki/Q864003","display_name":"Discrete logarithm","level":4,"score":0.6941999793052673},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5231999754905701},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5189999938011169},{"id":"https://openalex.org/C117160843","wikidata":"https://www.wikidata.org/wiki/Q338652","display_name":"Sublinear function","level":2,"score":0.49480000138282776},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.48089998960494995},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.48019999265670776},{"id":"https://openalex.org/C130594498","wikidata":"https://www.wikidata.org/wiki/Q2028293","display_name":"Iterated logarithm","level":3,"score":0.4629000127315521},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4569000005722046},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4302999973297119},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.42260000109672546},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41449999809265137},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.37400001287460327},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.37040001153945923},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.3666999936103821},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.3391000032424927},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.3319000005722046},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C2776711565","wikidata":"https://www.wikidata.org/wiki/Q7445058","display_name":"Security parameter","level":3,"score":0.3027999997138977},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29030001163482666},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.2874000072479248},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.2824000120162964},{"id":"https://openalex.org/C43711488","wikidata":"https://www.wikidata.org/wiki/Q7534783","display_name":"Skew","level":2,"score":0.28029999136924744},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.2761000096797943},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2526000142097473}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/access.2026.3654539","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3654539","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/access.2026.3654539","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3654539","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2170088852","display_name":null,"funder_award_id":"RS-2021-II210727","funder_id":"https://openalex.org/F4320328359","funder_display_name":"Ministry of Science and ICT, South Korea"},{"id":"https://openalex.org/G3128676268","display_name":null,"funder_award_id":"RS-2024-00332210","funder_id":"https://openalex.org/F4320322006","funder_display_name":"Ministry of Culture, Sports and Tourism"},{"id":"https://openalex.org/G7495314125","display_name":null,"funder_award_id":"RS-2024-00332210 (10%)","funder_id":"https://openalex.org/F4320322006","funder_display_name":"Ministry of Culture, Sports and Tourism"}],"funders":[{"id":"https://openalex.org/F4320322006","display_name":"Ministry of Culture, Sports and Tourism","ror":"https://ror.org/02fkk6k65"},{"id":"https://openalex.org/F4320328359","display_name":"Ministry of Science and ICT, South Korea","ror":"https://ror.org/01wpjm123"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W41098585","https://openalex.org/W1483367930","https://openalex.org/W1541538376","https://openalex.org/W1589034595","https://openalex.org/W1646354800","https://openalex.org/W1885156594","https://openalex.org/W1909324101","https://openalex.org/W1970606468","https://openalex.org/W1979215153","https://openalex.org/W2013689473","https://openalex.org/W2043007983","https://openalex.org/W2107975919","https://openalex.org/W2136975477","https://openalex.org/W2171337840","https://openalex.org/W2400247270","https://openalex.org/W2473389213","https://openalex.org/W2496543269","https://openalex.org/W2743496573","https://openalex.org/W2811026317","https://openalex.org/W2883563728","https://openalex.org/W2883585522","https://openalex.org/W2883748642","https://openalex.org/W2898776076","https://openalex.org/W2954369705","https://openalex.org/W2954625838","https://openalex.org/W2968027060","https://openalex.org/W2990120385","https://openalex.org/W3003231116","https://openalex.org/W3015343560","https://openalex.org/W3021398893","https://openalex.org/W3023964980","https://openalex.org/W3037211059","https://openalex.org/W3037467273","https://openalex.org/W3116303059","https://openalex.org/W3127664165","https://openalex.org/W3158989923","https://openalex.org/W3209623239","https://openalex.org/W3213340422","https://openalex.org/W4285255710","https://openalex.org/W4308641918","https://openalex.org/W4313042292","https://openalex.org/W4320155103","https://openalex.org/W4365808257","https://openalex.org/W4367593152","https://openalex.org/W4385453211","https://openalex.org/W4385654030","https://openalex.org/W4385654262","https://openalex.org/W4386108728","https://openalex.org/W4389011127","https://openalex.org/W4395957637","https://openalex.org/W4401598481","https://openalex.org/W4401599188"],"related_works":[],"abstract_inverted_index":{"An":[0],"inner":[1],"product":[2],"argument":[3],"(IPA)":[4],"is":[5,56],"a":[6,13,32,42,68,109,152,159,176,192,209,222,230],"cryptographic":[7],"proof":[8,136],"system":[9],"that":[10,188],"serves":[11],"as":[12,21],"fundamental":[14],"building":[15],"block":[16],"for":[17,49,165,204,208],"various":[18],"applications,":[19],"such":[20],"zero":[22],"knowledge":[23],"proofs":[24],"and":[25,174,181,228],"verifiable":[26,74],"computation.":[27,75],"Bulletproofs":[28,180,227],"(IEEE":[29,183],"S&P":[30],"2018),":[31],"well-known":[33],"IPA":[34],"under":[35,95],"the":[36,57,84,96,133],"discrete":[37],"logarithm":[38],"(DL)":[39],"assumption,":[40],"features":[41],"short,":[43],"logarithmically-sized":[44],"proof,":[45],"making":[46],"it":[47],"suitable":[48],"blockchain":[50],"applications.":[51],"However,":[52],"its":[53,198],"major":[54],"drawback":[55],"linear":[58],"verifier":[59,121],"cost":[60],"(<italic":[61,90,123,138],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[62,64,91,93,124,126,128,139,142,161,214,218],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">O</i>(<italic":[63],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">N</i>)),":[65,129],"which":[66],"presents":[67],"significant":[69],"bottleneck":[70],"in":[71,172,195],"settings":[72],"like":[73],"To":[76,147],"address":[77],"this,":[78,149],"recent":[79],"advancements":[80],"have":[81],"successfully":[82],"reduced":[83],"verification":[85,199,224],"complexity":[86,122],"to":[87,116,236],"square-root":[88,114],"order":[89],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">O</i>(\u221a<italic":[92],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">N</i>))":[94,143],"same":[97],"assumption":[98],"(e.g.,":[99],"Asiacrypt":[100],"2022,":[101],"IEEE":[102],"TIFS).":[103,184],"In":[104],"thiswork,":[105],"we":[106],"propose":[107],"Cougar,":[108],"novel":[110],"IPAthat":[111],"breaks":[112],"this":[113],"barrier":[115],"achieve":[117,148],"an":[118],"unprecedented":[119],"cubic-root":[120],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">O</i>(<sup":[125],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">3</sup>\u221a<italic":[127],"while":[130,189],"strictly":[131],"maintaining":[132],"compact":[134],"logarithmic":[135],"size":[137,211],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">O</i>(log":[140],"<italic":[141,160,213],"characteristic":[144],"of":[145,212],"Bulletproofs.":[146],"Cougar":[150,171,190,220],"introduces":[151],"generalized":[153],"two-tier":[154],"commitment":[155],"framework":[156],"combined":[157],"with":[158],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">disjoint":[162],"interpolation</i>":[163],"strategy":[164],"efficient":[166],"consistency":[167],"checks.":[168],"We":[169],"implemented":[170],"Rust":[173],"performed":[175],"comprehensive":[177],"benchmarking":[178],"against":[179],"Leopard":[182],"Our":[185],"evaluation":[186],"demonstrates":[187],"incurs":[191],"moderate":[193],"increase":[194],"prover":[196],"overhead,":[197],"time":[200],"scales":[201],"significantly":[202],"better":[203],"large":[205],"instances.":[206],"Concretely,":[207],"witness":[210],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">N</i>":[215],"=":[216],"2<sup":[217],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">20</sup>,":[219],"achieves":[221],"50\u00d7":[223],"speed-up":[225],"over":[226],"exhibits":[229],"superior":[231],"asymptotic":[232],"growth":[233],"rate":[234],"compared":[235],"existing":[237],"sublinear":[238],"IPAs.":[239]},"counts_by_year":[],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2026-01-15T00:00:00"}