Feels unfortunate that their proof-of-space is just (to my understanding) random data. Would've thought that proof-of-space might be more amenable to having the

Feels unfortunate that their proof-of-space is just (to my understanding) random data. Would've thought that proof-of-space might be more amenable to having the proof be actually useful, since you can check the right data was returned with a hash (whereas only some computation-based tasks are verifiable) and data can be encrypted (whereas only limited computation can be done with homomorphic encryption).