The non-interactive proof of verifiable computation: Pinocchio
The worker does not know $s, t(s), v_k(s), w_k(s), y_k(s)$, the workers knows only the content of the public evaluation key and the public verification key. That's to say, the worker knows only $g^s, g^{t(s)}, g^{v_k(s)}$ etc.