I notice you're asking about and mentioned "libvpx" — but libvpx is a video codec library (used for encoding VP8/VP9 video), not related to the TV show's plot.
