It seems like ISOs are already compressed, since the zip is not smaller than the ISO itself. Thus, it would make sense to make the ISO downloadable directly and display the hash some other way on the same page.