Cryptoabc用户3885
Week 2 EPFsg Execution Layer Notes
输入“/”快速插入内容
Week 2 EPFsg Execution Layer Notes
Week 2 EPFsg Execution Layer Notes
用户3885用户38852024年3月20日修改
Guest speaker - Lightclient
•
Lightclient - Ethereum core developer, Geth team member, also involved in Testing and EIP editing etc.
Summary notes
•
•
Overview of Block validation and Block building
Block validation
Consensus Layer (CL): From the consensus specs, we can see how the CL thinks about EL
•
Function process_execution_payload:
◦
It's performed by the beacon chain to verify whether a block is valid and move the CL forward.
◦
The CL will perform some checks (incl. parent hash, previous randao, timestamp, max blobs per block, etc.) and then send the payload to the EL for further verification.
◦
The communciation btw CL and EL is through the execution_engine.
•
Function notify_new_payload
◦
No implementation for the CL as it just sends the execution payloads to the execution engine, then the execution client will do the state transition function.
Excution layer (EL): Simple illustration written in Go
State transition function (STF)
•
Parameters needed:
◦
Parent block (Need to verify the transition logic from the parent to the current block)
◦
Current block
◦
StateDB (the last known valid state, which stores all of the state data with respect to the parent block)
•
Return results:
◦
Updated stateDB (incl. the info from the current block)
◦
Error (if the function fails and does not update the StateDB)
•
Step 1: Verify the headers
◦
Error could happen if
▪
The gas limit change exceeds 1/1024th of the previous block's
▪
Block numbers are not sequential
▪
EIP-1559 base fee is not updated correctly
▪
etc.
•
Step 2: Apply the Tx if the headers are correct
◦
Range over the block tx, execute every tx through the VM, and update the state if the tx is corrent
◦
Error could happen if
▪
There is an invalid tx, then the whole block is invalid, and the state won't be updated
Wrap function eg. newPayload
•
Parameters needed:
◦
Execution payload
•
Return results:
◦
Return bool to the beacon chain