Elliptische Kurven bilden heute die Grundlage der bei Amazon & Co. verwendeten Verschlüsselungsverfahren. Eine neue, am 25. April auf dem ArXiv erschienene Arbeit von Hales und Rays (Formal Proof of the Group Law for Edwards Elliptic Curves) liefert nun einen computerformalisierten Beweis der dafür grundlegenden Eigenschaften elliptischer Kurven. Elliptische Kurven sind für Kryptographie geeignet, weil…
Letzte Kommentare