Current SNARK provers are many orders of magnitude slower than the underlying computation—certainly you can prove that you took sufficient time to do the computation (e.g. using a VDF) or did it in few enough steps or according to some policy (e.g. using NARKS) but what is the point of using a modern GPU in the first place if you’re going to be limited to speeds easily achievable by a 1990′s CPU?
The only way this scheme becomes more useful than just banning GPU usage outright is if the proof of policy compliance can be generated only slightly slower than actually doing the computation. We don’t have primitives that can do that currently.
If we submit tasks as “ideas”, is there some way to get early feedback as to which ideas you find most promising? I have several ideas and the bandwidth to turn some smaller amount into specs and/or implementations. Rolling feedback would help to prioritize.