I don't get the homomorphic encryption part... so it's still proof of work, just got science. many such projects exist, mainly the "X@Home" projects and more.
For proof of work to be fair, you need a robust & secure job that produces results with a uniform distribution of zeros and ones. FHE gives you that, while performing useful computation.