A quantum computer algorithm that is used to find the prime factors in an encryption key. Created by applied mathematician Peter Shor in the mid-1990s, Shor's algorithm may be used to break the codes ...
Initiative aims to publish a formally verified implementation of Shor’s quantum factoring algorithm with relevance to cryptography and other high-value domains ...