1초 미만의 작업 증명: AVX-512로 5만 1천 달러의 KernelCTF 우승
2025-05-30
2025년 5월, Crusaders of Rust 팀은 Linux 패킷 스케줄러의 use-after-free 버그를 발견하고 악용하여 Google의 KernelCTF 경진대회에서 5만 1천 달러의 상금을 노렸습니다. 저자는 AVX-512IFMA 명령어를 사용하여 경진대회의 작업 증명(검증 가능한 지연 함수 또는 VDF)을 최적화한 중요한 기여를 자세히 설명합니다. 수학적 최적화, C++로의 이식, 그리고 정교한 어셈블리 수준의 조정을 통해 실행 시간을 1.4초에서 놀라운 0.21초로 단축하여 기록적인 3.6초 제출로 팀의 승리를 확보했습니다. 이는 저수준 하드웨어에 대한 깊이 있는 이해와 성능 최적화에 대한 흔들림 없는 추구를 보여줍니다.
개발
VDF 최적화