feat(protocol): pacaya fork with simplified based rollup protocol (#18535)

Co-authored-by: dantaik <[email protected]>
Co-authored-by: xiaodino <[email protected]>
Co-authored-by: xiaodino <[email protected]>
Co-authored-by: David <[email protected]>
Co-authored-by: davidtaikocha <[email protected]>
Co-authored-by: Anshu Jalan <[email protected]>
Co-authored-by: AnshuJalan <[email protected]>
Co-authored-by: davidtaikocha <[email protected]>
Co-authored-by: smtmfft <[email protected]>
Co-authored-by: smtmfft <[email protected]>
Co-authored-by: maskpp <[email protected]>
Co-authored-by: jeff <[email protected]>
Co-authored-by: Gavin Yu <[email protected]>
Co-authored-by: YoGhurt111 <[email protected]>

Author: 8 people

.github/workflows/protocol.yml

@@ -10,6 +10,13 @@ on:
       - "!packages/protocol/docs/**"
       - "!packages/protocol/simulation/**"
       - "!packages/protocol/deployments/**"
+      - "!packages/protocol/script/layer2/hekla/**"
+      - "!packages/protocol/script/layer2/mainnet/**"
+      - "!packages/protocol/script/layer1/hekla/**"
+      - "!packages/protocol/script/layer1/mainnet/**"
+      - "!packages/protocol/script/layer1/preconf/**"
+      - "!packages/protocol/script/layer1/provers/**"
+      - "!packages/protocol/script/layer1/team/**"
     branches-ignore:
       - release-please--branches--**
 
@@ -37,6 +44,8 @@ jobs:
 
       - name: Install Foundry
         uses: foundry-rs/[email protected]
+        with:
+          version: stable
 
       - name: Install pnpm dependencies
         uses: ./.github/actions/install-pnpm-dependencies
@@ -53,7 +62,18 @@ jobs:
         working-directory: ./packages/protocol
         run: pnpm compile:l1 && pnpm test:l1 && pnpm layout:l1
 
+      - name: Check for changes
+        id: git_status
+        run: |
+          git add -N .  # Simulate staging to detect untracked files
+          if [ -n "$(git status --porcelain)" ]; then
+            echo "changes=true" >> $GITHUB_ENV
+          else
+            echo "changes=false" >> $GITHUB_ENV
+          fi
+
       - name: Commit contract layout table
+        if: env.changes == 'true'
         uses: stefanzweifel/git-auto-commit-action@v5
         with:
           commit_message: "forge fmt & update contract layout tables"
@@ -86,7 +106,7 @@ jobs:
           submodules: recursive
 
       - name: Install Foundry
-        uses: foundry-rs/foundry-toolchain@v1.2.0
+        uses: foundry-rs/foundry-toolchain@v1.3.1
 
       - name: Install pnpm dependencies
         uses: ./.github/actions/install-pnpm-dependencies

.gitignore

@@ -120,3 +120,4 @@ __pycache__/
 
 # Idea
 .idea/
+packages/protocol/snapshots/InboxTest_ProposeAndProve.json

.release-please-manifest.json

@@ -5,7 +5,7 @@
   "packages/fork-diff": "0.6.1",
   "packages/guardian-prover-health-check": "0.1.0",
   "packages/guardian-prover-health-check-ui": "0.2.0",
-  "packages/protocol": "1.12.0",
+  "packages/protocol": "2.0.0",
   "packages/relayer": "0.12.0",
   "packages/snaefell-ui": "1.1.0",
   "packages/supplementary-contracts": "1.0.0",

packages/docs-site/src/content/docs/core-concepts/inception-layers.md

@@ -18,49 +18,50 @@ Taiko Alethia is designed with **flexibility**, enabling:
 
 1. **Ethereum's Scaling Limits**
 
-      A single L2 has inherent constraints:
-      - Throughput bottlenecks: Even a performant rollup has an upper bound on TPS.
-      - State Growth: Storing all state in a single rollup leads to **expensive calldata** and **verification costs** on Ethereum L1.
+   A single L2 has inherent constraints:
+
+   - Throughput bottlenecks: Even a performant rollup has an upper bound on TPS.
+   - State Growth: Storing all state in a single rollup leads to **expensive calldata** and **verification costs** on Ethereum L1.
 
 <br/>
 
 2. **Multiple Rollups Are the Future**
 
-      - The Ethereum roadmap anticipates a **multi-rollup ecosystem**.
-      - Inception layers allow for **seamless rollup interoperability**.
+   - The Ethereum roadmap anticipates a **multi-rollup ecosystem**.
+   - Inception layers allow for **seamless rollup interoperability**.
 
 <br/>
 
 3. **Unlocking Extensible Scalability**
 
-      - Multiple **Taiko L2 instances** can scale horizontally.
-      - Multiple **L3 instances on top of L2** scale **vertically** (stacked rollups).
-      - L3s inherit the **same security model** as L2s, ensuring trustless execution.
+   - Multiple **Taiko L2 instances** can scale horizontally.
+   - Multiple **L3 instances on top of L2** scale **vertically** (stacked rollups).
+   - L3s inherit the **same security model** as L2s, ensuring trustless execution.
 
 ---
 
 ## Benefits of Inception Layers
 
 1. **Ethereum-Equivalence Across Layers**
 
-    - **L2s and L3s** share the **same execution environment** as Ethereum.
-    - Developers can **reuse smart contracts** across layers without modifications.
-    - **EVM compatibility is preserved**, ensuring seamless migration.
+   - **L2s and L3s** share the **same execution environment** as Ethereum.
+   - Developers can **reuse smart contracts** across layers without modifications.
+   - **EVM compatibility is preserved**, ensuring seamless migration.
 
-    <br/>
+   <br/>
 
 2. **Optimized for Composability & Interoperability**
 
-    - Rollups at different layers can **efficiently interact** using **Merkle proofs**.
-    - This enables **secure, trustless message passing** between L1, L2, and L3.
+   - Rollups at different layers can **efficiently interact** using **Merkle proofs**.
+   - This enables **secure, trustless message passing** between L1, L2, and L3.
 
-    <br/>
+   <br/>
 
 3. **Mitigating UX Fragmentation**
 
-    - A major downside of a multi-rollup world is **liquidity fragmentation** and **complex cross-chain UX**.
-    - **Taiko’s inception layers combat this** by using built-in **arbitrary message passing**.
-    - One rollup can natively **read Merkle proofs** from another, avoiding fragmented liquidity.
+   - A major downside of a multi-rollup world is **liquidity fragmentation** and **complex cross-chain UX**.
+   - **Taiko’s inception layers combat this** by using built-in **arbitrary message passing**.
+   - One rollup can natively **read Merkle proofs** from another, avoiding fragmented liquidity.
 
 ---
 

packages/docs-site/src/content/docs/network-reference/hekla-addresses.md

@@ -57,10 +57,10 @@ description: Network reference page describing various important addresses on Ta
 The owner has the ability to upgrade the contracts.
 :::
 
-| Network               | Address                                      | ENS |
-| --------------------- | -------------------------------------------- | --- |
-| Ethereum L1 (Holesky) | `0x13cfc60c900a927C48f5c2a4923Ec9771a3A2805` | N/A |
-| Taiko L2 (Taiko Hekla)| `0x1D2D1bb9D180541E88a6a682aCf3f61c1605B190` | N/A |
+| Network                | Address                                      | ENS |
+| ---------------------- | -------------------------------------------- | --- |
+| Ethereum L1 (Holesky)  | `0x13cfc60c900a927C48f5c2a4923Ec9771a3A2805` | N/A |
+| Taiko L2 (Taiko Hekla) | `0x1D2D1bb9D180541E88a6a682aCf3f61c1605B190` | N/A |
 
 ## Taiko Labs' proposer and prover addresses
 

packages/docs-site/src/content/docs/network-reference/software-releases-and-deployments.md

@@ -9,11 +9,11 @@ It is **highly recommended** you use the latest software. You can find the lates
 
 | Package                                                                                | Release notes                                                                                                                                                                                     |
 | :------------------------------------------------------------------------------------- | :------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
-| [protocol](https://github.com/taikoxyz/taiko-mono/tree/main/packages/protocol) | [![Github Release](https://img.shields.io/github/v/release/taikoxyz/taiko-mono?filter=protocol*&label=)](https://github.com/taikoxyz/taiko-mono/blob/main/packages/protocol/CHANGELOG.md) |
-| [taiko-geth](https://github.com/taikoxyz/taiko-geth)                                   | [![GitHub Release](https://img.shields.io/github/v/release/taikoxyz/taiko-geth?label=)](https://github.com/taikoxyz/taiko-geth/blob/taiko/CHANGELOG.md) |
+| [protocol](https://github.com/taikoxyz/taiko-mono/tree/main/packages/protocol)         | [![Github Release](https://img.shields.io/github/v/release/taikoxyz/taiko-mono?filter=protocol*&label=)](https://github.com/taikoxyz/taiko-mono/blob/main/packages/protocol/CHANGELOG.md)         |
+| [taiko-geth](https://github.com/taikoxyz/taiko-geth)                                   | [![GitHub Release](https://img.shields.io/github/v/release/taikoxyz/taiko-geth?label=)](https://github.com/taikoxyz/taiko-geth/blob/taiko/CHANGELOG.md)                                           |
 | [taiko-client](https://github.com/taikoxyz/taiko-mono/tree/main/packages/taiko-client) | [![GitHub Release](https://img.shields.io/github/v/release/taikoxyz/taiko-mono?filter=taiko-client*&label=)](https://github.com/taikoxyz/taiko-mono/blob/main/packages/taiko-client/CHANGELOG.md) |
-| [simple-taiko-node](https://github.com/taikoxyz/simple-taiko-node/tree/main) | [![Github Release](https://img.shields.io/github/v/release/taikoxyz/simple-taiko-node?label=)](https://github.com/taikoxyz/simple-taiko-node/blob/main/CHANGELOG.md) |
-| [raiko](https://github.com/taikoxyz/raiko/tree/main) | [![Github Release](https://img.shields.io/github/v/release/taikoxyz/raiko?label=)](https://github.com/taikoxyz/raiko/blob/main/CHANGELOG.md) |
+| [simple-taiko-node](https://github.com/taikoxyz/simple-taiko-node/tree/main)           | [![Github Release](https://img.shields.io/github/v/release/taikoxyz/simple-taiko-node?label=)](https://github.com/taikoxyz/simple-taiko-node/blob/main/CHANGELOG.md)                              |
+| [raiko](https://github.com/taikoxyz/raiko/tree/main)                                   | [![Github Release](https://img.shields.io/github/v/release/taikoxyz/raiko?label=)](https://github.com/taikoxyz/raiko/blob/main/CHANGELOG.md)                                                      |
 
 ## Taiko Alethia deployment logs
 

packages/docs-site/src/content/docs/taiko-alethia-protocol/codebase-analysis/taikol2-contract.md

@@ -82,7 +82,7 @@ description: Taiko Alethia protocol page for "TaikoL2.sol".
 
    - `parentHash`: Hash of the parent block.
    - `parentGasExcess`: Gas excess for base fee calculation.
-<br/><br/>
+     <br/><br/>
 
 2. **`EIP1559Update`**
    Emitted when gas parameters (e.g., target, excess, base fee) are updated.

packages/protocol/README.md

@@ -15,40 +15,39 @@ To install dependencies:
 foundryup && pnpm install
 ```
 
-## Compilation and Testing
+## Compilation
 
 Taiko’s protocol is split between Layer 1 (L1) and Layer 2 (L2). The smart contracts need to be compiled and tested separately for each layer:
 
-### Layer 1 (Ethereum, Duncan Hardfork)
-
-To compile, run tests, and generate the storage layout for L1:
+To compile and generate the storage layout for L1:
 
 ```bash
 pnpm compile:l1
-pnpm test:l1
 pnpm layout:l1
 ```
 
-### Layer 2 (Taiko, Shanghai Hardfork)
-
 Similarly, for L2:
 
 ```bash
 pnpm compile:l2
-pnpm test:l2
 pnpm layout:l2
 ```
 
-### Compile and Test for Both Layers
-
-To compile and test contracts for both L1 and L2 at once:
+To compile and generate the storage layout for both layers:
 
 ```bash
 pnpm compile
-pnpm test
 pnpm layout
 ```
 
+## Testing
+
+```bash
+pnpm test:l1
+pnpm test:l2
+pnpm test
+```
+
 ## Layer 2 Genesis Block
 
 ### Generating a Dummy Genesis Block