Zero-knoweldge Proof

CRISP Project
Verifying correct FHE outsourcing against covert clients