Where HEIF comes from
The Moving Picture Experts Group developed HEIF between 2013 and 2015, publishing it as ISO/IEC 23008-12 on top of the ISO base media file format that also underlies MP4. Nokia contributed much of the design, and the format's structure later served as the foundation for AVIF, which is essentially HEIF carrying AV1 data.