Quantum Group Action

{"In":[0,63],"quantum":[1,22,160,223,231,287,317,335],"cryptography,":[2,65],"there":[3],"could":[4,146,365],"be":[5],"a":[6,159,169,186,195,222,243,255,270,273,285,316],"new":[7],"world,":[8],"Microcrypt,":[9,144],"where":[10,235],"cryptography":[11],"is":[12,135,168,242,254,266],"possible":[13],"but":[14],"one-way":[15],"functions":[16,321],"(OWFs)":[17],"do":[18],"not":[19],"exist.":[20],"Many":[21],"analogues":[23],"of":[24,131,162,185,225,245,257,269,289,319],"OWFs":[25,35],"and":[26,39,112,125,204,259,295,323,333,381],"pseudorandom":[27,296,305,320,348],"generators":[28,308],"(PRGs)":[29],"that":[30,341],"are":[31,55,101,127,156,315,344,355],"potentially":[32],"weaker":[33],"than":[34],"have":[36,43,73,324,367],"been":[37,44,74],"introduced,":[38,75],"their":[40],"useful":[41],"applications":[42,126,326],"demonstrated.":[45],"However,":[46],"Microcrypt":[47],"still":[48],"lacks":[49],"enough":[50],"foundations":[51],"on":[52,69,89,120,158,272,311,378],"which":[53,145,228],"they":[54],"based":[56,119,157,310,377],"compared":[57],"with":[58,152,278,357],"the":[59,78,84,110,132,267,290],"classical":[60,64,352],"cryptographic":[61],"world.":[62],"many":[66,325,358],"hardness":[67,106,141,150,281,361],"assumptions":[68,107,114,142,151,155,343],"concrete":[70,90,148,359,368],"mathematical":[71,149,360],"problems":[72,82,88],"such":[76,108,327],"as":[77,109,328],"discrete":[79],"logarithm":[80],"(DL)":[81],"or":[83,97],"decisional":[85,291],"Diffie-Hellman":[86,292],"(DDH)":[87,293],"group":[91,116,163,166,187,226,232,297,353],"structures":[92],"related":[93],"to":[94,104,136],"finite":[95],"fields":[96],"elliptic":[98],"curves.":[99],"They":[100],"then":[102],"abstracted":[103,139],"generic":[105,122,140],"DL":[111],"DDH":[113],"over":[115],"actions.":[117,164,298],"Finally,":[118],"these":[121,312],"assumptions,":[123,282,362],"primitives":[124],"constructed.":[128],"The":[129],"goal":[130],"present":[133],"paper":[134],"introduce":[137,221,284],"several":[138],"in":[143],"connect":[147],"applications.":[153],"Our":[154],"analogue":[161,224,288,318],"A":[165],"action":[167],"tuple":[170],"<mml:math":[171,188,197,207,236,248,260],"xmlns:mml=\\"http://www.w3.org/1998/Math/MathML\\">":[172,189,198,208,237,249,261],"<mml:mrow>":[173,190,199,209,238,250,262],"<mml:mo":[174,181],"stretchy=\\"false\\">(</mml:mo>":[175],"<mml:mi>G</mml:mi>":[176,191,212,239],"<mml:mo>,</mml:mo>":[177,179],"<mml:mi>S</mml:mi>":[178,200,214,216,251],"<mml:mo>⋆</mml:mo>":[180,210,263],"stretchy=\\"false\\">)</mml:mo>":[182],"</mml:mrow>":[183,192,201,217,240,252,264],"</mml:math>":[184,193,202,218,241,253,265],",":[194,203],"set":[196,256],"an":[205,300],"operation":[206],"<mml:mi>:</mml:mi>":[211],"<mml:mi>×</mml:mi>":[213],"<mml:mo>→</mml:mo>":[215],".":[219],"We":[220,338,372],"actions,":[227],"we":[229,283,302],"call":[230],"actions":[233,354],"(QGAs),":[234],"subgroup":[244],"unitary":[246,271],"operators,":[247],"states,":[258],"application":[268],"state.":[274],"By":[275],"endowing":[276],"QGAs":[277,364],"some":[279,374],"reasonable":[280],"natural":[286],"assumption":[294],"As":[299],"application,":[301],"construct":[303],"classical-query":[304],"function-like":[306],"state":[307],"(PRFSGs)":[309],"assumptions.":[313],"PRFSGs":[314],"(PRFs),":[322],"IND-CPA":[329],"SKE,":[330],"EUF-CMA":[331],"MAC,":[332],"private-key":[334],"money":[336],"schemes.":[337],"also":[339,366],"show":[340],"those":[342],"implied":[345],"by":[346],"non-adaptive":[347],"unitaries":[349],"(PRUs).":[350],"Because":[351],"instantiated":[356],"our":[363],"(even":[369],"OWFs-free)":[370],"instantiations.":[371],"provide":[373],"candidate":[375],"instantiations":[376],"random":[379],"circuits":[380],"IQP":[382],"circuits.":[383]}