FFmpeg’s FFV1 is a lossless intra-frame video codec. It’s open, extremely efficient for archiving video, and is defined in an ongoing standardization (supported by archival institutions).