Quantum security analysis of PQC