Apple stellt neuen Quellcode seiner corecrypto-Bibliothek auf GitHub bereit und legt damit die Grundlagen seiner Post-Quantum-Kryptografie für iPhone, Mac und weitere Geräte offen. Ein begleitender technischer Beitrag erklärt, wie Apple die Korrektheit dieser Algorithmen formal verifiziert hat – und welche Fehler dabei aufgedeckt wurden.
Mit der Veröffentlichung vom 22. Mai 2026 öffnet Apple einen tieferen Einblick in die Verschlüsselungs-Architektur seiner Plattformen als je zuvor. Im Zentrum steht corecrypto – die kryptografische Kernbibliothek, auf der die Sicherheits-Frameworks aller Apple-Geräte aufbauen. Die Initiative knüpft an Apples konsequente Linie an, die kein anderer großer Tech-Konzern in Sachen Datenschutz mithalten kann – nur dass diesmal nicht Endnutzer-Features, sondern die mathematischen Bausteine unter der Haube im Fokus stehen.
Was Apple konkret veröffentlicht hat
Das neue GitHub-Repository enthält den Quellcode von corecrypto, jener Low-Level-Bibliothek, die Apples Security-Framework, CryptoKit und CommonCrypto antreibt. Sie ist verantwortlich für Verschlüsselung, Hashing, Zufallszahlengenerierung und digitale Signaturen auf iPhone, Mac und allen weiteren Apple-Geräten.
Enthalten sind Apples Implementierungen von ML-KEM und ML-DSA, den beiden Post-Quantum-Algorithmen, die Apple für corecrypto ausgewählt hat. Hinzu kommen Tests, Performance-Tools, Build-Targets sowie ein eigener Ordner für die formale Verifizierung. Letzterer enthält die Beweisarbeit und Werkzeuge, mit denen Apple prüft, dass die eigene Umsetzung den Standards FIPS 203 und FIPS 204 entspricht – den NIST-Standards für ML-KEM und ML-DSA, die gezielt gegen Bedrohungen durch zukünftige Quantencomputer entwickelt wurden.
ML-KEM dient dabei der sicheren Etablierung von Verschlüsselungsschlüsseln, ML-DSA übernimmt digitale Signaturen.
Der Hintergrund: PQ3 und die Post-Quantum-Strategie
Apples Post-Quantum-Arbeit ist nicht neu. Bereits 2024 startete der Konzern öffentlich mit dem PQ3-Protokoll für iMessage, das mit iOS 17.4 eingeführt wurde. PQ3 schützt Konversationen sowohl beim Start als auch beim regelmäßigen Erneuern der Schlüssel gegen mögliche zukünftige Angriffe durch Quantencomputer.
Apple denkt dabei langfristig: Auch wenn praktikable Quantencomputer mit ausreichender Rechenleistung noch nicht existieren, könnten gespeicherte verschlüsselte Daten in Zukunft entschlüsselt werden, sobald die Technologie verfügbar ist. Das macht aktuellen Post-Quantum-Schutz zur Vorbeugung. Apples Engagement zeigt sich auch in der Entschlossenheit, Verschlüsselung selbst gegen staatlichen Druck nicht aufzuweichen – wie zuletzt im Fall der britischen iCloud-Vorgaben.
Warum Apple eigene Verifizierungs-Tools entwickelt
In dem begleitenden technischen Beitrag erklärt Apple, warum bestehende Verifizierungs-Methoden nicht ausreichten. corecrypto muss über die gesamte Apple-Produktpalette hinweg funktionieren – inklusive verschiedener Apple-Silicon-Designs. Außerdem enthalten die Implementierungen sowohl portierbaren C-Code als auch handoptimierten ARM64-Assembler, der gezielt auf Apple-Chips zugeschnitten ist.
Apple kombiniert deshalb klassisches Testen, Simulation, unabhängige Reviews und eigene formale Verifizierungs-Arbeit. Letztere prüft mathematisch, ob jeder Unter-Algorithmus exakt das tut, was die Standards vorsehen.
Was die Verifizierung bereits aufgedeckt hat
Apple beschreibt, dass die formale Verifizierung Probleme aufgedeckt hat, die klassische Tests nicht gefunden hätten. In einer frühen ML-DSA-Implementierung fehlte ein Verarbeitungsschritt – in seltenen Fällen hätten Eingaben den erwarteten Wertebereich überschreiten und damit falsche Ergebnisse erzeugen können. Klassische Test-Suites hätten den Fehler nicht erkannt; im schlimmsten Fall wäre das Ergebnis stillschweigend korrumpiert worden.
Außerdem entdeckte Apple einen Fehler in einem fremden Beweisansatz, den der Konzern für die eigenen Parameter eigenständig reparieren konnte. Beide Fälle zeigen, warum Apple den Mehraufwand der formalen Verifizierung als notwendig betrachtet.
Offenlegung als Einladung an Sicherheitsforscher
Apple stellt zusätzlich ein Forschungspaper zur Verfügung, das den Ansatz detailliert beschreibt, sowie das selbst entwickelte Cryptol-to-Isabelle-Übersetzungstool und die Isabelle-Beweisdateien. Diese Materialien ermöglichen es externen Experten, Apples Arbeit unabhängig nachzuvollziehen und zu prüfen.
Die Veröffentlichung ist mehr als Transparenz aus PR-Gründen. Apple lädt die globale Krypto-Community ein, kritisch zu prüfen, was bisher unter Verschluss war. Wenn Schwachstellen früh erkannt werden, profitieren am Ende alle Apple-Geräte. Gleichzeitig setzt der Konzern ein deutliches Signal in eine Branche, in der andere große Plattformen Verschlüsselungs-Standards eher aufweichen als ausbauen.
Apples Krypto-Strategie wird greifbar
Mit dieser Veröffentlichung wird zum ersten Mal konkret sichtbar, wie tief Apples Vorbereitung auf die Post-Quantum-Ära reicht. Während Endnutzer von PQ3 in iMessage profitieren, läuft im Hintergrund die methodische Härtung sämtlicher Verschlüsselungs-Komponenten weiter. Der Code auf GitHub ist dabei nicht nur Dokumentation, sondern eine offene Einladung zur Mitprüfung – ein Schritt, den nicht viele Tech-Konzerne in dieser Tiefe gehen. (Bild: Shutterstock / metamorworks)
- Google legt Berufung ein: Apple habe Google Search „fair und ehrlich“ gewählt
- iOS 26.5.1 in Tests – Veröffentlichung in den nächsten Tagen erwartet
- Apple erstmals Smartphone-Marktführer in einem ersten Quartal
- Chase startet in Deutschland – was das für eine Apple Card hierzulande bedeutet
- Apple zieht im Epic-Games-Streit vor den Supreme Court
- iPhone-Verkäufe in Lateinamerika: 31 Prozent Wachstum, Mexiko mit Rekordsprung
- Silo Staffel 3: Neuer Teaser enthüllt entscheidende Wendung für Juliette
- Apple TV überträgt erstes großes Live-Sportevent komplett mit iPhone 17 Pro
- tvOS 27 bringt vergrößerten Text auf das Apple TV 4K
- Apple Music veröffentlicht offenen Brief zum Umgang mit KI-Musik
- iOS 27 untertitelt persönliche Videos automatisch
- Apple TV verlängert „Knife Edge: Chasing Michelin Stars“ um Staffel zwei
- Eddy Cue wird bei Cannes Lions als „Entertainment Person of the Year“ geehrt
- App Store: Apple stoppt 2025 Betrugstransaktionen über 2,2 Milliarden Dollar
- WhatsApp testet Nachrichten, die nach dem Lesen verschwinden
- Apple sichert sich Animato: Avatar-Technologie und Talente
- Apple TV macht den Sommer 2026 zu Snoopys Saison
- Anthropic erweitert Claude Managed Agents und holt Andrej Karpathy
- Apple Sports 4.0 ist da: WM-Modus für das iPhone
