The company has made public the mathematics behind its post-quantum encryption verification, setting a challenge to the ...