vitalik.eth(@VitalikButerin ):1. This is average case, not worst case. We need real-time worst case for safe L1 use 2. Not formally verified 3. ~100 kW to prove. Proving is a 1-of-n trust model, but even still, perhaps we want proving doable at home (~10 kW) 4. We wanna 10-100x the L1 gaslimit So, truly amazing work by @pumatheuma and team, but definitely still a few steps to the final destination.

vitalik.eth

@VitalikButerin

I choose balance. First-level balance. mi pinxe lo crino tcati https://t.co/gCQrmCb0ih

Joined May 2011

488 Following 5.8M Followers

vitalik.eth@VitalikButerin

2025.05.21 04:44

1. This is average case, not worst case. We need real-time worst case for safe L1 use 2. Not formally verified 3. ~100 kW to prove. Proving is a 1-of-n trust model, but even still, perhaps we want proving doable at home (~10 kW) 4. We wanna 10-100x the L1 gaslimit So, truly amazing work by @pumatheuma and team, but definitely still a few steps to the final destination.