Hot: zero-knowledgeproof