有什么简单免费的视频压缩和编辑软件？

手机拍了一段视频，当时没注意选格式，事后发现太大了，3分钟视频有300多兆。有没有什么免费的压缩软件可以压缩一下，另外可以简单的编辑一下，譬如在某几个时间点加几个圈，旁边加一点备注这种。

随便什么平台都可以，Windows，MacOS，安卓，iOS设备都有，关键要免费。