纠错码

文章讨论了后量子密码（PQC）加密方案中，为何NIST没有标准化McEliece方法，尽管McEliece方法安全性高，但密钥生成速度慢，公钥尺寸大。文章介绍了Classic McEliece的参数和性能，并给出了代码示例，最后总结了McEliece方法在后量子密码学中的地位。

近期研究推翻了邻近间隙猜想，该猜想曾用于设置基于哈希的SNARKs参数。文章解释了这一结果对当前部署的SNARKs的影响，指出虽然某些假定的参数不再安全，但仍存在大量未知参数。调整SNARKs以实现已验证的安全性将使proof size和验证时间增加2倍，而调整为新的推测安全性仅增加2-3%。

近期研究推翻了hash-based SNARKs的邻近差距猜想，该猜想用于设置参数。文章解释了这一结果对当前部署的SNARKs的影响，指出某些原本假定的安全参数实际上并不安全，需要调整参数以保证安全性，这可能会导致证明大小和验证时间的增加。

本文介绍了lambdaworks库中的一种多项式承诺方案Basefold，它是FRI承诺方案的推广。Basefold适用于多线性多项式，且与所使用的域无关。文章详细解释了Basefold的工作原理，包括其基于可折叠线性码的构造方式，以及如何结合sumcheck协议和邻近性测试来构建评估协议。

McEliece 加密方法（Classic McEliece）已被 ISO 选为抗量子密钥封装标准。