AMD/Xilinx Vivado uses ZIP format to compress design checkpoints. They just give them a .dcp extension though.