CryptoProver 自动合成密码库验证证明
热点事件持续更新
CryptoProver 自动合成密码库验证证明
1 篇报道1 个报道来源10 小时前更新
先了解这件事
AI 综述
研究团队提出 CryptoProver，一个基于 AI 的系统，可从高层 API 契约自动合成内部规格和经 Verus 检查的证明。团队称，在给定 API 契约及固定的可信库（字段规格、算术事实、公理和 vstd）的条件下，该系统用 11.4 小时完成合成，记录的 API 成本为 466.99 美元。 在不改动可执行代码的前提下，CryptoProver 为 curve25519-dalek 构建了新的独立证明，并依据 RFC 8439 规格验证了 RustCrypto 此前未经验证的 chacha20 实现。
AI 根据报道生成 · 50 分钟前更新
最新进展10月19日 12:00
CryptoProver：从 API 契约自动合成密码库验证证明报道时间线
沿着报道，了解事件的不同侧面。
10月19日
- arXiv cs.AICryptoProver：从 API 契约自动合成密码库验证证明
研究团队提出 CryptoProver，可从高层 API 契约自动合成内部规格与经 Verus 检查的证明，在不改动可执行代码的前提下为 curve25519-dalek 构建独立证明，并依据 RFC 8439 规格验证 RustCrypto 此前未验证的 chacha20 实现。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。