I don't think checkpoints are desirable at all -- even if they are zk encoded. I'm not sure what zk encoding actually provides here, the UTXO set is public and derivable entirely from public data.

Checkpoints are a point of centralization. Who is generating the set and proof? Under who's opinion is any transaction dust?