PQC 十字路口与 ECC 安全带 RSA 已经为我们服务了近五十年，椭圆曲线密码学也解决了离散对数带来的许多问题。在过去的几十年里，每当看起来 RSA 或 ECC 快要被破解时，我们只是不断提高参数。对于 RSA，我们现在使用 2,04...
从 Poseidon 到 SHA 或 BLAKE 一段长达 8 年、耗资达 8 位数的后量子密码学探索之旅，终于迎来了梦想中的结局。以太坊基金会正在为 L1 放弃 Poseidon，转向 SHA 或 BLAKE。这一里程碑为精益以太坊解锁...
在密码学中速度何时重要：什么是最快的（和最慢的）？ 有时候，你在密码学中需要极快的操作，比如生成签名、密文或哈希值；而另一些时候，你却希望过程慢下来，例如从秘密中派生加密密钥，或存储密码的哈希版本。 因此，我们使用 Zig 编程语言...
PQ-DAS 的形式化验证安全性 感谢 Alex Hicks 提供反馈和讨论。 本文及详细的安全性证明大纲由人类作者撰写，向 Lean 的翻译工作在 AI 的大力帮助下完成。 **免责声明。**这里的 lean 代码证明的是关于抽象方...
鸿途知科网
