там scrollTrigger из gsap + набор картинок, которые переключаются по прогрессу скроллтриггера. ScrollMagic лучше не использовать, он много лет не обновляется.
Как раз для такой анимации сделал библиотеку animate-images, как раз со scrollTrigger используется.
А у асуса PIXI.AnimatedSprite используется.
Я имел в виду этот блок (он находится ниже). Там происходит анимация текста и картинок при скролле и судя по исходному коду, это не видео. Или вы имеете в виду, что самый простой вариант реализации такого с помощью видео и gsap?