Android视频帧进度条如何实现

baba们，Android开发的，有一个需求，请问有没有知道这种视频帧作为视频播放进度的是如何实现的，有没有第三方库参考下，或者实现思路的呢？

ffmpeg

有同样的需求，你的解决方法是怎样的啊？