BLAKE3-Servil：由 AI 编写代码与正确性证明的 BLAKE3 新分支

Zooko 发布 BLAKE3 代码库新分支 BLAKE3-Servil v0.8，其代码、正确性证明与基准测试均由三个 AI 协作完成，作者本人未编写或阅读任何一行代码。该项目用正确性证明覆盖全部汇编内层循环，并以 cargo-mutants 做超过 2000 次变异测试。BLAKE3 比 SHA256 安全余量更大，已被 Android、Chrome、Linux GPU 驱动等基础设施采用。