specs: Move to dedicated repo (#9121)

.circleci/config.yml

@@ -665,51 +665,6 @@ jobs:
           command: ./ops/scripts/todo-checker.sh --verbose
       - notify-failures-on-develop
 
-  bedrock-markdown:
-    machine:
-      image: <<pipeline.parameters.base_image>>
-    steps:
-      - checkout
-      - check-changed:
-          patterns: specs/(.*)\.md$
-      - run:
-          name: Install pnpm package manager
-          command: |
-            npm i pnpm --global
-      - run:
-          name: pnpm dev deps
-          command: pnpm install:ci
-      - run:
-          name: specs toc
-          command: pnpm lint:specs:toc && git diff --exit-code ./specs
-      - run:
-          name: markdown lint
-          command: pnpm lint:specs:check
-
-  bedrock-markdown-links:
-    machine:
-      image: <<pipeline.parameters.base_image>>
-    steps:
-      - checkout
-      - run:
-          name: Install pnpm package manager
-          command: |
-            npm i pnpm --global
-      - run:
-          name: Install node_modules
-          command: |
-            pnpm install:ci
-      - run:
-          name: Lint check
-          command: |
-            pnpm lint:specs:check
-      - run:
-          name: link lint
-          command: |
-            make bedrock-markdown-links
-      - notify-failures-on-develop:
-          channel: C055R639XT9 #notify-link-check
-
   fuzz-golang:
     parameters:
       package_name:
@@ -1461,7 +1416,6 @@ workflows:
           requires:
             - "go-mod-tidy"
             - l1-geth-version-check
-      - bedrock-markdown
       - go-lint: # we combine most of the go-lint work for two reasons: (1) warm up the Go build cache, (2) reduce sum of lint time
           name: op-stack-go-lint
           requires: [ "go-mod-tidy" ]
@@ -1879,13 +1833,6 @@ workflows:
             - slack
             - oplabs-fpp-nodes
 
-  scheduled-link-check:
-    when:
-      equal: [ build_daily, <<pipeline.schedule.name>> ]
-    jobs:
-      - bedrock-markdown-links:
-          context: slack
-
   scheduled-docker-publish:
     when:
       equal: [ build_hourly, <<pipeline.schedule.name>> ]

.markdownlint.json

-{
-  "line_length": {
-    "line_length": 120,
-    "strict": false,
-    "stern": true,
-    "code_blocks": false,
-    "tables": false,
-  },
-  "no-blanks-blockquote": false,
-  "single-title": false,
-  "no-emphasis-as-heading": false,
-}

README.md

@@ -17,7 +17,10 @@ In this repository, you'll find numerous core components of the OP Stack, the de
 
 - If you want to build on top of OP Mainnet, refer to the [Optimism Documentation](https://docs.optimism.io)
 - If you want to build your own OP Stack based blockchain, refer to the [OP Stack Guide](https://docs.optimism.io/stack/getting-started)
-- If you want to contribute to the OP Stack, check out the [Protocol Specs](./specs)
+
+## Specification
+
+If you're interested in the technical details of how Optimism works, refer to the [Optimism Protocol Specification](https://github.com/ethereum-optimism/specs).
 
 ## Community
 
@@ -62,8 +65,7 @@ The Optimism Immunefi program offers up to $2,000,042 for in-scope critical vuln
 │   ├── <a href="./packages/contracts-bedrock">contracts-bedrock</a>: Bedrock smart contracts
 │   ├── <a href="./packages/core-utils">core-utils</a>: Low-level utilities that make building Optimism easier
 │   └── <a href="./packages/sdk">sdk</a>: provides a set of tools for interacting with Optimism
-├── <a href="./proxyd">proxyd</a>: Configurable RPC request router and proxy
-└── <a href="./specs">specs</a>: Specs of the rollup starting at the Bedrock upgrade
+└── <a href="./proxyd">proxyd</a>: Configurable RPC request router and proxy
 </pre>
 
 ## Branching Model

nx.json

@@ -53,7 +53,7 @@
   },
   "targetDefaults": {
     "lint": {
-      "inputs": ["{workspaceRoot}/.markdownlint.json", "default"]
+      "inputs": ["default"]
     },
     "test": {
       "inputs": ["default", "testing", "^production"],

package.json

@@ -21,9 +21,6 @@
     "lint:ts:check": "npx nx run-many --target=lint:ts:check",
     "lint:check": "npx nx run-many --target=lint:check",
     "lint:fix": "npx nx run-many --target=lint:fix",
-    "lint:specs:fix": "npx markdownlint-cli2-fix \"./specs/**/*.md\"",
-    "lint:specs:check": "npx markdownlint-cli2  \"./specs/**/*.md\"",
-    "lint:specs:toc": "npx doctoc '--title=**Table of Contents**' ./specs",
     "preinstall": "npx only-allow pnpm",
     "ready": "pnpm lint && pnpm test",
     "prepare": "husky install",
@@ -67,8 +64,6 @@
     "eslint-plugin-unicorn": "^50.0.1",
     "husky": "^8.0.3",
     "lint-staged": "15.2.0",
-    "markdownlint": "^0.33.0",
-    "markdownlint-cli2": "0.4.0",
     "mocha": "^10.2.0",
     "nx": "17.2.8",
     "nyc": "^15.1.0",

pnpm-lock.yaml

@@ -84,12 +84,6 @@ importers:
       lint-staged:
         specifier: 15.2.0
         version: 15.2.0
-      markdownlint:
-        specifier: ^0.33.0
-        version: 0.33.0
-      markdownlint-cli2:
-        specifier: 0.4.0
-        version: 0.4.0
       mocha:
         specifier: ^10.2.0
         version: 10.2.0
@@ -7245,11 +7239,6 @@ packages:
     resolution: {integrity: sha512-HGyxoOTYUyCM6stUe6EJgnd4EoewAI7zMdfqO+kGjnlZmBDz/cR5pf8r/cR4Wq60sL/p0IkcjUEEPwS3GFrIyw==}
     engines: {node: '>=8'}
 
-  /array-union@3.0.1:
-    resolution: {integrity: sha512-1OvF9IbWwaeiM9VhzYXVQacMibxpXOMYVNIvMtKRyX9SImBXpKcFr8XvFDeEslCyuH/t6KRt7HEO94AlP8Iatw==}
-    engines: {node: '>=12'}
-    dev: true
-
   /array.prototype.findlastindex@1.2.3:
     resolution: {integrity: sha512-LzLoiOMAxvy+Gd3BAq3B7VeIgPdo+Q8hthvKtXybMvRV0jrXfJM/t8mw7nNlpEcVlVUnCnM2KSX4XU5HmpodOA==}
     engines: {node: '>= 0.4'}
@@ -9106,10 +9095,6 @@ packages:
     dependencies:
       ansi-colors: 4.1.3
 
-  /entities@2.1.0:
-    resolution: {integrity: sha512-hCx1oky9PFrJ611mf0ifBLBRW8lUUVRlFolb5gWRfIELabBlbp9xZvrqZLZAs+NxFnbfQoeGd8wDkygjg7U85w==}
-    dev: true
-
   /entities@2.2.0:
     resolution: {integrity: sha512-p92if5Nz619I0w+akJrLZH0MX0Pb5DX39XOwQTtXSdQQOaYH03S1uIQp4mhOZtAXrxq4ViO67YTiLBo2638o9A==}
     dev: true
@@ -10759,18 +10744,6 @@ packages:
       merge2: 1.4.1
       slash: 3.0.0
 
-  /globby@12.1.0:
-    resolution: {integrity: sha512-YULDaNwsoUZkRy9TWSY/M7Obh0abamTKoKzTfOI3uU+hfpX2FZqOq8LFDxsjYheF1RH7ITdArgbQnsNBFgcdBA==}
-    engines: {node: ^12.20.0 || ^14.13.1 || >=16.0.0}
-    dependencies:
-      array-union: 3.0.1
-      dir-glob: 3.0.1
-      fast-glob: 3.3.1
-      ignore: 5.2.4
-      merge2: 1.4.1
-      slash: 4.0.0
-    dev: true
-
   /globby@13.2.2:
     resolution: {integrity: sha512-Y1zNGV+pzQdh7H39l9zgB4PJqjRNqydvdYCDG4HFXM4XuvSaQQlEc91IU1yALL8gUTDomgBAfz3XJdmUS+oo0w==}
     engines: {node: ^12.20.0 || ^14.13.1 || >=16.0.0}
@@ -12409,18 +12382,6 @@ packages:
     engines: {node: ^12.20.0 || ^14.13.1 || >=16.0.0}
     dev: true
 
-  /linkify-it@3.0.3:
-    resolution: {integrity: sha512-ynTsyrFSdE5oZ/O9GEf00kPngmOfVwazR5GKDq6EYfhlpFug3J2zybX56a2PRRpc9P+FuSoGNAwjlbDs9jJBPQ==}
-    dependencies:
-      uc.micro: 1.0.6
-    dev: true
-
-  /linkify-it@5.0.0:
-    resolution: {integrity: sha512-5aHCbzQRADcdP+ATqnDuhhJ/MRIqDkZX5pyjFHRRysS8vZ5AbqGEoFIb6pYHPZ+L/OC2Lc+xT8uHVVR5CAK/wQ==}
-    dependencies:
-      uc.micro: 2.0.0
-    dev: true
-
   /lint-staged@15.2.0:
     resolution: {integrity: sha512-TFZzUEV00f+2YLaVPWBWGAMq7So6yQx+GG8YRMDeOEIf95Zn5RyiLMsEiX4KTNl9vq/w+NqRJkLA1kPIo15ufQ==}
     engines: {node: '>=18.12.0'}
@@ -12773,81 +12734,12 @@ packages:
     engines: {node: '>=8'}
     dev: false
 
-  /markdown-it@12.3.2:
-    resolution: {integrity: sha512-TchMembfxfNVpHkbtriWltGWc+m3xszaRD0CZup7GFFhzIgQqxIfn3eGj1yZpfuflzPvfkt611B2Q/Bsk1YnGg==}
-    hasBin: true
-    dependencies:
-      argparse: 2.0.1
-      entities: 2.1.0
-      linkify-it: 3.0.3
-      mdurl: 1.0.1
-      uc.micro: 1.0.6
-    dev: true
-
-  /markdown-it@14.0.0:
-    resolution: {integrity: sha512-seFjF0FIcPt4P9U39Bq1JYblX0KZCjDLFFQPHpL5AzHpqPEKtosxmdq/LTVZnjfH7tjt9BxStm+wXcDBNuYmzw==}
-    hasBin: true
-    dependencies:
-      argparse: 2.0.1
-      entities: 4.5.0
-      linkify-it: 5.0.0
-      mdurl: 2.0.0
-      punycode.js: 2.3.1
-      uc.micro: 2.0.0
-    dev: true
-
   /markdown-table@2.0.0:
     resolution: {integrity: sha512-Ezda85ToJUBhM6WGaG6veasyym+Tbs3cMAw/ZhOPqXiYsr0jgocBV3j3nx+4lk47plLlIqjwuTm/ywVI+zjJ/A==}
     dependencies:
       repeat-string: 1.6.1
     dev: true
 
-  /markdownlint-cli2-formatter-default@0.0.3(markdownlint-cli2@0.4.0):
-    resolution: {integrity: sha512-QEAJitT5eqX1SNboOD+SO/LNBpu4P4je8JlR02ug2cLQAqmIhh8IJnSK7AcaHBHhNADqdGydnPpQOpsNcEEqCw==}
-    peerDependencies:
-      markdownlint-cli2: '>=0.0.4'
-    dependencies:
-      markdownlint-cli2: 0.4.0
-    dev: true
-
-  /markdownlint-cli2@0.4.0:
-    resolution: {integrity: sha512-EcwP5tAbyzzL3ACI0L16LqbNctmh8wNX56T+aVvIxWyTAkwbYNx2V7IheRkXS3mE7R/pnaApZ/RSXcXuzRVPjg==}
-    engines: {node: '>=12'}
-    hasBin: true
-    dependencies:
-      globby: 12.1.0
-      markdownlint: 0.25.1
-      markdownlint-cli2-formatter-default: 0.0.3(markdownlint-cli2@0.4.0)
-      markdownlint-rule-helpers: 0.16.0
-      micromatch: 4.0.4
-      strip-json-comments: 4.0.0
-      yaml: 1.10.2
-    dev: true
-
-  /markdownlint-micromark@0.1.8:
-    resolution: {integrity: sha512-1ouYkMRo9/6gou9gObuMDnvZM8jC/ly3QCFQyoSPCS2XV1ZClU0xpKbL1Ar3bWWRT1RnBZkWUEiNKrI2CwiBQA==}
-    engines: {node: '>=16'}
-    dev: true
-
-  /markdownlint-rule-helpers@0.16.0:
-    resolution: {integrity: sha512-oEacRUVeTJ5D5hW1UYd2qExYI0oELdYK72k1TKGvIeYJIbqQWAz476NAc7LNixSySUhcNl++d02DvX0ccDk9/w==}
-    dev: true
-
-  /markdownlint@0.25.1:
-    resolution: {integrity: sha512-AG7UkLzNa1fxiOv5B+owPsPhtM4D6DoODhsJgiaNg1xowXovrYgOnLqAgOOFQpWOlHFVQUzjMY5ypNNTeov92g==}
-    engines: {node: '>=12'}
-    dependencies:
-      markdown-it: 12.3.2
-    dev: true
-
-  /markdownlint@0.33.0:
-    resolution: {integrity: sha512-4lbtT14A3m0LPX1WS/3d1m7Blg+ZwiLq36WvjQqFGsX3Gik99NV+VXp/PW3n+Q62xyPdbvGOCfjPqjW+/SKMig==}
-    engines: {node: '>=18'}
-    dependencies:
-      markdown-it: 14.0.0
-      markdownlint-micromark: 0.1.8
-    dev: true
-
   /marked@4.3.0:
     resolution: {integrity: sha512-PRsaiG84bK+AMvxziE/lCFss8juXjNaWzVbN5tXAm4XjeaS9NAHhop+PjQxz2A9h8Q4M/xGmzP8vqNwy6JeK0A==}
     engines: {node: '>= 12'}
@@ -12972,14 +12864,6 @@ packages:
     resolution: {integrity: sha512-GaqWWShW4kv/G9IEucWScBx9G1/vsFZZJUO+tD26M8J8z3Kw5RDQjaoZe03YAClgeS/SWPOcb4nkFBTEi5DUEA==}
     dev: true
 
-  /mdurl@1.0.1:
-    resolution: {integrity: sha512-/sKlQJCBYVY9Ers9hqzKou4H6V5UWc/M59TH2dvkt+84itfnq7uFOMLpOiOS4ujvHP4etln18fmIxA5R5fll0g==}
-    dev: true
-
-  /mdurl@2.0.0:
-    resolution: {integrity: sha512-Lf+9+2r+Tdp5wXDXC4PcIBjTDtq4UKjCPMQhKIuzpJNW0b96kVqSwW0bT7FhRSfmAiFYgP+SCRvdrDozfh0U5w==}
-    dev: true
-
   /media-typer@0.3.0:
     resolution: {integrity: sha512-dq+qelQ9akHpcOl/gUVRTxVIOkAJ1wR3QAvb4RsVjS8oVoFjDGTc679wJYmUmknUF5HwMLOgb5O+a3KxfWapPQ==}
     engines: {node: '>= 0.6'}
@@ -13363,14 +13247,6 @@ packages:
       - supports-color
     dev: true
 
-  /micromatch@4.0.4:
-    resolution: {integrity: sha512-pRmzw/XUcwXGpD9aI9q/0XOwLNygjETJ8y0ao0wdqprrzDa4YnxLcz7fQRZr8voh8V10kGhABbNcHVk5wHgWwg==}
-    engines: {node: '>=8.6'}
-    dependencies:
-      braces: 3.0.2
-      picomatch: 2.3.1
-    dev: true
-
   /micromatch@4.0.5:
     resolution: {integrity: sha512-DMy+ERcEW2q8Z2Po+WNXuw3c5YaUSFjAO5GsJqfEl7UjvtIuFKO6ZrKvcItdy98dwFI2N1tg3zNIdKaQT+aNdA==}
     engines: {node: '>=8.6'}
@@ -14818,11 +14694,6 @@ packages:
       pump: 3.0.0
     dev: false
 
-  /punycode.js@2.3.1:
-    resolution: {integrity: sha512-uxFIHU0YlHYhDQtV4R9J6a52SLx28BCjT+4ieh7IGbgwVJWO+km431c4yRlREUAsAmt/uMjQUyQHNEPf0M39CA==}
-    engines: {node: '>=6'}
-    dev: true
-
   /punycode@1.4.1:
     resolution: {integrity: sha512-jmYNElW7yvO7TV33CjSmvSiE2yco3bV2czu/OzDKdMNVZQWfxCblURLhf+47syQRBntjfLdd/H0egrzIG+oaFQ==}
     dev: true
@@ -16348,11 +16219,6 @@ packages:
     engines: {node: '>=8'}
     dev: true
 
-  /strip-json-comments@4.0.0:
-    resolution: {integrity: sha512-LzWcbfMbAsEDTRmhjWIioe8GcDRl0fa35YMXFoJKDdiD/quGFmjJjdgPjFJJNwCMaLyQqFIDqCdHD2V4HfLgYA==}
-    engines: {node: ^12.20.0 || ^14.13.1 || >=16.0.0}
-    dev: true
-
   /strip-literal@1.3.0:
     resolution: {integrity: sha512-PugKzOsyXpArk0yWmUwqOZecSO0GH0bPoctLcqNDH9J04pVW3lflYE0ujElBGTloevcxF5MofAOZ7C5l2b+wLg==}
     dependencies:
@@ -17038,14 +16904,6 @@ packages:
     engines: {node: '>=8'}
     dev: true
 
-  /uc.micro@1.0.6:
-    resolution: {integrity: sha512-8Y75pvTYkLJW2hWQHXxoqRgV7qb9B+9vFEtidML+7koHUFapnVJAZ6cKs+Qjz5Aw3aZWHMC6u0wJE3At+nSGwA==}
-    dev: true
-
-  /uc.micro@2.0.0:
-    resolution: {integrity: sha512-DffL94LsNOccVn4hyfRe5rdKa273swqeA5DJpMOeFmEn1wCDc7nAbbB0gXlgBCL7TNzeTv6G7XVWzan7iJtfig==}
-    dev: true
-
   /ufo@1.3.2:
     resolution: {integrity: sha512-o+ORpgGwaYQXgqGDwd+hkS4PuZ3QnmqMMxRuajK/a38L6fTpcE5GPIfrf+L/KemFzfUpeUQc1rRS1iDBozvnFA==}
     dev: true

specs/LICENSE

-CC0 1.0 Universal
-
-Statement of Purpose
-
-The laws of most jurisdictions throughout the world automatically confer
-exclusive Copyright and Related Rights (defined below) upon the creator and
-subsequent owner(s) (each and all, an "owner") of an original work of
-authorship and/or a database (each, a "Work").
-
-Certain owners wish to permanently relinquish those rights to a Work for the
-purpose of contributing to a commons of creative, cultural and scientific
-works ("Commons") that the public can reliably and without fear of later
-claims of infringement build upon, modify, incorporate in other works, reuse
-and redistribute as freely as possible in any form whatsoever and for any
-purposes, including without limitation commercial purposes. These owners may
-contribute to the Commons to promote the ideal of a free culture and the
-further production of creative, cultural and scientific works, or to gain
-reputation or greater distribution for their Work in part through the use and
-efforts of others.
-
-For these and/or other purposes and motivations, and without any expectation
-of additional consideration or compensation, the person associating CC0 with a
-Work (the "Affirmer"), to the extent that he or she is an owner of Copyright
-and Related Rights in the Work, voluntarily elects to apply CC0 to the Work
-and publicly distribute the Work under its terms, with knowledge of his or her
-Copyright and Related Rights in the Work and the meaning and intended legal
-effect of CC0 on those rights.
-
-1. Copyright and Related Rights. A Work made available under CC0 may be
-protected by copyright and related or neighboring rights ("Copyright and
-Related Rights"). Copyright and Related Rights include, but are not limited
-to, the following:
-
-  i. the right to reproduce, adapt, distribute, perform, display, communicate,
-  and translate a Work;
-
-  ii. moral rights retained by the original author(s) and/or performer(s);
-
-  iii. publicity and privacy rights pertaining to a person's image or likeness
-  depicted in a Work;
-
-  iv. rights protecting against unfair competition in regards to a Work,
-  subject to the limitations in paragraph 4(a), below;
-
-  v. rights protecting the extraction, dissemination, use and reuse of data in
-  a Work;
-
-  vi. database rights (such as those arising under Directive 96/9/EC of the
-  European Parliament and of the Council of 11 March 1996 on the legal
-  protection of databases, and under any national implementation thereof,
-  including any amended or successor version of such directive); and
-
-  vii. other similar, equivalent or corresponding rights throughout the world
-  based on applicable law or treaty, and any national implementations thereof.
-
-2. Waiver. To the greatest extent permitted by, but not in contravention of,
-applicable law, Affirmer hereby overtly, fully, permanently, irrevocably and
-unconditionally waives, abandons, and surrenders all of Affirmer's Copyright
-and Related Rights and associated claims and causes of action, whether now
-known or unknown (including existing as well as future claims and causes of
-action), in the Work (i) in all territories worldwide, (ii) for the maximum
-duration provided by applicable law or treaty (including future time
-extensions), (iii) in any current or future medium and for any number of
-copies, and (iv) for any purpose whatsoever, including without limitation
-commercial, advertising or promotional purposes (the "Waiver"). Affirmer makes
-the Waiver for the benefit of each member of the public at large and to the
-detriment of Affirmer's heirs and successors, fully intending that such Waiver
-shall not be subject to revocation, rescission, cancellation, termination, or
-any other legal or equitable action to disrupt the quiet enjoyment of the Work
-by the public as contemplated by Affirmer's express Statement of Purpose.
-
-3. Public License Fallback. Should any part of the Waiver for any reason be
-judged legally invalid or ineffective under applicable law, then the Waiver
-shall be preserved to the maximum extent permitted taking into account
-Affirmer's express Statement of Purpose. In addition, to the extent the Waiver
-is so judged Affirmer hereby grants to each affected person a royalty-free,
-non transferable, non sublicensable, non exclusive, irrevocable and
-unconditional license to exercise Affirmer's Copyright and Related Rights in
-the Work (i) in all territories worldwide, (ii) for the maximum duration
-provided by applicable law or treaty (including future time extensions), (iii)
-in any current or future medium and for any number of copies, and (iv) for any
-purpose whatsoever, including without limitation commercial, advertising or
-promotional purposes (the "License"). The License shall be deemed effective as
-of the date CC0 was applied by Affirmer to the Work. Should any part of the
-License for any reason be judged legally invalid or ineffective under
-applicable law, such partial invalidity or ineffectiveness shall not
-invalidate the remainder of the License, and in such case Affirmer hereby
-affirms that he or she will not (i) exercise any of his or her remaining
-Copyright and Related Rights in the Work or (ii) assert any associated claims
-and causes of action with respect to the Work, in either case contrary to
-Affirmer's express Statement of Purpose.
-
-4. Limitations and Disclaimers.
-
-  a. No trademark or patent rights held by Affirmer are waived, abandoned,
-  surrendered, licensed or otherwise affected by this document.
-
-  b. Affirmer offers the Work as-is and makes no representations or warranties
-  of any kind concerning the Work, express, implied, statutory or otherwise,
-  including without limitation warranties of title, merchantability, fitness
-  for a particular purpose, non infringement, or the absence of latent or
-  other defects, accuracy, or the present or absence of errors, whether or not
-  discoverable, all to the greatest extent permissible under applicable law.
-
-  c. Affirmer disclaims responsibility for clearing rights of other persons
-  that may apply to the Work or any use thereof, including without limitation
-  any person's Copyright and Related Rights in the Work. Further, Affirmer
-  disclaims responsibility for obtaining any necessary consents, permissions
-  or other rights required for any use of the Work.
-
-  d. Affirmer understands and acknowledges that Creative Commons is not a
-  party to this document and has no duty or obligation with respect to this
-  CC0 or use of the Work.
-
-For more information, please see
-<http://creativecommons.org/publicdomain/zero/1.0/>

specs/README.md

-<!-- DOCTOC SKIP -->
-# Optimism Bedrock specs
+# Specs Have Moved
 
-This directory contains the plain english specs for Optimism, a minimal optimistic rollup protocol
-that maintains 1:1 compatibility with Ethereum.
+Specs have moved to a [dedicated repository](https://github.com/ethereum-optimism/specs). 
\ No newline at end of file
-
-## Specification Contents
-
-- [Introduction](introduction.md)
-- [Overview](overview.md)
-- [Deposits](deposits.md)
-- [Withdrawals](withdrawals.md)
-- [Execution Engine](exec-engine.md)
-- [L2 Output Root Proposals](proposals.md)
-- [Rollup Node](rollup-node.md)
-- [Rollup Node P2p](rollup-node-p2p.md)
-- [L2 Chain Derivation](derivation.md)
-- [Superchain Upgrades](superchain-upgrades.md)
-- [System Config](system_config.md)
-- [Batch Submitter](batcher.md)
-- [Guaranteed Gas Market](guaranteed-gas-market.md)
-- [Messengers](messengers.md)
-- [Bridges](bridges.md)
-- [Predeploys](predeploys.md)
-- [Glossary](glossary.md)
-
-### Experimental
-
-Specifications of new features in active development.
-
-- [Fault Proof](./fault-proof.md)
-- [Dispute Game Interface](./dispute-game-interface.md)
-- [Fault Dispute Game](./fault-dispute-game.md)
-- [Cannon VM](./cannon-fault-proof-vm.md)
-
-## Design Goals
-
-Our aim is to design a protocol specification that is:
-
-- **Fast:** When users send transactions, they get reliable confirmations with low-latency.
-  For example when swapping on Uniswap you should see that your transaction succeed in less than 2
-  seconds.
-- **Scalable:** It should be possible to handle an enormous number of transactions
-  per second which will enable the system to charge low fees.
-  V1.0 will enable Optimism to scale up to and even past the gas limit on L1.
-  Later iterations should scale much further.
-- **Modular:** Our designs will use modularity to reduce complexity and enable parallel
-  contributions. Coming up with good conceptual frameworks & composable atoms of software enables us
-  to build extremely complex software even when any one person cannot hold that much in their brain.
-- **Minimal:** Rollups should be minimal to best take advantage of the battle-tested infrastructure
-  (like Geth) that already runs Ethereum. An ideal optimistic rollup design should be representable
-  as a *diff* against Ethereum client software.
-- **Developer Driven:** Our designs will be developer driven to ensure we are actually building
-  something that people want to use. We must constantly engage with the developers who will be using
-  our software to avoid creating a system no one wants to use.
-- **Clear and Readable:** The specs we write are written to be read. So tight feedback loop with the
-  systems team consuming the spec is also key!
-- **Secure:** This is self-evident.
-  User’s assets are at stake. Every component of the system must be incredibly secure.
-- **Decentralizable:** Optimism must be designed to avail itself of the security and
-  censorship-resistant guarantees achieved by a decentralized system.
-  Currently centralized components of the system should have a clear path towards decentralization.
-  Already decentralized components of the system should be protected and preserved.

specs/batcher.md

-<!-- DOCTOC SKIP -->
-# Batch Submitter
-
-The batch submitter, also referred to as the batcher, is the entity submitting the L2 sequencer data to L1,
-to make it available for verifiers.
-
-[derivation spec]: derivation.md
-
-The format of the data transactions is defined in the [derivation spec]:
-the data is constructed from L2 blocks in the reverse order as it is derived from data into L2 blocks.
-
-The timing, operation and transaction signing is implementation-specific: any data can be submitted at any time,
-but only the data that matches the [derivation spec] rules will be valid from the verifier perspective.
-
-The most minimal batcher implementation can be defined as a loop of the following operations:
-
-1. See if the `unsafe` L2 block number is past the `safe` block number: `unsafe` data needs to be submitted.
-2. Iterate over all unsafe L2 blocks, skip any that were previously submitted.
-3. Open a channel, buffer all the L2 block data to be submitted,
-   while applying the encoding and compression as defined in the [derivation spec].
-4. Pull frames from the channel to fill data transactions with, until the channel is empty.
-5. Submit the data transactions to L1
-
-The L2 view of safe/unsafe does not instantly update after data is submitted, nor when it gets confirmed on L1,
-so special care may have to be taken to not duplicate data submissions.

specs/bond-manager.md

-# Bond Manager Interface
-
-<!-- START doctoc generated TOC please keep comment here to allow auto update -->
-<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
-**Table of Contents**
-
-- [Overview](#overview)
-- [The Bond Problem](#the-bond-problem)
-  - [Simple Bond](#simple-bond)
-  - [Variable Bond](#variable-bond)
-
-<!-- END doctoc generated TOC please keep comment here to allow auto update -->
-
-## Overview
-
-In the context of permissionless output proposals, bonds are a value that must
-be attached to an output proposal. In this case, the bond will be paid in ether.
-
-By requiring a bond to be posted with an output proposal, spam and invalid outputs
-are disincentivized. Explicitly, if invalid outputs are proposed, challenge agents
-can delete the invalid output via a [dispute-game](./dispute-game-interface.md) and seize the
-proposer's bond. So, posting invalid outputs is directly disincentivized in this way
-since the proposer would lose their bond if the challenge agents seize it.
-
-Concretely, outputs will be permissionlessly proposed to the `L2OutputOracle` contract.
-When submitting an output proposal, the ether value is sent as the bond. This bond is
-then held by a bond manager contract. The bond manager contract is responsible for
-both the [dispute-games](./dispute-game-interface.md) and the `L2OutputOracle` (further detailed
-in [proposals](./proposals.md)).
-
-The bond manager will need to handle bond logic for a variety of different
-[dispute-games](./dispute-game-interface.md). In the simplest "attestation" dispute game,
-bonds will not be required since the attestors are a permissioned set of trusted entities.
-But in more complex games, such as the fault dispute game, challengers and defenders
-perform a series of alternating onchain transactions requiring bonds at each step.
-
-## The Bond Problem
-
-At its core, the bond manager is straightforward - it escrows or holds ether and can be claimed
-at maturity or seized if forfeited. But the uncertainty of introducing bonds lies in the
-bond _sizing_, i.e. how much should a bond be? Sizing bonds correctly is a function of
-the bond invariant: the bond must be greater than or equal to the cost of the next step.
-If bonds are priced too low, then the bond invariant is violated and there isn't an economic
-incentive to execute the next step. If bonds are priced too high, then the actors posting
-bonds can be priced out.
-
-Below, we outline two different approaches to sizing bonds and the tradeoffs of each.
-
-### Simple Bond
-
-The _Simple Bond_ is a very conservative approach to bond management, establishing a **fixed** bond
-size. The idea behind simple bond pricing is to establish the worst case gas cost for
-the next step in the dispute game.
-
-With this approach, the size of the bond is computed up-front when a dispute game is created.
-For example, in an attestation dispute game, this bond size can be computed as such:
-
-```md
-bond_size = (signer_threshold * (challenge_gas + security overhead)) + resolution_gas(signer_threshold)
-```
-
-Notice that since the bond size is linearly proportional to the number of signers, the economic
-security a given bond size provides decreases as the number of signers increases. Also note, the
-`resolution_gas` function is split out from the `challenge_gas` cost because only the _last_ challenger
-will pay for the gas cost to resolve the game in the attestation dispute game.
-
-Working backwards, if we assume the number of signers to be `5`, a negligible resolution gas cost, and
-a `100,000` gas cost to progress the game, then the bond size should cover `500,000` gas. Meaning, a bond
-of `1 ether` would cover the cost of progressing the game for `5` signers as long as the gas price
-(base fee) does not exceed `2,000 gwei` for the entire finalization window. It would be prohibitively
-expensive to keep the settlement layer base fee this high.
-
-### Variable Bond
-
-Better bond heuristics can be used to establish a bond price that accounts for
-the time-weighted gas price. One instance of this called _Variable Bonds_ use a
-separate oracle contract, `GasPriceFluctuationTracker`, that tracks gas fluctuations
-within a pre-determined bounds. This replaces the ideal solution of tracking
-challenge costs over all L1 blocks, but provides a reasonable bounds. The initial
-actors posting this bond are responsible for funding this contract.

specs/bridges.md

-# Standard Bridges
-
-<!-- START doctoc generated TOC please keep comment here to allow auto update -->
-<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
-**Table of Contents**
-
-- [Token Depositing](#token-depositing)
-- [Upgradability](#upgradability)
-
-<!-- END doctoc generated TOC please keep comment here to allow auto update -->
-
-The standard bridges are responsible for allowing cross domain
-ETH and ERC20 token transfers. They are built on top of the cross domain
-messenger contracts and give a standard interface for depositing tokens.
-
-The bridge works for both L1 native tokens and L2 native tokens. The legacy API
-is preserved to ensure that existing applications will not experience any
-problems with the Bedrock `StandardBridge` contracts.
-
-The `L2StandardBridge` is a predeploy contract located at
-`0x4200000000000000000000000000000000000010`.
-
-```solidity
-interface StandardBridge {
-    event ERC20BridgeFinalized(address indexed localToken, address indexed remoteToken, address indexed from, address to, uint256 amount, bytes extraData);
-    event ERC20BridgeInitiated(address indexed localToken, address indexed remoteToken, address indexed from, address to, uint256 amount, bytes extraData);
-    event ETHBridgeFinalized(address indexed from, address indexed to, uint256 amount, bytes extraData);
-    event ETHBridgeInitiated(address indexed from, address indexed to, uint256 amount, bytes extraData);
-
-    function bridgeERC20(address _localToken, address _remoteToken, uint256 _amount, uint32 _minGasLimit, bytes memory _extraData) external;
-    function bridgeERC20To(address _localToken, address _remoteToken, address _to, uint256 _amount, uint32 _minGasLimit, bytes memory _extraData) external;
-    function bridgeETH(uint32 _minGasLimit, bytes memory _extraData) payable external;
-    function bridgeETHTo(address _to, uint32 _minGasLimit, bytes memory _extraData) payable external;
-    function deposits(address, address) view external returns (uint256);
-    function finalizeBridgeERC20(address _localToken, address _remoteToken, address _from, address _to, uint256 _amount, bytes memory _extraData) external;
-    function finalizeBridgeETH(address _from, address _to, uint256 _amount, bytes memory _extraData) payable external;
-    function messenger() view external returns (address);
-    function OTHER_BRIDGE() view external returns (address);
-}
-```
-
-## Token Depositing
-
-The `bridgeERC20` function is used to send a token from one domain to another
-domain. An `OptimismMintableERC20` token contract must exist on the remote
-domain to be able to deposit tokens to that domain. One of these tokens can be
-deployed using the `OptimismMintableERC20Factory` contract.
-
-## Upgradability
-
-Both the L1 and L2 standard bridges should be behind upgradable proxies.

specs/bytecode/ecotone-gas-price-oracle-deployment.txt

-0x608060405234801561001057600080fd5b50610fb5806100206000396000f3fe608060405234801561001057600080fd5b50600436106100f55760003560e01c806354fd4d5011610097578063de26c4a111610066578063de26c4a1146101da578063f45e65d8146101ed578063f8206140146101f5578063fe173b97146101cc57600080fd5b806354fd4d501461016657806368d5dca6146101af5780636ef25c3a146101cc578063c5985918146101d257600080fd5b8063313ce567116100d3578063313ce5671461012757806349948e0e1461012e5780634ef6e22414610141578063519b4bd31461015e57600080fd5b80630c18c162146100fa57806322b90ab3146101155780632e0f26251461011f575b600080fd5b6101026101fd565b6040519081526020015b60405180910390f35b61011d61031e565b005b610102600681565b6006610102565b61010261013c366004610b73565b610541565b60005461014e9060ff1681565b604051901515815260200161010c565b610102610565565b6101a26040518060400160405280600581526020017f312e322e3000000000000000000000000000000000000000000000000000000081525081565b60405161010c9190610c42565b6101b76105c6565b60405163ffffffff909116815260200161010c565b48610102565b6101b761064b565b6101026101e8366004610b73565b6106ac565b610102610760565b610102610853565b6000805460ff1615610296576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f47617350726963654f7261636c653a206f76657268656164282920697320646560448201527f707265636174656400000000000000000000000000000000000000000000000060648201526084015b60405180910390fd5b73420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff16638b239f736040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102f5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103199190610cb5565b905090565b73420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff1663e591b2826040518163ffffffff1660e01b8152600401602060405180830381865afa15801561037d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103a19190610cce565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610481576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604160248201527f47617350726963654f7261636c653a206f6e6c7920746865206465706f73697460448201527f6f72206163636f756e742063616e2073657420697345636f746f6e6520666c6160648201527f6700000000000000000000000000000000000000000000000000000000000000608482015260a40161028d565b60005460ff1615610514576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f47617350726963654f7261636c653a2045636f746f6e6520616c72656164792060448201527f6163746976650000000000000000000000000000000000000000000000000000606482015260840161028d565b600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00166001179055565b6000805460ff161561055c57610556826108b4565b92915050565b61055682610958565b600073420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff16635cf249696040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102f5573d6000803e3d6000fd5b600073420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff166368d5dca66040518163ffffffff1660e01b8152600401602060405180830381865afa158015610627573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103199190610d04565b600073420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff1663c59859186040518163ffffffff1660e01b8152600401602060405180830381865afa158015610627573d6000803e3d6000fd5b6000806106b883610ab4565b60005490915060ff16156106cc5792915050565b73420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff16638b239f736040518163ffffffff1660e01b8152600401602060405180830381865afa15801561072b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061074f9190610cb5565b6107599082610d59565b9392505050565b6000805460ff16156107f4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f47617350726963654f7261636c653a207363616c61722829206973206465707260448201527f6563617465640000000000000000000000000000000000000000000000000000606482015260840161028d565b73420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff16639e8c49666040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102f5573d6000803e3d6000fd5b600073420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff1663f82061406040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102f5573d6000803e3d6000fd5b6000806108c083610ab4565b905060006108cc610565565b6108d461064b565b6108df906010610d71565b63ffffffff166108ef9190610d9d565b905060006108fb610853565b6109036105c6565b63ffffffff166109139190610d9d565b905060006109218284610d59565b61092b9085610d9d565b90506109396006600a610efa565b610944906010610d9d565b61094e9082610f06565b9695505050505050565b60008061096483610ab4565b9050600073420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff16639e8c49666040518163ffffffff1660e01b8152600401602060405180830381865afa1580156109c7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109eb9190610cb5565b6109f3610565565b73420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff16638b239f736040518163ffffffff1660e01b8152600401602060405180830381865afa158015610a52573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a769190610cb5565b610a809085610d59565b610a8a9190610d9d565b610a949190610d9d565b9050610aa26006600a610efa565b610aac9082610f06565b949350505050565b80516000908190815b81811015610b3757848181518110610ad757610ad7610f41565b01602001517fff0000000000000000000000000000000000000000000000000000000000000016600003610b1757610b10600484610d59565b9250610b25565b610b22601084610d59565b92505b80610b2f81610f70565b915050610abd565b50610aac82610440610d59565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600060208284031215610b8557600080fd5b813567ffffffffffffffff80821115610b9d57600080fd5b818401915084601f830112610bb157600080fd5b813581811115610bc357610bc3610b44565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f01168101908382118183101715610c0957610c09610b44565b81604052828152876020848701011115610c2257600080fd5b826020860160208301376000928101602001929092525095945050505050565b600060208083528351808285015260005b81811015610c6f57858101830151858201604001528201610c53565b81811115610c81576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b600060208284031215610cc757600080fd5b5051919050565b600060208284031215610ce057600080fd5b815173ffffffffffffffffffffffffffffffffffffffff8116811461075957600080fd5b600060208284031215610d1657600080fd5b815163ffffffff8116811461075957600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008219821115610d6c57610d6c610d2a565b500190565b600063ffffffff80831681851681830481118215151615610d9457610d94610d2a565b02949350505050565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615610dd557610dd5610d2a565b500290565b600181815b80851115610e3357817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115610e1957610e19610d2a565b80851615610e2657918102915b93841c9390800290610ddf565b509250929050565b600082610e4a57506001610556565b81610e5757506000610556565b8160018114610e6d5760028114610e7757610e93565b6001915050610556565b60ff841115610e8857610e88610d2a565b50506001821b610556565b5060208310610133831016604e8410600b8410161715610eb6575081810a610556565b610ec08383610dda565b807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115610ef257610ef2610d2a565b029392505050565b60006107598383610e3b565b600082610f3c577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610fa157610fa1610d2a565b506001019056fea164736f6c634300080f000a

specs/bytecode/ecotone-l1-block-deployment.txt

-0x608060405234801561001057600080fd5b5061053e806100206000396000f3fe608060405234801561001057600080fd5b50600436106100f55760003560e01c80638381f58a11610097578063c598591811610066578063c598591814610229578063e591b28214610249578063e81b2c6d14610289578063f82061401461029257600080fd5b80638381f58a146101e35780638b239f73146101f75780639e8c496614610200578063b80777ea1461020957600080fd5b806354fd4d50116100d357806354fd4d50146101335780635cf249691461017c57806364ca23ef1461018557806368d5dca6146101b257600080fd5b8063015d8eb9146100fa57806309bd5a601461010f578063440a5e201461012b575b600080fd5b61010d61010836600461044c565b61029b565b005b61011860025481565b6040519081526020015b60405180910390f35b61010d6103da565b61016f6040518060400160405280600581526020017f312e322e3000000000000000000000000000000000000000000000000000000081525081565b60405161012291906104be565b61011860015481565b6003546101999067ffffffffffffffff1681565b60405167ffffffffffffffff9091168152602001610122565b6003546101ce9068010000000000000000900463ffffffff1681565b60405163ffffffff9091168152602001610122565b6000546101999067ffffffffffffffff1681565b61011860055481565b61011860065481565b6000546101999068010000000000000000900467ffffffffffffffff1681565b6003546101ce906c01000000000000000000000000900463ffffffff1681565b61026473deaddeaddeaddeaddeaddeaddeaddeaddead000181565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610122565b61011860045481565b61011860075481565b3373deaddeaddeaddeaddeaddeaddeaddeaddead000114610342576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603b60248201527f4c31426c6f636b3a206f6e6c7920746865206465706f7369746f72206163636f60448201527f756e742063616e20736574204c3120626c6f636b2076616c7565730000000000606482015260840160405180910390fd5b6000805467ffffffffffffffff98891668010000000000000000027fffffffffffffffffffffffffffffffff00000000000000000000000000000000909116998916999099179890981790975560019490945560029290925560038054919094167fffffffffffffffffffffffffffffffffffffffffffffffff00000000000000009190911617909255600491909155600555600655565b3373deaddeaddeaddeaddeaddeaddeaddeaddead00011461040357633cc50b456000526004601cfd5b60043560801c60035560143560801c600055602435600155604435600755606435600255608435600455565b803567ffffffffffffffff8116811461044757600080fd5b919050565b600080600080600080600080610100898b03121561046957600080fd5b6104728961042f565b975061048060208a0161042f565b9650604089013595506060890135945061049c60808a0161042f565b979a969950949793969560a0850135955060c08501359460e001359350915050565b600060208083528351808285015260005b818110156104eb578581018301518582016040015282016104cf565b818111156104fd576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01692909201604001939250505056fea164736f6c634300080f000a

specs/guaranteed-gas-market.md

-# Guaranteed Gas Fee Market
-
-<!-- START doctoc generated TOC please keep comment here to allow auto update -->
-<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
-**Table of Contents**
-
-- [Gas Stipend](#gas-stipend)
-- [Default Values](#default-values)
-- [Limiting Guaranteed Gas](#limiting-guaranteed-gas)
-- [Rationale for burning L1 Gas](#rationale-for-burning-l1-gas)
-- [On Preventing Griefing Attacks](#on-preventing-griefing-attacks)
-
-<!-- END doctoc generated TOC please keep comment here to allow auto update -->
-
-[Deposited transactions](./glossary.md#deposited-transaction) are transactions on L2 that are
-initiated on L1. The gas that they use on L2 is bought on L1 via a gas burn (or a direct payment
-in the future). We maintain a fee market and hard cap on the amount of gas provided to all deposits
-in a single L1 block.
-
-The gas provided to deposited transactions is sometimes called "guaranteed gas". The gas provided to
-deposited transactions is unique in the regard that it is not refundable. It cannot be refunded as
-it is sometimes paid for with a gas burn and there may not be any ETH left to refund.
-
-The **guaranteed gas** is composed of a gas stipend, and of any guaranteed gas the user would like
-to purchase (on L1) on top of that.
-
-Guaranteed gas on L2 is bought in the following manner. An L2 gas price is calculated via an
-EIP-1559-style algorithm. The total amount of ETH required to buy that gas is then calculated as
-(`guaranteed gas * L2 deposit base fee`). The contract then accepts that amount of ETH (in a future
-upgrade) or (only method right now), burns an amount of L1 gas that corresponds to the L2 cost (`L2
-cost / L1 base fee`). The L2 gas price for guaranteed gas is not synchronized with the base fee on
-L2 and will likely be different.
-
-## Gas Stipend
-
-To offset the gas spent on the deposit event, we credit `gas spent * L1 base fee` ETH to the cost
-of the L2 gas, where `gas spent` is the amount of L1 gas spent processing the deposit. If the ETH
-value of this credit is greater than the ETH value of the requested guaranteed gas (`requested
-guaranteed gas * L2 gas price`), no L1 gas is burnt.
-
-## Default Values
-
-| Variable                          | Value                                          |
-| --------------------------------- | ---------------------------------------------- |
-| `MAX_RESOURCE_LIMIT`              | 20,000,000                                     |
-| `ELASTICITY_MULTIPLIER`           | 10                                             |
-| `BASE_FEE_MAX_CHANGE_DENOMINATOR` | 8                                              |
-| `MINIMUM_BASE_FEE`                | 1 gwei                                         |
-| `MAXIMUM_BASE_FEE`                | type(uint128).max                              |
-| `SYSTEM_TX_MAX_GAS`               | 1,000,000                                      |
-| `TARGET_RESOURCE_LIMIT`           | `MAX_RESOURCE_LIMIT` / `ELASTICITY_MULTIPLIER` |
-
-## Limiting Guaranteed Gas
-
-The total amount of guaranteed gas that can be bought in a single L1 block must be limited to
-prevent a denial of service attack against L2 as well as ensure the total amount of guaranteed gas
-stays below the L2 block gas limit.
-
-We set a guaranteed gas limit of `MAX_RESOURCE_LIMIT` gas per L1 block and a target of
-`MAX_RESOURCE_LIMIT` / `ELASTICITY_MULTIPLIER` gas per L1 block. These numbers enabled
-occasional large transactions while staying within our target and maximum gas usage on L2.
-
-Because the amount of guaranteed L2 gas that can be purchased in a single block is now limited,
-we implement an EIP-1559-style fee market to reduce congestion on deposits. By setting the limit
-at a multiple of the target, we enable deposits to temporarily use more L2 gas at a greater cost.
-
-```python
-# Pseudocode to update the L2 deposit base fee and cap the amount of guaranteed gas
-# bought in a block. Calling code must handle the gas burn and validity checks on
-# the ability of the account to afford this gas.
-
-# prev_base fee is a u128, prev_bought_gas and prev_num are u64s
-prev_base_fee, prev_bought_gas, prev_num = <values from previous update>
-now_num = block.number
-
-# Clamp the full base fee to a specific range. The minimum value in the range should be around 100-1000
-# to enable faster responses in the base fee. This replaces the `max` mechanism in the ethereum 1559
-# implementation (it also serves to enable the base fee to increase if it is very small).
-def clamp(v: i256, min: u128, max: u128) -> u128:
-    if v < i256(min):
-        return min
-    elif v > i256(max):
-        return max
-    else:
-        return u128(v)
-
-# If this is a new block, update the base fee and reset the total gas
-# If not, just update the total gas
-if prev_num == now_num:
-    now_base_fee = prev_base_fee
-    now_bought_gas = prev_bought_gas + requested_gas
-elif prev_num != now_num:
-    # Width extension and conversion to signed integer math
-    gas_used_delta = int128(prev_bought_gas) - int128(TARGET_RESOURCE_LIMIT)
-    # Use truncating (round to 0) division - solidity's default.
-    # Sign extend gas_used_delta & prev_base_fee to 256 bits to avoid overflows here.
-    base_fee_per_gas_delta = prev_base_fee * gas_used_delta / TARGET_RESOURCE_LIMIT / BASE_FEE_MAX_CHANGE_DENOMINATOR
-    now_base_fee_wide = prev_base_fee + base_fee_per_gas_delta
-
-    now_base_fee = clamp(now_base_fee_wide, min=MINIMUM_BASE_FEE, max=UINT_128_MAX_VALUE)
-    now_bought_gas =  requested_gas
-
-    # If we skipped multiple blocks between the previous block and now update the base fee again.
-    # This is not exactly the same as iterating the above function, but quite close for reasonable
-    # gas target values. It is also constant time wrt the number of missed blocks which is important
-    # for keeping gas usage stable.
-    if prev_num + 1 < now_num:
-        n = now_num - prev_num - 1
-        # Apply 7/8 reduction to prev_base_fee for the n empty blocks in a row.
-        now_base_fee_wide = now_base_fee * pow(1-(1/BASE_FEE_MAX_CHANGE_DENOMINATOR), n)
-        now_base_fee = clamp(now_base_fee_wide, min=MINIMUM_BASE_FEE, max=type(uint128).max)
-
-require(now_bought_gas < MAX_RESOURCE_LIMIT)
-
-store_values(now_base_fee, now_bought_gas, now_num)
-```
-
-## Rationale for burning L1 Gas
-
-There must be a sybil resistance mechanism for usage of the network. If it is very cheap to get
-guaranteed gas on L2, then it would be possible to spam the network. Burning a dynamic amount
-of gas on L1 acts as a sybil resistance mechanism as it becomes more expensive with more demand.
-
-If we collect ETH directly to pay for L2 gas, every (indirect) caller of the deposit function will need
-to be marked with the payable selector. This won't be possible for many existing projects. Unfortunately
-this is quite wasteful. As such, we will provide two options to buy L2 gas:
-
-1. Burn L1 Gas
-2. Send ETH to the Optimism Portal (Not yet supported)
-
-The payable version (Option 2) will likely have discount applied to it (or conversely, #1 has a
-premium applied to it).
-
-For the initial release of bedrock, only #1 is supported.
-
-## On Preventing Griefing Attacks
-
-The cost of purchasing all of the deposit gas in every block must be expensive
-enough to prevent attackers from griefing all deposits to the network.
-An attacker would observe a deposit in the mempool and frontrun it with a deposit
-that purchases enough gas such that the other deposit reverts.
-The smaller the max resource limit is, the easier this attack is to pull off.
-This attack is mitigated by having a large resource limit as well as a large
-elasticity multiplier. This means that the target resource usage is kept small,
-giving a lot of room for the deposit base fee to rise when the max resource limit
-is being purchased.
-
-This attack should be too expensive to pull off in practice, but if an extremely
-wealthy adversary does decide to grief network deposits for an extended period
-of time, efforts will be placed to ensure that deposits are able to be processed
-on the network.

specs/meta/README.md

-<!-- DOCTOC SKIP -->
-# Meta Processes
-
-This directory describes processes that we use to lint/test the specification.
-
-- [Linting](linting.md): how to lint source files.
-- [Markdown Style Guide](markdown-style.md): how to format and structure Markdown files.
-- [Devnet introduction](devnet.md): how to run a devnet.

specs/meta/devnet.md

-<!-- DOCTOC SKIP -->
-# Bedrock Local Devnet Setup
-
-<!-- START doctoc generated TOC please keep comment here to allow auto update -->
-<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
-**Table of Contents**
-
-- [Bedrock Local Devnet Setup](#bedrock-local-devnet-setup)
-
-<!-- END doctoc generated TOC please keep comment here to allow auto update -->
-
-You can spin up a local devnet via `docker compose`.
-For convenience, we have defined `make` targets to start and stop the devnet with a single command.
-To run the devnet, you will need `docker` installed.
-Then, as a precondition, make sure that you have compiled the contracts by `cd`ing into `packages/contracts-bedrock`
-and running `pnpm i` followed by `pnpm build`. You'll only need to do this if you change the contracts in the future.
-
-Then, run the following:
-
-```bash
-make devnet-up # starts the devnet
-make devnet-down # stops the devnet
-make devnet-clean # removes the devnet by deleting images and persistent volumes
-```
-
-L1 is accessible at `http://localhost:8545`, and L2 is accessible at `http://localhost:9545`.
-Any Ethereum tool - Metamask, `seth`, etc. - can use these endpoints.
-Note that you will need to specify the L2 chain ID manually if you use Metamask. The devnet's L2 chain ID is 901.
-
-The devnet comes with a pre-funded account you can use as a faucet:
-
-- Address: `0xf39fd6e51aad88f6f4ce6ab8827279cfffb92266`
-- Private key: `ac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80`
-
-The faucet account exists on both L1 and L2. To deposit onto L2 from L1, you can use the `deposit` hardhat task.
-Run the following from the `packages/contracts` directory:
-
-```bash
-npx hardhat deposit --amount-eth <amount in eth> --to <address>
-````
-
-You'll need a `.env` with the following contents:
-
-```bash
-L1_PROVIDER_URL=http://localhost:8545
-L2_PROVIDER_URL=http://localhost:9545
-PRIVATE_KEY=bf7604d9d3a1c7748642b1b7b05c2bd219c9faa91458b370f85e5a40f3b03af7
-```
-
-The batch submitter uses the account below to submit batches to L1:
-
-- Address: `0xde3829a23df1479438622a08a116e8eb3f620bb5`
-- Private key: `bf7604d9d3a1c7748642b1b7b05c2bd219c9faa91458b370f85e5a40f3b03af7`