全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

欺诈证明

本文档深入探讨了 Fault Proof（也称为欺诈证明或交互式游戏）的组成部分：program，vm，以及交互式的争议解决游戏。
fault proof  Pre-image Oracle  Fault Proof Program  Fault Proof VM  Interactive Dispute Game  欺诈证明 

以太坊 - 术语表

本文档是 Optimism 项目的术语表，详细定义了 L1/L2、区块、交易、排序器、存款、提款、批处理提交、L2 链推导等核心概念。解释了这些概念在 Optimism rollup 中的作用，以及它们与以太坊主链的交互方式，例如排序器如何工作、存款和提款的流程、以及如何从 L1 数据推导出 L2 链。
Layer2  Rollup  Optimism  排序器  存款  提款  数据可用性 

超级链升级

本文档介绍了OP-Stack的超级链升级，包括协议版本格式、超级链目标、激活规则以及后Bedrock网络升级。协议版本用于标识对OP-Stack规范的支持程度，而超级链目标定义了跨OP-Stack链共享的激活规则和L1合约升级。文章还详细说明了Regolith升级，该升级对存款处理进行了细微更改。
op-stack  超级链  协议版本  激活规则  Regolith  Bedrock  L1合约升级 

我与Ola的故事：与来自世界的声音相遇 - Ola大使访谈系列1

本文介绍了Ola Ambassador Program的第一期，通过采访来自韩国、日本、伊朗和印度的五位大使，展示了他们对Ola项目及其ZKVM技术的贡献和热情。他们分享了加入Ola的原因、学习经历、2024年的目标以及对未来大使的建议，旨在扩大Ola的影响力，并促进社区的参与和创新。
zkVM  Layer2  隐私  Ola Ambassador Program  社区  Web3 

预部署合约

本文档介绍了Optimism网络中的预部署合约，它们位于预先确定的地址，类似于预编译合约，但直接在EVM中运行。
预部署合约  Optimism  L2  跨域消息传递  桥接  EVM 

L2 链推导规范

本文档详细阐述了如何从L1数据中推导出L2链，这是rollup节点的核心任务之一。内容涵盖批量提交的各个方面，包括排序、批处理、线格式、架构、L1遍历、有效载荷属性推导，以及引擎队列的使用。同时还描述了在L1链重组情况下如何重置管道，以确保L2链的连续性和正确性。
L2链  数据推导  rollup节点  批量提交  排序  负载属性  引擎队列 

争议游戏接口

本文档定义了争议游戏（Dispute Game）的接口，争议游戏用于在乐观rollup中，当对layer2状态的声明产生争议时，由多方参与进行仲裁。文档详细描述了`DisputeGameFactory`和`DisputeGame`两个核心接口，以及相关的类型定义，为不同证明系统（如欺诈证明、有效性证明、认证证明）的实现提供了灵活性。
争议游戏  乐观 Rollup  欺诈证明  有效性证明  DisputeGameFactory  DisputeGame 

系统配置

本文介绍了Optimism Rollup 的 SystemConfig 合约，该合约用于在L1上发出rollup配置更改的日志事件，这些更改会被L2的区块衍生过程获取并应用。文章详细说明了SystemConfig合约中包含的参数，如batcherHash、overhead、scalar、gasLimit以及unsafeBlockSigner，以及如何读写这些配置。
SystemConfig  Rollup  batcherHash  gaslimit  L1费用参数  unsafeBlockSigner 

L2 输出根提案规范

本文档描述了Optimism Rollup中L2输出根提案的规范。为了实现L2到L1消息传递的信任执行，需要将L2的状态同步到结算层L1。Proposer构建并提交L2状态的承诺（输出根）到L1上的L2OutputOracle合约。本文档详细介绍了L2输出承诺的构造方式，L2OutputOracle合约的接口，以及在面对L1重组时的安全考虑。
L2  Optimism  Rollup  输出根  状态承诺  L2OutputOracle 

Cannon故障证明虚拟机规范

本文档详细描述了Cannon故障证明虚拟机（FPVM）的规范，该虚拟机模拟了一个运行在big-endian 32位MIPS32架构上的最小Linux系统，重点介绍了FPVM的状态（包括内存、寄存器等）、内存管理（包括堆）、延迟槽、系统调用、I/O操作（包括标准流、提示通信和预图像通信）以及异常处理，为理解和实现FPVM提供技术指导。
Cannon FPVM  故障证明虚拟机  MIPS32  系统调用  预图像  状态转换 

离线授权 NFT EIP-4494：ERC721 -Permit

in  全面掌握Solidity智能合约开发
如何将 ERC2612 的 Permit 方式应用到 ERC721 NFT 上。
ERC721  NFT 

Uniswap v2：对于流动性提供者来说仍然划算吗？2023 年的回顾

该文章从发散损失、费用收入和交易量来源三个角度分析了以太坊主网上 Uniswap v2 WETH/USDC 池，得出结论是该池仍然是 LP 的有利选择。尽管 ETH 价格几乎翻了一番，但该池能够跑赢 5% 的发散损失，并在今年大部分时间里保持相对于 50:50 HODL 的正收益。
Uniswap V2  WETH/USDC  DEX  流动性提供者  LVR  MEV 机器人 
  • atise_
  • 发布于 2024-01-23
  • 阅读 ( 464 )

L2 执行引擎

本文档概述了L1执行引擎对L2的修改、配置和使用，包括处理存款交易、手续费的收取方式（优先级费用、基础费用和 L1 成本费用），还介绍了Engine API 的使用，例如 forkchoiceUpdatedV1、newPayloadV1、getPayloadV1，以及L2执行引擎的网络和同步方式。
L2执行引擎  存款交易  Engine API  手续费  网络  同步 

L2输出根提案规范

本文档介绍了L2输出根提案规范，这是Optimism Rollup中将L2状态同步到L1（结算层）的关键环节。Proposer的角色是构建并提交输出根到L1上的L2OutputOracle合约，以此作为桥梁的L2 状态视图，并可接受fault proof挑战。其中详细说明了L2输出承诺的构建方式和L2OutputOracle智能合约的接口定义与配置，以及安全方面的考虑，例如 L1 重组。
L2输出根  L2OutputOracle  Op-Proposer  状态根  提款 

Rollup节点规范

本文档是 Rollup 节点规范，Rollup 节点负责从 L1 区块（及其关联的收据）中导出 L2 链。文档详细介绍了 Rollup 节点中驱动程序的设计、功能，包括从L1链选择输入，生成payload attributes，并传递给执行引擎以计算L2区块，还包括L2输出RPC方法，以及协议版本追踪。
Rollup 节点  L2 链  L1 区块  Payload Attributes  执行引擎  L2 输出根 

Rollup节点规范

本文档是关于rollup node的规范，重点介绍了rollup driver的职责，即从L1链派生L2链的过程，包括从L1选择输入、生成payload attributes以及将payload attributes传递给执行引擎等步骤。同时，还介绍了Rollup节点提供的RPC方法optimism_outputAtBlock，该方法用于获取L2输出根。
Rollup Node  Rollup Driver  L2链  L1链  Payload Attributes  optimism_outputAtBlock 

故障争议游戏

本文介绍了Fault Dispute Game (FDG) 的机制，这是一种通过迭代二分执行轨迹来验证根声明有效性的争议解决游戏。参与者通过提出声明来缩小执行轨迹，直至争议点为单个状态转换。游戏依靠虚拟机（VM）来验证声明的有效性，并最终通过对声明的争议情况来确定胜者。文章还涉及了参与者、移动类型、游戏时钟和最终的解决方案等关键概念。
Fault Dispute Game  争议游戏  执行轨迹  虚拟机  状态转换  PreimageOracle 

存款交易

本文档介绍了在L1上发起并在L2上执行的Deposit交易类型，包括其结构、在L1上的发起方式以及在L2上的验证和授权条件，以及两种类型的 Deposit 交易：L1 属性 Deposit 交易和用户 Deposit 交易。还详细说明了 L1 属性预部署合约和用户 Deposit 交易的 Deposit 合约。
Deposit交易  L1  L2  EIP-2718  OptimismPortal  sourceHash 

每周以太坊 2024/1/20

每周以太坊 2024/1/20
每周以太坊 
  • EthWeekly
  • 发布于 2024-01-22
  • 阅读 ( 2096 )
  • ( 12 )

Layer 2 Sequencer是什么？终极指南

本文深入探讨了以太坊rollup架构中的关键组件——排序器（sequencer）。
以太坊  Rollup  排序器  L2  中心化  去中心化  共享排序器