Has anyone written about or tried using a SNARK to compress certificate transparency logs? Seems like a great use-case.