PIP-74: state-sync txs inclusion

[marcello33]

In this PR, we implement the canonical inclusion of state-sync txs in block bodies, as per relative PIP.
This PR reflects the Erigon's changes for this PR in bor:

• PIP-74: state-sync txs inclusion bor#1726

The PR introduces a new typed system transaction, which is included to blocks that execute StateSync events.
Such txs have zero gas/fees and does not run EVM code, but anchors all StateSync outcomes into the canonical transaction/receipt set. This results in inclusion of such txs into transactionsRoot, receiptsRoot, and logsBloom.

The changes requires a hard fork.

Test worked when enabling StateSync HF from block 0 with the following kurtosis configs

• parameters:

polygon_pos_package:
  participants:
    - kind: validator
      cl_type: heimdall-v2
      cl_image: 0xpolygon/heimdall-v2:0.3.1
      el_type: erigon
      el_image: 0xpolygon/erigon:v3.0.18-test
      count: 4
    - kind: rpc
      cl_type: heimdall-v2
      cl_image: 0xpolygon/heimdall-v2:0.3.1
      el_type: erigon
      el_image: 0xpolygon/erigon:v3.0.18-test
      count: 2
  additional_services:
    - test_runner

• erigon genesis

{
 "config": {
   ...
   },
   "bor": {
     "agraBlock": 0,
     "napoliBlock": 0,
     "jaipurBlock": 0,
     "delhiBlock": 0,
     "indoreBlock": 0,
     "ahmedabadBlock": 0,
     "bhilaiBlock": 0,
     "stateSyncBlock": 0,
     ...
}

Receipt was successfully received

[Copilot]

Pull Request Overview

This PR implements canonical inclusion of state-sync transactions in block bodies per the Polygon Improvement Proposal (PIP-74). It introduces a new typed system transaction (StateSyncTxType = 127) that anchors StateSync event outcomes into the canonical transaction/receipt set without consuming gas or executing EVM code. This change requires a hard fork activation.

Key changes:

• New StateSyncTx transaction type with zero gas/fees that doesn't run EVM code
• State-sync transactions are included in transactionsRoot, receiptsRoot, and logsBloom
• Receipt generation for state-sync transactions to maintain canonical chain integrity

Reviewed Changes

Copilot reviewed 21 out of 21 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
polygon/bor/borcfg/bor_config.go	Adds StateSyncBlock hard fork configuration and accessor methods
execution/types/state_sync_tx.go	Implements the new StateSyncTx transaction type with encoding/decoding logic
execution/types/transaction.go	Adds StateSyncTxType constant and decoder support
execution/types/state_data.go	Updates StateSyncData.Data field type from string to []byte
polygon/bor/bor.go	Implements state-sync transaction and receipt assembly in block finalization
execution/stagedsync/stage_senders.go	Skips sender recovery for state-sync transactions
execution/stagedsync/exec3_serial.go	Skips execution of state-sync transactions
execution/stagedsync/exec3_parallel.go	Handles state-sync transaction logs in parallel execution
rpc/jsonrpc/eth_block.go	Conditionally excludes bor transactions post state-sync fork
rpc/ethapi/api.go	Handles state-sync transaction serialization without chain ID or access list
execution/chain/chain_config.go	Adds state-sync fork check methods
core/vm/evmtypes/rules.go	Adds state-sync rules to EVM context

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}

[Copilot]

Pull Request Overview

Copilot reviewed 21 out of 21 changed files in this pull request and generated 8 comments.

Comments suppressed due to low confidence (1)

polygon/bor/bor.go:1

• [nitpick] The comment pluralization is inconsistent. 'producers' intervals' should be 'producer intervals' to match the original meaning of delay between two producer turns/intervals.

// Copyright 2024 The Erigon Authors

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.