A place for talking about the Ethereum Virtual Machine on Farcaster.

i mean technically smart contract blockchains already work this way

because knowing is finding the limits /outercorps

How so?

Right now both computation and verification happens "onchain" in the sense that every other node/validator need to recompute your transactions to consider it valid. As in, all state transitions.

The whole point of zkevm is that you don't need to recompute state transitions. You just verify the proof and know the transitions happened as advertised.

I do not negotiate with unaligned actors.

sorry for the delay, it’s really a shame i don’t get notifications for a lot of great replies like yours. 

for both, nothing about the computation is stored onchain, but you are absolutely right that in zk the prover does the vast majority of the work and the only computation the verifier needs to do is proof verification which is basically time constant and way easier than evm validator computations. great point