Has anyone done this?

We’re looking to encode 6-8 1080p live hdmi feeds (don’t ask the source please), to h265 and we’re looking to send it to multiple sites over private wan, with a proxy at each site.

Not sure what IPTV server to go with let alone what set top boxes to use for those TVs that aren’t smart TVs.