small changes

Author: StefanBratanov

specs/_features/eip7732/beacon-chain.md

@@ -40,6 +40,7 @@
     - [`get_payload_attesting_indices`](#get_payload_attesting_indices)
     - [`get_indexed_payload_attestation`](#get_indexed_payload_attestation)
 - [Beacon chain state transition function](#beacon-chain-state-transition-function)
+  - [Modified `state_transition`](#modified-state_transition)
   - [Block processing](#block-processing)
     - [Withdrawals](#withdrawals)
       - [Modified `process_withdrawals`](#modified-process_withdrawals)
@@ -416,7 +417,7 @@ def get_indexed_payload_attestation(state: BeaconState, slot: Slot,
 
 ### Modified `state_transition`
 
-**Note:** This is modified to accept `signed_envelope` as an additional parameter. The state transition has been broken in two parts, first importing a signed block and then importing an execution payload. Even though the order must be followed, importing of the signed block and the execution payload can be done indepedently. 
+**Note:** This is modified to accept `signed_envelope` as an additional parameter. The state transition has been broken in two parts, first importing a signed block and then importing an execution payload. Even though the order must be followed, importing of the signed block and the execution payload can be done independently. 
 
 ```python
 def state_transition(state: BeaconState, signed_block: SignedBeaconBlock, signed_envelope: SignedExecutionPayloadEnvelope, validate_result: bool=True) -> None:
@@ -430,15 +431,16 @@ def state_transition(state: BeaconState, signed_block: SignedBeaconBlock, signed
     process_block(state, block)
     # Verify state root
     if validate_result:
-        assert block.state_root == hash_tree_root(state)
+        assert block.state_root == hash_tree_root(state)   
     # Verify execution payload signature
     if validate_result:
         assert verify_execution_payload_envelope_signature(state, signed_envelope) # [New in EIP-7732]
+    envelope = signed_envelope.envelope     
     # Process execution payload
-    process_execution_payload(state, signed_envelope, EXECUTION_ENGINE) # [New in EIP-7732]
+    process_execution_payload(state, envelope, EXECUTION_ENGINE) # [New in EIP-7732]
     # Verify state root
     if validate_result:
-        assert signed_envelope.message.state_root == hash_tree_root(state) # [New in EIP-7732]    
+        assert envelope.state_root == hash_tree_root(state) # [New in EIP-7732]    
 ```
 
 ```python
@@ -667,9 +669,8 @@ def validate_merge_block(block: BeaconBlock) -> None:
 
 ```python
 def process_execution_payload(state: BeaconState, 
-                              signed_envelope: SignedExecutionPayloadEnvelope, 
+                              envelope: ExecutionPayloadEnvelope, 
                               execution_engine: ExecutionEngine) -> None:
-    envelope = signed_envelope.message
     payload = envelope.payload
     # Cache latest block header state root
     previous_state_root = hash_tree_root(state)