Apple använder matematiska bevis för att säkerställa att deras post-kvantkryptografi fungerar korrekt, efter att tester missade brister. Arbetet fokuserar på corecrypto, som används på över 2,5 miljarder enheter.