Campuskrant Katholieke Universiteit Leuven
 
 
Leven aan de universiteit

De wondere wereld van de elliptische kromme: 574065347637127262116416600588840992011158851044...

Ludo Meyvis

Een mens moet wat doen hier bij Campuskrant. Bijvoorbeeld: met een ernstig gezicht bij een burgerlijk ingenieur computerwetenschappen binnenschrijden en doodleuk beweren dat je een praatje komt maken over het wereldrecord puntentellen op een elliptische kromme, en of we meteen kunnen beginnen. Persoonlijk vinden wij een kromme al erg, maar als dat ook nog een elliptische moet zijn...

Frederik Vercauteren is het blijkbaar gewend over zijn discipline te praten met volstrekte beotiërs als yours truly. Hij is pas afgestudeerd in de computerwetenschappen, en werkt nu als FWO’er in ESAT, afdeling COSIC. Daarnaast volgt hij de tweede licentie wiskunde. Hij vertelt geanimeerd over getallen met honderden cijfers, en wij horen beduusd toe.
“Wiskundigen houden van uitdagingen. Ik weet dat niet iedereen er van wakker ligt, maar wij houden ons onder andere bezig met het vinden van de punten die een elliptische kromme samenstellen. Een elliptische kromme is geen ellips, maar een verzameling oplossingen van een algebraïsche vergelijking met twee veranderlijken x en y, met x tot de derde macht en y in het kwadraat -bijvoorbeeld: y2 + xy = x3+ a.”

Wereldrecord
“Het is behoorlijk moeilijk om het aantal punten op zo’n kromme te tellen. Die complexiteit neemt natuurlijk toe met de grootte van de parameters van je vergelijking. Met mijn eindwerk onder leiding van professor Marc Van Barel van het Departement Computerwetenschappen heb ik me gewaagd aan een aanval op die complexiteit. Dat is verlopen in een schitterende sfeer: wiskunde en computerwetenschappen liggen trouwens heel dicht bij elkaar. Met het programma dat ik voor dat eindwerk ontwikkeld heb, was ik in staat het aantal punten te bepalen op een kromme waarvan parameter a 1999 bits telt, zeg maar 1999 enen en nullen. Het aantal punten dat je dan krijgt, is tamelijk groot: het resultaat begint met 574065... en het eindigt met ...3770752. Het gaat om een getal van 602 cijfers. Dat betekent dat ik momenteel wereldrecordhouder ben. Het vorige was een curve van 1663 bits, op naam van een Franse wiskundige.”
“Hoé complex zo’n berekening is? Wel, mijn programma heeft gedurende een week continu gedraaid op 10 snelle en onderling verbonden Pentiums, speciaal voor deze poging uitgebreid door het Departement Computerwetenschappen. Als je de berekeningen door één computer zou willen laten doen, heeft die er ongeveer 65 dagen voor nodig.”
“Ik begrijp dat je als buitenstaander bedenkingen hebt bij dergelijke bezigheden, maar er is méér dan alleen maar de kick van de indrukwekkende berekening. Elliptische krommen zijn eigenaardige dingen, die op heel onverwachte terreinen ingezet kunnen worden. Zo zijn ze essentieel gebleken om de stelling van Fermat eindelijk, na meer dan drie eeuwen, te kunnen bewijzen. Het bewijs zelf is een heel boek dik, maar zónder elliptische krommen was de stelling wellicht onbewezen gebleven. Verder, en dat is praktisch gezien heel belangrijk, kunnen elliptische krommen ingezet worden in de wereld van de cryptografie. Dat is de discipline die zich bezighoudt met het veiligheids- en betrouwbaarheidsaspect van informatie-overdracht. Als A informatie naar B stuurt, moet hij er zeker van zijn dat alleen B toegang heeft tot die informatie, en B moet er zeker van zijn dat de informatie alleen van A afkomstig kan zijn. Beiden moeten erop kunnen rekenen dat derden geen toegang hebben tot de informatie. Cryptografische methoden, concreet het encoderen en decoderen van informatie, zorgen ervoor dat dit kan.”
“Cryptografie werkt met sleutels. Probleem is dat die sleutels niet alleen betrouwbaar moeten zijn, dus onkraakbaar, maar ook snel te verwerken. Als een derde toegang zou krijgen tot je vertrouwelijke computer-informatie, zou dat vervelend zijn. Maar als die veiligheid telkens pas na dagen rekenwerk verzekerd zou kunnen worden, zijn we evenmin waar we willen.”
“Een veel gebruikte methode is de RSA. Dat systeem werkt momenteel met sleutels van 1024 bits. Het probleem met RSA is dat de complexiteit van de sleutels moet toenemen naarmate de rekenkracht van computers vordert. De reden daarvoor is dat het algoritme dat aan RSA-versleuteling ten grondslag ligt, relatief eenvoudig is -wat niet wegneemt dat het nog altijd een hele portie hogere wiskunde vergt om RSA-gecodeerde informatie te kraken. De Wet van Moore zegt dat de rekenkracht van computers elke 18 maanden verdubbelt: dat betekent dat we in de relatief nabije toekomst met zodanig lange RSA-sleutels zullen zitten, dat de zaak onhanteerbaar wordt.”

Krommen in de cryptografie
“Nu blijkt echter dat elliptische krommen schitterend gebruikt kunnen worden als basis voor een cryptografisch systeem. Hét voordeel is dat de betrouwbaarheid van een RSA-sleutel van 350 decimale cijfers ook gehaald wordt door een sleutel op basis van een elliptische kromme van maar 50 tot 60 cijfers. En dàt betekent dat je het cryptografisch proces sneller zou kunnen laten verlopen, met minder energie-verbruik. Dat laatste is relevant voor omgevingen met een beperkte verwerkingsruimte. Beveiliging op chipkaarten, bijvoorbeeld, verloopt nu al in hoofdzaak met systemen op basis van elliptische krommen.”
“Ik zei ‘zou kunnen’, want een belangrijk nadeel van elliptische krommen is dat ze wiskundig zeer complex zijn. Het mooie van mijn programma is nu dat ik aangetoond heb dat het niet alleen mogelijk is heel vér te gaan - 1999 bits is niet niks - maar tegelijk ook heel snel. Het vinden van een goede kromme op basis van parameters van 50 of 60 bits, zoals je die in de praktijk zou kunnen inzetten, duurde vroeger dagen tot weken. Met mijn programma duurt het enkele seconden. Dat brengt de inzetbaarheid van elliptische krommen in de cryptografische praktijk een heel eind dichterbij.”
“Natuurlijk denken we aan een of andere vorm van commercialisering, maar we weten nog niet precies hoe. We zouden de executable van het programma kunnen verkopen, of we zouden door ons berekende krommen kunnen aanbieden, of we zouden zelfs, als stunt op het Internet, gratis curven kunnen aanbieden. De broncode van mijn programma verkopen? No way. Enfin, commercialisering is zeker niet mijn eerste zorg; trouwens, de rechten horen toe aan het Departement Computerwetenschappen. Ik werk voor mijn doctoraat aan een nieuw algoritme, om systemen gebaseerd op elliptische krommen te breken. Zo’n algoritme groeit. Het is een kwestie van veel lezen, hard werken -en hopen op de vonk. Zonder die vonk kan je wel wat geleidelijke vooruitgang boeken, maar de échte doorbraak, toch de droom van elke wetenschapper, die dwing je niet af.

 

Sluiten
Printen