本文档介绍了zkSync OS中的引导加载程序(Bootloader)组件,它是系统的入口点,负责初始化系统、读取区块上下文、处理交易、执行交易、保存结果及最终确定区块。文档还涵盖了引导加载程序的配置、账户抽象、代码执行以及区块头的相关信息。
本文介绍了zkSync Era中交易处理的流程,包括L1和L2两种交易的处理方式。L2交易处理流程包含解析、资源计算、账户模型交互、Nonce验证、手续费收取、Paymaster处理、执行和退款等步骤。L1交易处理的主要区别在于没有验证步骤,并且不支持从L1交易发起部署交易。
本文介绍了以太坊区块证明的过程,包括获取区块信息、将信息转换为prover可理解的格式(witness generation),以及运行prover。Prover可以在GPU或CPU上运行,文中提供了在GPU和CPU上运行prover的具体步骤和命令,以及验证最终证明的方法。
本文档详细描述了 Matter Labs 的 ZKsync Era 的系统合约和启动加载器的架构与功能。