用途:该技能基于 zkSync Era(ZK Stack)源码生成,文档路径为 sources/zksync-era/docs/src/(规格与指南)。zkSync Era 是结算于以太坊的 EVM 兼容 ZK rollup,采用基于寄存器的 zkEVM(Era VM)、状态差分数据可用性与 Boojum 证明系统。技能聚焦协议机制、L1 合约、VM/编译器行为、L1–L2 消息传递与 pubdata,适合实现工具、集成 L1/L2 或推理执行与最终性的智能体。
主要能力(按主题):协议概览涵盖 Sequencer、Prover、L1 合约、区块/批次、状态差分与 Boojum;区块与批次区分 L2 区块与 L1 批次、封批条件、try-and-rollback 与虚拟区块;L1 智能合约涵盖 Diamond 代理、facets(Getters、Admin、Mailbox、Executor)、桥与治理;Era VM 涵盖寄存器机、指令、near/far 调用、fat pointers 与 bootloader。
L1–L2 通信:优先级操作、requestL2Transaction、地址别名、L2→L1 日志/消息。证明与编译器:ZK 术语、Boojum、电路与测试框架;zksolc、Yul/EVMLA→EraVM、系统合约与辅助堆。交易与数据:交易类型(Legacy、EIP-1559、0x71、L1Tx)、生命周期、内存池与 state keeper;数据可用性涵盖 pubdata 类别、状态差分、Boojum 打包与 L2 状态重建。
使用方式与限制:资料未提供具体安装命令、调用示例或运行步骤,暂未提供。适用场景为需要理解 zkSync Era 协议、合约、VM 与数据可用性细节的开发与集成工作。