# lets build the worlds biggest super computer with zkps and incentives

## intro

There are many optimization problems in bio field. Synthetic biologists need to perform protein and metabolic engineering. Longevity community needs to find new drugs candidates.
These problems often depend on being able to bring computing power to bare. Often this is expensive and only big organisations and economies of scale can over come this.
Bitcoin is an example of a network that is open and performs huge amount of computation. Bigger than any super computer in the world. Where anyone in the world can get a payment for performing some work.
The goal of this working group is to make similar computation power available to bio researchers.

## ZKPs

ZKPs help us by turning difficult tasks into one that is easy to verify.
We need to be careful in choosing our task because this is not easy.
Target
Our target should something that is important to bio community
It should also be possible to solve with computational power
It should bootstrap well
It might be interesting to have many ways of solving the task that way we can empower researchers to find new ways of finding solutions while we only check that the solution is correct
Incentives
Now that we are able to quickly check if someone did some computational work we can reward people who find interesting drugs.
## Examples
### Computational drug discovery
• How tightly a candidate molecule binds to a target protein is very good indication of its potency as a drug.
• There are many many candidate molecules
• Calculating how tightly a ZKP binds to a drug is difficult to do
• If we can make a ZKP that expresses how tightly a drug catches a protein we can use this to give reward to researchers who find an interesting candidate
### Machine learning
• Machine learning has already been used for protein folding and drug discovery
• If we can train a very good drug discovery model that could allow us to quickly find drugs
• If we make a ZKP that checks a machine learning algorithing we can have a version that is opene an free https://www.kaggle.com/
◦ It could even be private

## Working group
This working group is going to explore 3 things
1. What are interesting targets for us to be able to make proofs about
2. Can we make ZKPs for these interesting targets.
3. What kind of incentives can we offer