dotLottie is an open-source file format that aggregates one or more Lottie files and their associated resources into a single file to enable efficient and easy distribution of animations.