You have a fair point, but I claim for a proof-of-work computation it might be good for it to be a bit unpractical. (Depending on the parameters, this paper is on my reading list but I haven't gone through it yet.) I think it's incredibly interesting also, in any case I hope you enjoy the paper :)