The company has made public the mathematics behind its post-quantum encryption verification, setting a challenge to the entire industry to prove its own code is equally secure.