Prova de Trabalho em Menos de um Segundo: Ganhar o KernelCTF de US$ 51.000 com AVX-512

Em maio de 2025, a equipe Crusaders of Rust descobriu e explorou um bug use-after-free no escalonador de pacotes do Linux, visando o prêmio de US$ 51.000 do kernelCTF do Google. O autor detalha sua contribuição crucial: otimizar a prova de trabalho da competição (uma Função de Atraso Verificável, ou VDF) usando instruções AVX-512IFMA. Por meio de otimizações matemáticas, portabilidade para C++ e ajustes meticulosos em nível de assembly, eles reduziram o tempo de execução de 1,4 segundos para incríveis 0,21 segundos, garantindo a vitória da equipe com uma submissão recorde de 3,6 segundos. Isso demonstra um profundo entendimento de hardware de baixo nível e uma busca implacável por desempenho.