背景

调研polygon cdk-fork12是否支持在polygon pos测试网amoy部署

前置结论

结论：polygon cdk-fork12依赖于以太坊PoS状态检查，polygon pos测试网amoy RPC未实现该逻辑导致不兼容，无法支持部署polygon网络

概述

在推荐配置下，da,sequencer,sync,pool-manager,bridge 各个核心服务正常运行，交易正常处理
但sequence-sender运行报错，跟进代码，由于交易状态检查逻辑中，会依次检查各个状态的过度：LatestBlock->SafeBlock->PendingBlock->FinalizedBlock，由于polygon pos测试网amoy没有像以太坊PoS完整实现，所以导致报错

2024-11-14T12:21:48.112Z        ERROR   l1_check_block/l1_block_by_name.go:171  checkL1block:: Error getting L1 block %!d(string=safe/0). err: safe block not found     {"pid": 40}
github.com/0xPolygonHermez/zkevm-synchronizer-l1/synchronizer/l1_check_block.(*L1BlockNumberByNameFetch).BlockNumber
        /go/pkg/mod/github.com/0x!polygon!hermez/zkevm-synchronizer-l1@v1.0.5/synchronizer/l1_check_block/l1_block_by_name.go:171
github.com/0xPolygon/zkevm-ethtx-manager/ethtxmanager.(*Client).waitMinedTxToBeSafe
        /go/pkg/mod/github.com/0x!polygon/zkevm-ethtx-manager@v0.2.1/ethtxmanager/ethtxmanager.go:525
github.com/0xPolygon/zkevm-ethtx-manager/ethtxmanager.(*Client).Start
        /go/pkg/mod/github.com/0x!polygon/zkevm-ethtx-manager@v0.2.1/ethtxmanager/ethtxmanager.go:458
2024-11-14T12:21:48.112Z        ERROR   ethtxmanager/ethtxmanager.go:927        failed to wait safe tx to be finalized: failed to get safe block number: safe block not found%!(EXTRA string=
/go/pkg/mod/github.com/0x!polygon/zkevm-ethtx-manager@v0.2.1/log/log.go:140 github.com/0xPolygon/zkevm-ethtx-manager/log.appendStackTraceMaybeArgs()
/go/pkg/mod/github.com/0x!polygon/zkevm-ethtx-manager@v0.2.1/log/log.go:249 github.com/0xPolygon/zkevm-ethtx-manager/log.Errorf()
/go/pkg/mod/github.com/0x!polygon/zkevm-ethtx-manager@v0.2.1/ethtxmanager/ethtxmanager.go:927 github.com/0xPolygon/zkevm-ethtx-manager/ethtxmanager.(*Client).logErrorAndWait()
/go/pkg/mod/github.com/0x!polygon/zkevm-ethtx-manager@v0.2.1/ethtxmanager/ethtxmanager.go:460 github.com/0xPolygon/zkevm-ethtx-manager/ethtxmanager.(*Client).Start()

// BlockFinality indicates the status of the blocks that will be queried in order to sync
    BlockFinality string `jsonschema:"enum=LatestBlock, enum=SafeBlock, enum=PendingBlock, enum=FinalizedBlock, enum=EarliestBlock" mapstructure:"BlockFinality"` //nolint:lll

背景

特殊场景需要变更合约PolygonZkEVM.sol中的TrustedSequencerURL

合约代码

/**
     * @notice Allow the admin to set the trusted sequencer URL
     * @param newTrustedSequencerURL URL of trusted sequencer
     */
    function setTrustedSequencerURL(
        string memory newTrustedSequencerURL
    ) external onlyAdmin {
        trustedSequencerURL = newTrustedSequencerURL;

        emit SetTrustedSequencerURL(newTrustedSequencerURL);
    }

ABI

[{
      "inputs": [
        {
          "internalType": "string",
          "name": "newTrustedSequencerURL",
          "type": "string"
        }
      ],
      "name": "setTrustedSequencerURL",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    }]

测试

当前合约内TrustedSequencerURL：http://172.18.36.173:8123
期望变更为：http://172.18.39.162:8123
直接使用在线工具：https://www.smartcontractgui.xyz/
PolygonZkEVM合约地址在create_rollup_output.json->rollupAddress: 0x584eF34da0d700082d3c29cD3844d9524e656950

import { ethers } from 'hardhat';
import path from 'path';
import fs from 'fs';
require('dotenv').config({ path: path.resolve(__dirname, '../.env') });
import createRollupParameters from './create_rollup_output.json';

async function main() {
    const privateKey = path.join(__dirname, 'keystore', './admin.privateKey');
    const data = fs.readFileSync(privateKey, 'UTF-8');
    const wa = new ethers.Wallet(data, ethers.provider);
    console.log(`Use ${wa.address}`);
    const polygonZkEVM = (await ethers.getContractFactory('PolygonZkEVM', wa)).attach(createRollupParameters.rollupAddress);
    console.log(await polygonZkEVM.trustedSequencerURL());
    const tx = await polygonZkEVM.setTrustedSequencerURL("http://172.18.39.162:8123");
    await tx.wait(1);
    console.log(await polygonZkEVM.trustedSequencerURL());
}

main().catch((error) => {
    console.error(error);
    process.exit(1);
});

https://github.com/0xPolygonHermez/cdk-erigon/blob/06e93d49704726977297cf1d5055f43185e313bd/cmd/utils/flags.go#L2253-L2295

    chain = ctx.String(ChainFlag.Name)
    if strings.HasPrefix(chain, "dynamic") {
        configFilePath := ctx.String(ConfigFlag.Name)
        if configFilePath == "" {
            Fatalf("Config file is required for dynamic chain")
        }

        // Be sure to set this first
        params.DynamicChainConfigPath = filepath.Dir(configFilePath)
        filename := path.Join(params.DynamicChainConfigPath, chain+"-conf.json")

        genesis := core.GenesisBlockByChainName(chain)

        dConf := DynamicConfig{}

        if _, err := os.Stat(filename); err == nil {
            dConfBytes, err := os.ReadFile(filename)
            if err != nil {
                panic(err)
            }
            if err := json.Unmarshal(dConfBytes, &dConf); err != nil {
                panic(err)
            }
        }

        genesis.Timestamp = dConf.Timestamp
        genesis.GasLimit = dConf.GasLimit
        genesis.Difficulty = big.NewInt(dConf.Difficulty)

        cfg.Genesis = genesis

        genesisHash := libcommon.HexToHash(dConf.Root)
        if !ctx.IsSet(NetworkIdFlag.Name) {
            cfg.NetworkID = params.NetworkIDByChainName(chain)
        }
        SetDNSDiscoveryDefaults(cfg, genesisHash)
    } else {
        switch chain {
        default:
            genesis := core.GenesisBlockByChainName(chain)
            genesisHash := params.GenesisHashByChainName(chain)
            if (genesis == nil) || (genesisHash == nil) {
                Fatalf("ChainDB name is not recognized: %s", chain)

新建的自定义链，名称需要以dynamic关键词，例如dynamic-bcskill-testnet, 否则会获取对应的hash进行比对

https://github.com/0xPolygon/cdk-data-availability/blob/e17fe08a81dee451636cadce04e568563d992d38/sequencer/tracker.go#L84-L113

// Start starts the SequencerTracker
func (st *Tracker) Start(parentCtx context.Context) {
    st.startOnce.Do(func() {
        ctx, cancel := context.WithTimeout(parentCtx, st.timeout)
        defer cancel()

        addr, err := st.em.TrustedSequencer(ctx)
        if err != nil {
            log.Fatalf("failed to get sequencer addr: %v", err)
            return
        }

        log.Infof("current sequencer addr: %s", addr.Hex())
        st.setAddr(addr)

        url, err := st.em.TrustedSequencerURL(ctx)
        if err != nil {
            log.Fatalf("failed to get sequencer addr: %v", err)
            return
        }

        log.Infof("current sequencer url: %s", url)
        st.setUrl(url)

        if st.trackChanges {
            log.Info("sequencer tracking enabled")

            go st.trackAddrChanges(parentCtx)
            go st.trackUrlChanges(parentCtx)
        }
    })
}

分析

当TrackSequence设置为true时，会在TrackSequencerPollInterval间隔内，检查L1合约内的TrustedSequencer地址和URL是否有变更，并更新本地

场景

因为TrustedSequencer地址和URL变更频率很低，默认情况下TrackSequence可以设置为false，对比变更比较频繁的场景，可以将TrackSequence改为true
注：当cdk-data-availability服务重启时，会自动对齐配置

前置介绍

官方部署：https://docs.polygon.technology/cdk/getting-started/local-deployment/
Polygon CDK Kurtosis 包允许您轻松自定义和实例化 CDK 链的所有组件。它使用Kurtosis工具来协调 Docker 容器中链组件的设置，并使用Starlark脚本（一种 Python 方言）中定义的逻辑来定义设置链的分步过程。

Polygon CDK Kurtosis Package

https://github.com/0xPolygon/kurtosis-cdk
通过kurtosis{用于打包和启动临时后端堆栈的平台}，通过Docker和k8s 部署私有、可移植、模块化的Polygon CDK开发网络

软件包将部署：

1. 本地 L1 链，使用ethereum-package ，完全可定制并支持多客户端。
2. 本地 L2 链，使用Polygon Chain 开发套件(CDK)，具有可定制的组件，例如序列器、序列发送器、聚合器、rpc、证明器、dac 等。它将首先在 L1 链上部署Polygon zkEVM 智能合约，然后再部署不同的组件。
3. zkEVM桥接基础设施，促进 L1 和 L2 链之间的资产桥接，反之亦然。
4. Agglayer是一种正在开发中的互操作性协议，它允许进行无需信任的跨链代币传输和消息传递，以及 L2 链之间的更复杂操作，并由 zk 证明保护。
5. 附加服务，如交易垃圾邮件发送者、监控工具、无需权限的节点等。

模块版本对应关系

当前测试时，默认测试 fork12

部署测试

Kurtosis部署

环境准备

• Docker
• Kurtosis

  • echo "deb [trusted=yes] https://apt.fury.io/kurtosis-tech/ /" | sudo tee /etc/apt/sources.list.d/kurtosis.list
    sudo apt update
    sudo apt install kurtosis-cli

• jq
• yq (v3)
• cast

  • curl -L https://foundry.paradigm.xyz | bash
    source ~/.bashrc
    foundryup

• polycli

  • git clone https://github.com/0xPolygon/polygon-cli.git
    make install
    export PATH="$HOME/go/bin:$PATH"

部署

git clone https://github.com/0xPolygon/kurtosis-cdk.git
sudo su
kurtosis clean --all
ulimit -n 1000000
kurtosis run --enclave cdk .

默认部署包括cdk-erigon作为序列器，以及cdk-node作为序列发送器和聚合器。您可以通过查看 input_parser.star 来验证这些组件的默认版本和默认 fork ID。您可以通过查看input_parser.star来检查已部署组件的默认版本和默认 fork ID
当前cdk-erigon为v2.1.2版本，对应fork ID 12

查看网络布局

kurtosis enclave inspect cdk

L2 RPC 测试调用

export ETH_RPC_URL="$(kurtosis port print cdk cdk-erigon-rpc-001 rpc)"
cast block-number

默认情况下，CDK 处于test模式配置，这意味着地址为 的管理员账户中有一些预先存入的价值

cast balance --ether 0xE34aaF64b29273B7D567FCFc40544c014EEe9970

测试交易

private_key="0x12d7de8621a77640c9241b2595ba78ce443d05e94090365ab3bb5e19df82c625"
cast send --legacy --private-key "$private_key" --value 0.01ether 0x0000000000000000000000000000000000000000
blockHash               0xec514afabfa829f1b4e9339fd72e31fb2a1888a18046fe21743fe38b55bd24c3
blockNumber             45
contractAddress         
cumulativeGasUsed       21000
effectiveGasPrice       1000000000
from                    0xE34aaF64b29273B7D567FCFc40544c014EEe9970
gasUsed                 21000
logs                    []
logsBloom               0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
root                    
status                  1 (success)
transactionHash         0xa58b3383c1b1f53369723fdc537c88daa03585cb6a89aa49ebd493953d519fdf
transactionIndex        0
type                    0
blobGasPrice            
blobGasUsed             
authorizationList       
to                      0x0000000000000000000000000000000000000000

批量交易，需要安装polygon-cli

polycli loadtest --rpc-url "$ETH_RPC_URL" --legacy --private-key "$private_key" --verbosity 700 --requests 50000 --rate-limit 50 --concurrency 5 --mode t
polycli loadtest --rpc-url "$ETH_RPC_URL" --legacy --private-key "$private_key" --verbosity 700 --requests 500 --rate-limit 10 --mode 2
polycli loadtest --rpc-url "$ETH_RPC_URL" --legacy --private-key "$private_key" --verbosity 700 --requests 500 --rate-limit 3  --mode uniswapv3

获取输出日志

kurtosis service logs cdk agglayer --follow

排查错误

kurtosis service shell cdk contracts-001
jq . /opt/zkevm/combined.json

检查系统状态

cast rpc zkevm_batchNumber
cast rpc zkevm_virtualBatchNumber
cast rpc zkevm_verifiedBatchNumber

如果验证批次的数量不断增加，则表明系统运行正常

访问zkevm-bridge用户界面

open "$(kurtosis port print cdk zkevm-bridge-proxy-001 web-ui)"

查看cdk-erigon-rpc-001日志

kurtosis service logs cdk cdk-erigon-rpc-001 --follow

停止本地开发网络并将其删除

kurtosis clean --all