实体
curve25519-dalek
curve25519-dalek
PulseAugur coverage of curve25519-dalek — every cluster mentioning curve25519-dalek across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
AI系统自动验证生产加密库
研究人员开发了CryptoProver，一个旨在自动验证生产加密库正确性的AI系统。该系统从高级API合同中合成内部规范和证明，显著减少了形式验证所需的手动工作量。CryptoProver成功验证了RustCrypto中的curve25519-dalek库和chacha20实现，它们是Signal和Shadowsocks等广泛使用系统的基础。该AI方法旨在提高关键加密基础设施的安全性和可靠性。
-
AI模型通过新的验证技术改进代码生成
研究人员开发了新方法来提高大型语言模型生成正确代码和证明的能力。一种方法 TTRL-CoCoV 使用置信度条件验证来增强无标签设置下的覆盖率和准确性，在多个基准测试中显示出显著的提升。另一项研究探索使用强化学习和递归推理来自动化形式验证，通过将证明生成视为结构化搜索过程，实现了更高的验证程序生成率。