P1 Verification: Gather Specs

Status: COMPLETED

Overview

P1 involved collecting authoritative information about Arbitrum Nitro precompiles and transaction type 0x7e specifications.

Verification Criteria

  • ArbSys precompile specifications gathered
  • ArbGasInfo precompile specifications gathered
  • Transaction type 0x7e specifications gathered
  • Method selectors and function signatures documented
  • Implementation requirements identified

Implementation Status

ArbSys Precompile (0x64) Specifications

  • Address: 0x0000000000000000000000000000000000000064
  • Core Functions: arbChainID(), arbBlockNumber(), arbBlockHash(), arbOSVersion()
  • L1→L2 Functions: withdrawEth(), sendTxToL1()
  • Address Aliasing: isL1ContractAddressAliased(), mapL1SenderContractAddressToL2Alias()
  • Method Selectors: All documented with hex values

ArbGasInfo Precompile (0x6C) Specifications

  • Address: 0x000000000000000000000000000000000000006C
  • Gas Pricing: getPricesInWei(), getPricesInArbGas()
  • L1 Cost Estimation: getL1BaseFeeEstimate(), getCurrentTxL1GasFees()
  • Aggregator Support: getPricesInWeiWithAggregator(), getPricesInArbGasWithAggregator()
  • Return Types: 5-tuple and 6-tuple structures documented

Transaction Type 0x7e Specifications

  • RLP Structure: Complete field definitions
  • Required Fields: sourceHash, from, to, mint, value, gasLimit, isCreation, data
  • Execution Semantics: L1→L2 processing model
  • Signature Validation: ECDSA requirements

Implementation Requirements

  • Local Simulation Requirements: Hardhat and Foundry integration points
  • Gas Calculation: Simplified L1 cost estimation models
  • State Management: L1→L2 bridge state simulation

Evidence Files

  • docs/m1-specification-details.md - : Complete technical specifications
  • Method selectors and function signatures documented
  • Implementation requirements clearly stated

Test Results

N/A - P1 is specification gathering only

Issues Found

None - P1 implementation is comprehensive and complete

Verification Result

P1: COMPLETED - All Arbitrum specifications gathered and documented for implementation

← PreviousNext →