who validates that the protein was folded correctly? Validating that the hash of some nonce contains enough leading zeroes is very easy for the network to validate. But verifying that users are correctly computing the protein folding (rather than quickly dumping out invalid folds to test hash values) seems like a difficult problem for the network to validate.