由于Shor发现了用于保理和离散对数问题的多项式时间量子算法，因此研究人员研究了管理大型量子计算机潜在出现的方法，最近的前景已经变得更加明显。所提出的解决方案是基于假定对量子组合物具有抗性的问题，例如与晶格或哈希功能相关的问题。Quantum加密后（PQC）是一个包含这些方案的设计，实现和集成的伞术语。本文档是对这个多样化和进步主题的知识系统化（SOK）。我们做出了两个编辑选择。首先，PQC上详尽的SOK可能跨越了几本书，因此我们将研究限于签名和钥匙建筑方案，因为这些是大多数协议的骨干。这项研究将不涵盖更先进的功能，例如同态加密方案，阈值密码学等。第二，大多数待命的调查是（i）围绕每个家庭组织[BBD09] - （a）晶格，（b）代码，（c）多变量方程，（d）等源，（e）哈希和单向函数 - 或（ii）专注于一个单个家族[PEI15; FEO17]。我们的研究采用了横向方法，并且组织如下：（a）范式，（b）实施和（c）部署。我们看到了这种方法的几个优势：