Actually folding is sort-of similar to a one-way function. It's difficult to compute, but easy to verify. The verification is the calculation of the energy.
You give the same protein sequence to multiple miners, and the one with the minimum energy after time X wins the money. This will force the miners to find lowest energy solutions.
You give the same protein sequence to multiple miners, and the one with the minimum energy after time X wins the money. This will force the miners to find lowest energy solutions.