Zooko 发布 AI 编写并证明的 BLAKE3 分支

Zooko 发布 BLAKE3 代码库新分支 BLAKE3-Servil v0.8，其代码、正确性证明与基准测试由三个 AI 协作完成，Zooko 称自己未编写或阅读任何一行代码。 该项目用正确性证明覆盖全部汇编内层循环，并以 cargo-mutants 做超过 2000 次变异测试。Zooko 表示下一步希望让正确性证明和/或内存安全达到完整，目前邀请用户试用并反馈。 BLAKE3 比 SHA256 安全余量更大，已被 Android、Chrome、Linux GPU 驱动等基础设施采用。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。