I'm pretty sure they use (perhaps a custom version of) x264 to encode video.