The Daily Gwei

Independent Ethereum educator, angel investor and advisor. 

Founder of /thedailygwei.

@sassal.eth your focus has turned toward execution environments as the new L2 bottleneck/

In TDG #751 you discussed a Base gas increase and SVM as most scalable execution environment.

Could you touch on the trade off between juiced L2 VMs and user verification of optimistic VMs?

Hmm maybe I'm not understanding the question - can you rephrase it? :)

Probably I'm not understating L2s. 

Consumer hardware cannot verify SVM on Solana.

You can run any VM on an L2, so I assume the L1 does not provide assurances about the execution environment. 

How do users maintain L1 level assurances on L2 VMs where they cannot verify the transactions themselves?

Today I believe I can run an OP-EVM instance on a home machine.

Pretty sure I can't do that with Eclipse, or other "juiced" L2s.

I believe I am losing some level of decentralization if I cannot run the VM (unless it can provide a zk proof). Correct? 

That is why we need to post fraud proofs?

Then why do we need permissionless fraud proofs for optimistic rollups? 

Someone clearly can commit fraud.

And it sounds like something a user should be able to check in order not to trust the operators.

This is the magic of L2's - the sequencer/execution side can be very heavy but it all gets posted down to L1 via proofs and data which are much lighter to verify.

Ergo, if you run a full node on Ethereum L1, you will be able to verify the integrity of the L2's!