Why You Cannot Even Hope to Use Grobner Bases in Public-Key Cryptography An Open Letter to

  • 格式:pdf
  • 大小:114.33 KB
  • 文档页数:7

WhyYouCannotEvenHopetoUseGr¨obnerBasesinPublic-KeyCryptography?AnOpenLettertoaScientistWhoFailedandaChallengetoThoseWhoHaveNotYetFailed

[PublishedinJournalofSymbolicComputations18(6):497–501,1994.]BooBarkee,DehCacCan⋆,JuliaEcks,TheoMoriarty,andR.F.ReeProf.B.Barkee⋆⋆MathematicalScienceInstitute,CornellUniversity,IthacaNY14853100142.3240@compuserve.com

InthemagicalartofSteganography,thereisnothingfrivolous,norcontrarytotheGospelsandtheCatholicfaith;norhavewetaughtsuperstitiousbeliefs.Everythingisbasedonnatural,lawfulandhonestprinciples;themysterywhichveilsthepreceptsofthisartandthenamesofthespirits,requiresacultivatedreader;tohidethesecretsofthisart,whichcouldbeharmfulifmadeknowntowickedmen,weavailourselvesoftheservicesofthespirits.

JohannesTrithemius,Steganographia

Theairisinfluencedbyastralemanations.Soonecan,naturallyandwithoutspiritualhelp,communicatehisthoughtstoanotherman,how-everlargethedistancebetweenthem.ThisIhaveseendone,IdidmyselfandwasdonebyTrithemius...Inthesameway,onecanbroadcastintheairanyimage,howeverfar,bymeansofmirrors...Theimagewillbe,throughlargedistances,seenbyaconsciousreaderinthelunardisc;thisartificewasusedbyPythagoras.

H.C.Agrippa,DeOccultaPhilosophia

It’sbettertohavelovedandlostthantohavelikedandtiedforsecond.

Anonymous

DearDeludedAuthor,YouareproposingtousethefactthatGr¨obnerbasesarehardtocomputetodeviseapubickeycryptographyscheme.Wearefirmlyconvinced,instead,thatnoschemeusingGr¨obnerbaseswilleverwork.Thefollowingnotesareanattempttoexplainwhy.2BooBarkee,DehCacCan,JuliaEcks,TheoMoriarty,andR.F.ReeLetusstartbyrecallingthebasicfactsrelatedtoGr¨obnerbases(cf.[B],[BWK]).OnehasanidealI⊂k[X1,...,Xn](wherekisafield)andawell-orderingcompatiblewithproductonthesemigroupTofterms(monicmono-mials)ink[X1,...,Xn].Thisorderingallowstorepresentuniquelyeachf∈k[X1,...,Xn]asanorderedlinearcombinationofelementsofT:

f=r󰀂i=1citici∈k\{0},ti∈T,t1>···>tr

sotoeachnon-zeroelementf∈k[X1,...,Xn],wecanassociateT(f):=t1,themaximaltermoff;itscoefficientc1iscalledtheleadingcoefficientoffanddenotedlc(f).Moreover,theorderingallowstoassociatetotheidealIthesemigroupidealT(I):={T(f)∈T:f∈I\{0}}⊂T,anditscomplement,theorderidealO(I):=T\T(I).Themostimportantfactwhichcanbederivedbythissettingisthefollowing:

Fact11)k[X1,...,Xn]=I⊕Spank(O(I)).2)Thereisak-vectorspaceisomorphismbetweenk[X1,...,Xn]/IandSpank(O(I)).3)Foreachf∈k[X1,...,Xn]thereisauniqueg:=Can(f,I)∈Spank(O(I))s.t.f−g∈I.Moreover:

a)Can(f,I)=Can(g,I)ifandonlyiff−g∈I.b)Can(f,I)=0ifandonlyiff∈I.

Remarkimmediatelyaveryimportantpoint,whichisobscuredinmostpre-sentationsofGr¨obnerbases:thecanonicalformofanelementisdefinedjustintermsoftheidealandoftheordering;conceptuallythenotionofaGr¨obnerbasisisnotneededtodefinecanonicalforms.Infact,wehavenotyetdefinedGr¨obnerbases:wearegoingtodoitnow.AGr¨obnerbasisofIisasetofgeneratorsG:={g1,...,gs}⊂Is.t.T(G):={T(g1),...,T(gs)}generatesT(I).IfaGr¨obnerbasisGofIisknown,givenf∈k[X1,...,Xn],Can(f,I)canbecomputedbythefollowingalgorithm(BuchbergerReduction):

Red(f,G)h:=0Whilef=0IfT(f)∈T(G)thenchooseg∈Gs.t.T(f)=tT(g)f:=f−lc(f)lc(g)−1tgelseh:=h+lc(f)T(f),f=f−lc(f)T(f)Can(f,I):=hGr¨obnerBasesinPublic-KeyCryptography3whichisaprocedureanalogoustoGaussianreductioninvectorspacesandwhosecostisthereforequadraticinthesizeoftheinputpolynomialf,i.e.,inadenserepresentation,inthenumberoftermswhicharenotgreaterthanT(f).Iftheorderingiscompatiblewithdegree,i.e.deg(t1)numberisO(dn)whered=deg(f).Ontheotherside,BuchbergerAlgorithmtocomputeaGr¨obnerbasisofanidealI,knowingabasis{f1,...,ft}ofI,hasaworst-casecomplexityd2O(n),whered=maxdeg(fi).Notwithstandingthecomplexityresultabove,thebasicassumptionofyourpaper,i.e.thatGr¨obnerbasesarehardtocompute,isbasedonamisunder-standing.ItistruethatthereareidealswhoseGr¨obnerbaseshaveelementswhosedegreeisdoublyexponentialinthedegreesoftheinputbasis;butsuchexam-plesarerare,withbadalgebraicproperties,andabsolutelynotrandom,whilerandomnessmustobviouslybesomehowpartofyourscheme.InfactinoneofthetwopaperswhichatleastpartiallysettledthecomplexityofBuchbergeralgorithm([G]),thefollowingisproved:

Theorem1.“Most”oftheidealsgeneratedbyspolynomialsinnvariablesofdegreeboundedbydaresuchthattheirGr¨obnerbaseshavedegreeboundedby(n+1)d−n.

Mostheremeansthatcoefficientsarerandomlychosenandthattheresultholdsexceptforasetofmeasurezerointhespaceparametrizingthecoefficients.ThemajormisunderstandingofyourpaperishoweverconfusingtheproblemofdecidingidealmembershipwiththeproblemofcomputingGr¨obnerbases;asolutiontothesecondproblemgivesasolutiontothefirstone,butaneasiersolutiontothefirstproblemcouldbeathand.ItisthiseasiersolutionwhichallowstobreakaGr¨obnercryptographicscheme.