# Linea 生态概念入门 - Hackquest课程笔记

**Published by:** [KeithG](https://paragraph.com/@keithg/)
**Published on:** 2024-11-25
**URL:** https://paragraph.com/@keithg/linea-hackquest

## Content

直达 Hackquest 链接 Linea 生态概念入门Linea背景介绍背景介绍Consensys产品包括MetaMask、Iufura、Linea、Diligence、NFTtoolkit phosphor目标是让每个人都能轻松使用和开发Web3创始人Joseph Lubin是以太坊联合创始人介绍Linea是一个与以太坊虚拟机（EVM）完全等效的二层网络基于ZK-Rollup旨在实现高吞吐量和低交易成本，同时保持与EVM的完全兼容性交易费降低了93%～95%Linea让以太坊开发者能无缝构建和扩展DApps，无需改动现有代码生态项目介绍BridgeStargate建立在Layer Zero之上的流动性转移协议，旨在安全地帮助用户跨链转移资产NFTElement第一个社区驱动的聚合市场，旨在最好的流动性、最低的交易成本和最高效的交易功能InfrastructureOmni Network旨在连接所有optimistic rollups，填补Ethereum卷积中心化路线图的空白DeFiPancakeSwap基于BNB和Ethereum的去中心化交易所（DEX），采用automated market maker（AMM）模型运作Data ServicesAPI3允许应用实时跟踪加密货币和外汇市场价格Development ToolsThirdweb是一个专为web3应用开发而设计的开发平台，提供创建和管理web3应用的工具和服务Entertainment SectorCataclysm是由NFT Factory开发的一款web3游戏优势强调提升DeFi体验、开发者友好、庞大工具支持、强安全性和合规背书去中心化路线图Phase 0:Foundational Infrastructure and Security Establishment - CompletedPhase 1:Openness and Full Coverage - CurrentPhase 2:Diversified Governance and Resistance to CensorshipPhase 3:Decentralized Operations and GovernancePhase 4:Robustness Strengthening and Trust MinimizationLinea技术实现zkEVMdefine与 EVM兼容对ZKP（Zero-Knowledge Proofs）友好zkEVM 的目标是与以太坊规范和标准完全兼容，简化开发者在其上构建应用程序并集成到以太坊生态系统中的过程分类完全等同于以太坊的 zkRollups在所有部分（包括哈希、状态树、交易树、预编译或任何其他共识逻辑）中精确复制以太坊完全等同于 EVM 的 zkRollups力求与 EVM 等效，但并非完全等效于以太坊进行了微小修改以优化开发和加快证明生成Linea即将做到几乎等同于 EVM为了加快证明生成，牺牲了更多元素和等效高级语言等效接受用 Solidity 编写的智能合约，然后将其转换为另一种自定义的、适用于 Zk 的语言Linea zkEVM的特点与 EVM 完全兼容，利于开发者迁移证明效率高，交易快，更安全zkEVM的设计减少了可攻击面，增强了整个系统的安全性递归优化，整体性能高效的用户交易体验Linea Bridge使用 Canonical Token Bridge合约来桥接任何 ERC-20 代币它是一对“锁定和铸造（代币）”合约，在源链上锁定lock代币，然后在目标链上mint同等数量的代币。源链上的代币被锁定，当代币从目标链移回源链时再解锁Linea Canonical Message Service它是一个基于智能合约和Postbots服务的消息服务层组成部分两个智能合约以及中间的Postbots服务其中智能合约分别位于Linea和以太坊上，并且几乎完全相同用户通过调用Message service合约中的方法启动网络间传输。智能合约将请求传递给Postbots service，Postbot监听并转发信息到另一个网络。信息到达目标智能合约后，代码执行Linea生命交易周期提交交易用户在自己的钱包里签名一个交易并将其广播至Linea网络，交易进入mempool待处理区块构建Linea的排序器负责对交易进行排序、构建区块并执行检查每个交易的有效性，并在必要时拒绝交易交易有效性条件（有效性标准是特定于Linea的）账户是否存在Gas价格不能低于最低限价，不能超过1000万Nonce唯一性，如果nonce相同，Gas费用高的交易会被接受calldata大小不能大于25kb优先级Gas竞拍，根据每笔交易支付的优先费用来排序交易发送交易数据给状态管理器交易执行后，关于交易及其执行时网络状态的数据被记录下来，称为跟踪记录这些数据由跟踪生成器（排序器的一部分）输出按区块传递给状态管理器，用来更新网络状态一旦状态更新，交易在钱包中反映并确认，达到软最终性标志着交易在Linea链上已经完成作为一个二层（L2）解决方案，还需要进一步的步骤来达到真正的最终性合并交易数据Linea 采用了批次合并技术为了最小化提交到以太坊一级（L1）的证明成本将两个或更多区块的交易数据合并成一个数据集可以使用单一的证明来验证大量交易在链活动水平特别高时，可能只有一个区块的数据，此时不会进行合并使用交易数据生成ZK证明使用交易的数据生成零知识证明（ZK证明）Linea 的证明生成器在协调器的提示下首先展开跟踪数据，准备将其包含在证明中该过程分为两个阶段：首先生成内部证明，然后生成外部证明内部证明：使用Arcane和Vortex等工具组合，递归地减小证明大小外部证明：利用Consensys维护的库gnark进一步压缩证明大小。最终生成的证明被称为zk-SNARK，这是最终提交给以太坊的证明类型批次最终化提交批次到以太坊主网来实现批次的最终化，从而证明其计算完整性提交到 L1 的两个元素zk-SNARK证明存储 L2 交易数据的对象calldata的公开可用性意味着任何人都可以使用它来重构Linea的状态可以将这种重构与证明的内容进行比较并验证后者当Linea的Rollup合约在L1上调用以太坊的验证合约时，就是使用calldata来决定是否接受批次为有效通过查看Linea L1 Rollup合约中标记为“Finalize Blocks”的交易，可以在以太坊主网上查看已完成批次的 calldata完成批次的验证并过去两个纪元（epoch）后，交易成为不可变的历史，并达到硬最终性此时，其生命周期完整结束

## Publication Information

- [KeithG](https://paragraph.com/@keithg/): Publication homepage
- [All Posts](https://paragraph.com/@keithg/): More posts from this publication
- [RSS Feed](https://api.paragraph.com/blogs/rss/@keithg): Subscribe to updates