Executing the code is the key, not the proof itself. What truly matters is verifying the results; there's no need for all nodes to recompute everything.

This approach is very clear: the client executes locally and generates a proof of state transition. The chain only needs to quickly verify this proof, without repeating all the computations. This ensures security while significantly improving efficiency.