what if submitted proof and task_id mismatches?

what if clients behave maliciously and submit a passing proof for a different task_id?

and we'd better avoid use "circuit" specified in `SubmitProofRequest` directly? But querying from db is slow... so we need to maintain a map?

 