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=ri=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.