Private Proof Delegation with FHE-SNARKs - View it on GitHub