主要观点：2025 年 5 月，作者的团队发现并开发了 Linux 数据包调度器中的 use-after-free 漏洞（CVE-2025-38001），欲提交给 Google 的 kernelCTF 竞赛获取赏金。但提交过程有严格步骤和时间限制，其他专业团队已优化，作者团队需加快速度。作者主要贡献是优化 VDF（可验证延迟函数）“sloth”的求解过程，利用 AVX512 指令集将证明工作时间从 1.4 秒左右大幅缩短至 0.21 秒左右，最终以 3.6 秒的速度完成提交，成为最快的 kernelCTF 提交，获得赏金。之后 kernelCTF 取消了证明工作，作者还在研究更抗优化的 VDF 并欢迎交流。
关键信息：

• 2025 年 5 月 29 日发布，作者 Timothy Herchen 等发现漏洞并开发 exploit。
• kernelCTF 提交流程及限制，包括连接服务器、解决证明工作、等待实例启动、上传并运行 exploit、提交 flag 等步骤。
• 专业团队提交速度很快，作者团队需优化证明工作。
• “sloth”VDF 的原理及优化过程，包括数学优化、转换为 C++、手写汇编乘法内核、利用 AVX512 指令集等。
• 具体的代码实现及优化细节，如利用 AVX512IFMA 指令、优化乘法和累加过程、处理寄存器分配等。
• 最终以 3.6 秒完成提交，获得赏金，之后 kernelCTF 取消证明工作。
  重要细节：
• 证明工作是特定的 VDF，计算量大且串行，Google 参考实现使用 gmpy 并手写汇编内核。
• AVX512 指令集的介绍及相关指令 vpmadd52luq 和 vpmadd52huq 的作用。
• 优化过程中遇到的问题，如寄存器分配器导致的开销、存储转发 stall 等及相应的解决方法。
• 团队成员的分工及其他协助者，如 William Liu、Savy Dicanosa、Bryce Casaje、Larry Yuan 等。
• 关于各种库和工具的比较，如 Rust、FLINT 等与 GMP 的性能差异。