Preuve de travail en moins d'une seconde : gagner le KernelCTF à 51 000 $ avec AVX-512
2025-05-30
En mai 2025, l'équipe Crusaders of Rust a découvert et exploité un bug use-after-free dans le planificateur de paquets de Linux, visant le prix de 51 000 $ du kernelCTF de Google. L'auteur détaille sa contribution essentielle : optimiser la preuve de travail du concours (une fonction de délai vérifiable, ou VDF) en utilisant les instructions AVX-512IFMA. Grâce à des optimisations mathématiques, au portage en C++ et à des ajustements méticuleux au niveau de l'assemblage, ils ont réduit le temps d'exécution de 1,4 seconde à 0,21 seconde, assurant la victoire de l'équipe avec une soumission record de 3,6 secondes. Cela démontre une compréhension approfondie du matériel de bas niveau et une recherche implacable des performances.
Lire plus
Développement
optimisation VDF