Pi zero quad core

https://www.bytedelight.com/?product_cat=videoaudio

this interface 4 the zx spectrum uses a pi zero for hdmi video output
could we use a quad core pi zero and encode mpeg2 avi video file of output please?