https://github.com/jesseduffield/lazydocker

1. Add the necessary repository

curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo gpg --dearmor -o /usr/share/keyrings/docker-archive-keyring.gpg

echo "deb [arch=amd64 signed-by=/usr/share/keyrings/docker-archive-keyring.gpg] https://download.docker.com/linux/ubuntu $(lsb_release -cs) stable" | sudo tee /etc/apt/sources.list.d/docker.list > /dev/null

2. Install the necessary dependencies

sudo apt-get install apt-transport-https ca-certificates curl gnupg lsb-release -y

3. Install Docker

sudo apt-get update
sudo apt-get install docker-ce docker-ce-cli docker-compose containerd.io -y
sudo apt install gnome-keyring

4. Add your user to the Docker group

sudo usermod -aG docker $USER
sudo chmod 666 /var/run/docker.sock
sudo service docker restart

5. Testing the installation

docker version
docker pull hello-world

6.fix "System has not been booted with systemd as init system (PID 1). Can't operate. Failed to connect to bus: Host is down"

sudo apt-get update && sudo apt-get install -yqq daemonize dbus-user-session fontconfig

sudo daemonize /usr/bin/unshare --fork --pid --mount-proc /lib/systemd/systemd --system-unit=basic.target

exec sudo nsenter -t $(pidof systemd) -a su - $LOGNAME

snap version

参考文档

https://www.zdnet.com/article/docker-101-how-to-install-docker-on-ubuntu-server-22-04/
https://gist.github.com/alyleite/ca8b10581dbecd722d9dcc35b50d9b2b
https://docs.docker.com/engine/install/ubuntu/

Awesome zkEVM

zkEVM is a Fully EVM equivalent and zk friendly virtual machine.

Contents

• Awesome zkEVM
  • Contents
  • Article - Video
    • Rollup
    • zkEVM
    • zk-hardware
    • Zero-Knowledge-Proofs
      • zk-SNARK
      • Plonk
      • Halo2
  • Resources - libraries, tools
    • Early Rollup
    • Scroll and Appliedzkp(PSE)
    • Polygon Hermez
    • Polygon Zero
    • zkSync
    • StarkWare
    • Zero-Knowledge-Proofs
    • Halo2
    • zkp Acceleration
  • Different Solutions
    • Native zkEVM
    • Compiler-Based zkEVM
    • Transpiler-Based zkEVM
    • Other
• Contributing

Article - Video

Rollup

• An Incomplete Guide to Rollups - vitalik, Introducing Rollup.
• A rollup-centric ethereum roadmap - vitalik, rollup-centric ethereum roadmap.
• How Zk-Rollups Work - How barry whiteHat's rollup works.

zkEVM

• zkEVM - Scroll zkEVM.
• zkEVM Architecture - Scroll & EF zkEVM Architecture.
• ZKVerse: Deep Dive Into Polygon Hermez 2.0 - Deep into zkEVM of polygon hermez.
• zkEVM circuit arithmetization - zkEVM circuits and EVM circuit, yezhang.
• The different types of ZK-EVMs

zk-hardware

• Hardware Acceleration for Zero Knowledge Proofs - Hardware for ZKPs.

Zero-Knowledge-Proofs

zk-SNARK

• Introduction to zk-SNARKs with Examples - Get started to learn zk-SNARK by example.
• Why and How zk-SNARK Works - In-depth SNARK mechanism and understanding.

Plonk

• Understanding PLONK
• ZK Study Club - Plonk with Zac Williamson
• Multiset checks in PLONK and Plookup

Halo2

• Halo and more: exploring incremental verification and SNARKs without pairings

Resources - libraries, tools

Early Rollup

• idn3 rollup - iden3 rollup implement.
• barryWhiteHat rollup - First rollup implemented by barryWhiteHat.

Scroll and Appliedzkp(PSE)

• zkEVM-spec
• zkEVM-circuit
• zkEVM-document
• Scroll's architecture

Polygon Hermez

• Polygon Hermez zkEVM
• Hermez document

Polygon Zero

• Plonky2

zkSync

• zksync v1 - zksync v1 source code.
• compiler-solidity - zkSync v2 compiler.
• zksync v2 portal - zksync v2 faucet, Goerli network.

StarkWare

• Awesome-starknet - A curated list of starkNet resources.
• Warp:transpile solidity to cairo

Zero-Knowledge-Proofs

• Awesome-zkps - A curated list of zkps resources.

Halo2

• Halo2 repo
• Halo2 document
• Halo2 for PSE and Scroll

zkp Acceleration

• supranational
• supranational - sppark

Different Solutions

Native zkEVM

• PSE (formerly appliedzkp)
• Scroll
• Polygon Hermez
• Polygon Zero

Compiler-Based zkEVM

• zkSync v2

Transpiler-Based zkEVM

• StarkNet
• Miden

Other

• Consensys zkEVM
• Consensys zkEVM 2.0

Contributing

Contributions are very welcome!

Please have a look at contributing.md for guidelines.

英文原文：https://github.com/LuozhuZhang/awesome-zkevm

测试硬件环境

OS: Mac Pro {cpu intel} v11.7.5
注意：目前，Executor/Prover 不能在 ARM 驱动的 Mac 上运行。对于 Windows 用户，不建议使用 WSL/WSL2。

测试环境搭建

先按官方的测试环境进行部署，熟悉下部署细节，然后再做针对性补充
主要参考文章如下

• Running locally
• Running on production
• setup-local-node
• setup-production-node

官方是已Docker环境进行演示介绍的，我们精简下，主要说下关键操作

安装基础环境

自行安装go,docker和docker-compose
可以参考以下官方文档，查看对应平台的安装方法：
https://go.dev/doc/install
https://www.docker.com/get-started
https://docs.docker.com/compose/install/

克隆代码

git clone https://github.com/0xPolygonHermez/zkevm-node.git

构建Docker镜像

cd zkevm-node/
make build-docker

运行 zkNode 环境

cd test/
make run

其他操作

make stop // 停止 zkNode
make restart // 重启整个 zkNode 环境

执行后，会创建和启动如下容器

• zkevm-state-db
• zkevm-pool-db
• zkevm-mock-l1-network
• zkevm-prover
• zkevm-approve
• zkevm-sync
• zkevm-eth-tx-manager
• zkevm-sequencer
• zkevm-l2gaspricer
• zkevm-aggregator
• zkevm-json-rpc

根据Docker环境抽离各个模块配置

//TODO

L1网络配置

• Network Name: Geth - Local
• New RPC URL: http://localhost:8545
• ChainID: 1337
• Currency Symbol: ETH

L2网络配置

• Network Name: Polygon zkEVM - Local
• New RPC URL: http://localhost:8123
• ChainID: 1001
• Currency Symbol: ETH
• Block Explorer URL: http://localhost:4000

访问环境

• Databases:
  • zkEVM Node State Database
    • Type: Postgres DB
    • User: state_user
    • Password: state_password
    • Database: state-db
    • Host: localhost
    • Port: 5432
    • Url: postgres://state_user:srare_password@localhost:5432/state-db
  • zkEVM Node Pool Database
    • Type: Postgres DB
    • User: pool_user
    • Password: pool_password
    • Database: pool_db
    • Host: localhost
    • Port: 5433
    • Url: postgres://pool_user:pool_password@localhost:5433/pool_db
  • zkEVM Node JSON-RPC Database
    • Type: Postgres DB
    • User: rpc_user
    • Password: rpc_password
    • Database: rpc_db
    • Host: localhost
    • Port: 5434
    • Url: postgres://rpc_user:rpc_password@localhost:5434/rpc_db
  • Explorer L1 Database
    • Type: Postgres DB
    • User: l1_explorer_user
    • Password: l1_explorer_password
    • Database: l1_explorer_db
    • Host: localhost
    • Port: 5435
    • Url: postgres://l1_explorer_user:l1_explorer_password@localhost:5435/l1_explorer_db
  • Explorer L2 Database
    • Type: Postgres DB
    • User: l2_explorer_user
    • Password: l2_explorer_password
    • Database: l2_explorer_db
    • Host: localhost
    • Port: 5436
    • Url: postgres://l2_explorer_user:l2_explorer_password@localhost:5436/l2_explorer_db
• Networks:
  • L1 Network
    • Type: Geth
    • Host: localhost
    • Port: 8545
    • Url: http://localhost:8545
  • zkEVM Node
    • Type: JSON RPC
    • Host: localhost
    • Port: 8123
    • Url: http://localhost:8123
• Explorers:
  • Explorer L1
    • Type: Web
    • Host: localhost
    • Port: 4000
    • Url: http://localhost:4000
  • Explorer L2
    • Type: Web
    • Host: localhost
    • Port: 4001
    • Url: http://localhost:4000
• Prover
  • Type: Mock
  • Host: localhost
  • Port: Depending on the prover image, if it's mock or not:
    • Prod prover: 50052 for Prover, 50061 for Merkle Tree, 50071 for Executor
    • Mock prover: 43061 for MT, 43071 for Executor
  • Url: http://localhost:50001

关键地址私钥

L1 Addresses

Deployer Account

Sequencer Account

Accounts

1. 引言

源代码：https://github.com/0xPolygonHermez/zkevm-node （Go语言）

Polygon zkEVM节点提供的主要服务模块有：

• 1）JSON-RPC服务
• 2）Sequencer服务
• 3）Aggregator服务
• 4）Synchronizer服务
• 5）Broadcast服务

2. JSON-RPC服务

以太坊JSON-RPC接口 与 Polygon zkEVM中的JSON-RPC接口 对比情况为：

Hermez 2.0（zkEVM）除实现了以上与以太坊兼容的RPC接口之外，还额外实现了一些与state交互、与pool交互的接口：

// jsonRPCTxPool contains the methods required to interact with the tx pool.
type jsonRPCTxPool interface {
    AddTx(ctx context.Context, tx types.Transaction) error
    GetPendingTxs(ctx context.Context, isClaims bool, limit uint64) ([]pool.Transaction, error)
    GetGasPrice(ctx context.Context) (uint64, error)
    GetPendingTxHashesSince(ctx context.Context, since time.Time) ([]common.Hash, error)
}

// gasPriceEstimator contains the methods required to interact with gas price estimator
type gasPriceEstimator interface {
    GetAvgGasPrice(ctx context.Context) (*big.Int, error)
}

// stateInterface gathers the methods required to interact with the state.
type stateInterface interface {
    BeginStateTransaction(ctx context.Context) (pgx.Tx, error)

    GetLastConsolidatedL2BlockNumber(ctx context.Context, dbTx pgx.Tx) (uint64, error)
    GetTransactionByHash(ctx context.Context, transactionHash common.Hash, dbTx pgx.Tx) (*types.Transaction, error)
    GetTransactionReceipt(ctx context.Context, transactionHash common.Hash, dbTx pgx.Tx) (*types.Receipt, error)
    GetLastL2BlockNumber(ctx context.Context, dbTx pgx.Tx) (uint64, error)
    GetLastL2Block(ctx context.Context, dbTx pgx.Tx) (*types.Block, error)
    GetLastL2BlockHeader(ctx context.Context, dbTx pgx.Tx) (*types.Header, error)
    EstimateGas(transaction *types.Transaction, senderAddress common.Address) (uint64, error)
    GetBalance(ctx context.Context, address common.Address, blockNumber uint64, dbTx pgx.Tx) (*big.Int, error)
    GetL2BlockByHash(ctx context.Context, hash common.Hash, dbTx pgx.Tx) (*types.Block, error)
    GetL2BlockByNumber(ctx context.Context, blockNumber uint64, dbTx pgx.Tx) (*types.Block, error)
    GetCode(ctx context.Context, address common.Address, blockNumber uint64, dbTx pgx.Tx) ([]byte, error)
    GetStorageAt(ctx context.Context, address common.Address, position *big.Int, blockNumber uint64, dbTx pgx.Tx) (*big.Int, error)
    GetSyncingInfo(ctx context.Context, dbTx pgx.Tx) (state.SyncingInfo, error)
    GetTransactionByL2BlockHashAndIndex(ctx context.Context, blockHash common.Hash, index uint64, dbTx pgx.Tx) (*types.Transaction, error)
    GetTransactionByL2BlockNumberAndIndex(ctx context.Context, blockNumber uint64, index uint64, dbTx pgx.Tx) (*types.Transaction, error)
    GetNonce(ctx context.Context, address common.Address, blockNumber uint64, dbTx pgx.Tx) (uint64, error)
    GetL2BlockHeaderByNumber(ctx context.Context, blockNumber uint64, dbTx pgx.Tx) (*types.Header, error)
    GetL2BlockTransactionCountByHash(ctx context.Context, hash common.Hash, dbTx pgx.Tx) (uint64, error)
    GetL2BlockTransactionCountByNumber(ctx context.Context, blockNumber uint64, dbTx pgx.Tx) (uint64, error)
    GetLogs(ctx context.Context, fromBlock uint64, toBlock uint64, addresses []common.Address, topics [][]common.Hash, blockHash *common.Hash, since *time.Time, dbTx pgx.Tx) ([]*types.Log, error)
    GetL2BlockHashesSince(ctx context.Context, since time.Time, dbTx pgx.Tx) ([]common.Hash, error)
    DebugTransaction(ctx context.Context, transactionHash common.Hash, tracer string) (*runtime.ExecutionResult, error)
    ProcessUnsignedTransaction(ctx context.Context, tx *types.Transaction, senderAddress common.Address, blockNumber uint64, dbTx pgx.Tx) *runtime.ExecutionResult
    IsL2BlockConsolidated(ctx context.Context, blockNumber int, dbTx pgx.Tx) (bool, error)
    IsL2BlockVirtualized(ctx context.Context, blockNumber int, dbTx pgx.Tx) (bool, error)
}

type storageInterface interface {
    NewLogFilter(filter LogFilter) (uint64, error)
    NewBlockFilter() (uint64, error)
    NewPendingTransactionFilter() (uint64, error)
    GetFilter(filterID uint64) (*Filter, error)
    UpdateFilterLastPoll(filterID uint64) error
    UninstallFilter(filterID uint64) (bool, error)
}

3. Sequencer服务

当前代码库中，暂未实现permissionless sequencer功能，ProofOfEfficiency.sol合约中也暂未实现registerSequencer等接口。

参考资料

[1] Ethereum JSON-RPC Specification
[2] PoE
[3] zkProver debugging
[4] Hermez 1.5 - Merkle Tree spec
[5] PoE - 1.5

附录：Polygon Hermez 2.0 zkEVM系列博客

• ZK-Rollups工作原理
• Polygon zkEVM——Hermez 2.0简介
• Polygon zkEVM网络节点
• Polygon zkEVM 基本概念
• Polygon zkEVM Prover
• Polygon zkEVM工具——PIL和CIRCOM

转载：https://blog.csdn.net/mutourend/article/details/126409344