If your video editing tool can use an image sequence (e.g. 000.png, 001.png...), I'd recommend using the Image Sequence exporter[1]. If you want an actual video file with transparency, you can do that by using FFmpeg to encode a video from the image sequence, which we also have a guide for[2].