Gwyneth base branch

.github/workflows/bench.yml

@@ -18,8 +18,7 @@ concurrency:
 name: bench
 jobs:
   iai:
-    runs-on:
-      group: Reth
+    runs-on: ubuntu-latest
     # Only run benchmarks in merge groups and on main
     if: github.event_name != 'pull_request'
     steps:

.github/workflows/hive.yml

@@ -19,8 +19,7 @@ jobs:
   prepare:
     if: github.repository == 'paradigmxyz/reth'
     timeout-minutes: 45
-    runs-on:
-      group: Reth
+    runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - run: mkdir artifacts
@@ -178,8 +177,7 @@ jobs:
             include: [frontier/]
     needs: prepare
     name: run
-    runs-on:
-      group: Reth
+    runs-on: ubuntu-latest
     permissions:
       issues: write
     steps:

.github/workflows/integration.yml

@@ -19,8 +19,7 @@ concurrency:
 jobs:
   test:
     name: test / ${{ matrix.network }}
-    runs-on:
-      group: Reth
+    runs-on: ubuntu-latest
     env:
       RUST_BACKTRACE: 1
     strategy:
@@ -53,8 +52,7 @@ jobs:
     name: sync / 100k blocks
     # Only run sync tests in merge groups
     if: github.event_name == 'merge_group'
-    runs-on:
-      group: Reth
+    runs-on: ubuntu-latest
     env:
       RUST_LOG: info,sync=error
       RUST_BACKTRACE: 1

.github/workflows/propose.yml

@@ -0,0 +1,78 @@
+name: Propose a block
+
+on:
+  push:
+    branches:
+      - gwyneth
+      - gwyneth/**
+  pull_request:
+    branches:
+      - gwyneth
+      - gwyneth/**
+
+jobs:
+  build-and-test:
+    runs-on: ubuntu-latest
+
+    env:
+      PRIVATE_KEY: ${{ secrets.PRIVATE_KEY }}
+
+    steps:
+    - name: Checkout repository
+      uses: actions/checkout@v3
+
+    - name: Set up Docker
+      uses: docker/setup-buildx-action@v2
+
+    - name: Install dependencies
+      run: |
+        sudo apt-get update
+        sudo apt-get install -y curl apt-transport-https software-properties-common
+
+        # Install Docker
+        if ! command -v docker &> /dev/null
+        then
+          curl -fsSL https://get.docker.com -o get-docker.sh
+          sh get-docker.sh
+        fi
+
+        # Start Docker service
+        sudo systemctl start docker
+        sudo systemctl enable docker
+
+        # Check Docker installation
+        docker --version
+
+        # Install Kurtosis
+        if ! command -v kurtosis &> /dev/null
+        then
+          curl -fsSL https://kurtosis-public.s3.amazonaws.com/cli/cli-installer.sh | bash
+        fi
+
+        # Check Kurtosis installation
+        kurtosis version
+
+        # Install Forge
+        if ! command -v forge &> /dev/null
+        then
+          curl -L https://foundry.paradigm.xyz | bash
+          source ~/.bashrc
+          foundryup
+        fi
+
+        # Check Forge installation
+        forge --version
+
+        # Run setup_deps.sh which installs Docker, checks Docker daemon, installs Kurtosis, and extracts RPC port
+        ./scripts/setup_deps.sh
+
+    - name: Run Forge Script
+      run: |
+        # Read the RPC port from the temporary file
+        RPC_PORT=$(cat /tmp/kurtosis_rpc_port)
+
+        # Run the forge foundry script using the PRIVATE_KEY from GitHub Secrets
+        FORGE_COMMAND="forge script --rpc-url http://127.0.0.1:$RPC_PORT scripts/L2_txn_simulation/ProposeBlock.s.sol -vvvv --broadcast --private-key $PRIVATE_KEY --legacy"
+        echo "Running forge foundry script..."
+        eval $FORGE_COMMAND
+        echo "Forge script execution completed."

.github/workflows/unit.yml

@@ -19,8 +19,7 @@ concurrency:
 jobs:
   test:
     name: test / ${{ matrix.network }} (${{ matrix.partition }}/2)
-    runs-on:
-      group: Reth
+    runs-on: ubuntu-latest
     env:
       RUST_BACKTRACE: 1
     strategy:
@@ -45,8 +44,7 @@ jobs:
 
   state:
     name: Ethereum state tests
-    runs-on:
-      group: Reth
+    runs-on: ubuntu-latest
     env:
       RUST_LOG: info,sync=error
       RUST_BACKTRACE: 1
@@ -70,8 +68,7 @@ jobs:
 
   doc:
     name: doc tests (${{ matrix.network }})
-    runs-on:
-      group: Reth
+    runs-on: ubuntu-latest
     env:
       RUST_BACKTRACE: 1
     timeout-minutes: 30

packages/package.json

@@ -0,0 +1,10 @@
+{
+  "name": "gwyneth",
+  "version": "1.0.0",
+  "scripts": {
+    "test": "echo \"Error: no test specified\" && exit 1"
+  },
+  "keywords": [],
+  "author": "Taiko Labs",
+  "license": "MIT"
+}

packages/protocol/.env_sample

@@ -0,0 +1,3 @@
+L2_GENESIS_HASH=0xdf90a9c4daa571aa308e967c9a6b4bf21ba8842d95d73d28be112b6fe0618e8c
+PRIVATE_KEY=0xbcdf20249abf0ed6d944c0288fad489e33f66b3960d9e6229c1cd214ed3bbe31
+MAINNET_CONTRACT_OWNER=0x8943545177806ED17B9F23F0a21ee5948eCaa776

packages/protocol/.github/workflows/test.yml

@@ -0,0 +1,34 @@
+name: test
+
+on: workflow_dispatch
+
+env:
+  FOUNDRY_PROFILE: ci
+
+jobs:
+  check:
+    strategy:
+      fail-fast: true
+
+    name: Foundry project
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+        with:
+          version: nightly
+
+      - name: Run Forge build
+        run: |
+          forge --version
+          forge build --sizes
+        id: build
+
+      - name: Run Forge tests
+        run: |
+          forge test -vvv
+        id: test

packages/protocol/.gitignore

@@ -0,0 +1,15 @@
+# Compiler files
+cache/
+out/
+node_modules/
+
+# Ignores development broadcast logs
+!/broadcast
+/broadcast/*/31337/
+/broadcast/**/dry-run/
+
+# Docs
+docs/
+
+# Dotenv file
+.env

packages/protocol/Makefile

@@ -0,0 +1,9 @@
+# build/Makefile
+
+.PHONY: install
+
+install:
+	./scripts/setup_deps.sh
+
+propose:
+	./scripts/propose_block.sh

packages/protocol/README.md

@@ -0,0 +1,66 @@
+## Foundry
+
+**Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.**
+
+Foundry consists of:
+
+-   **Forge**: Ethereum testing framework (like Truffle, Hardhat and DappTools).
+-   **Cast**: Swiss army knife for interacting with EVM smart contracts, sending transactions and getting chain data.
+-   **Anvil**: Local Ethereum node, akin to Ganache, Hardhat Network.
+-   **Chisel**: Fast, utilitarian, and verbose solidity REPL.
+
+## Documentation
+
+https://book.getfoundry.sh/
+
+## Usage
+
+### Build
+
+```shell
+$ forge build
+```
+
+### Test
+
+```shell
+$ forge test
+```
+
+### Format
+
+```shell
+$ forge fmt
+```
+
+### Gas Snapshots
+
+```shell
+$ forge snapshot
+```
+
+### Anvil
+
+```shell
+$ anvil
+```
+
+### Deploy
+
+```shell
+$ forge script script/Counter.s.sol:CounterScript --rpc-url <your_rpc_url> --private-key <your_private_key>
+```
+
+### Cast
+
+```shell
+$ cast <subcommand>
+```
+
+### Help
+
+```shell
+$ forge --help
+$ anvil --help
+$ cast --help
+```

packages/protocol/contracts/4844/BlobHashReader.yulp

@@ -0,0 +1,27 @@
+// SPDX-License-Identifier: MIT
+//  _____     _ _         _         _
+// |_   _|_ _(_) |_____  | |   __ _| |__ ___
+//   | |/ _` | | / / _ \ | |__/ _` | '_ (_-<
+//   |_|\__,_|_|_\_\___/ |____\__,_|_.__/__/
+
+// An implemenatation of IBlobHashReader
+object "BlobHashReader" {
+   code {
+      datacopy(0, dataoffset("runtime"), datasize("runtime"))
+      return(0, datasize("runtime"))
+   }
+   object "runtime" {
+      code {
+         // Match against the keccak of the ABI function signature needed.
+         switch shr(0xe0,calldataload(0))
+            // bytes4(keccak("function getFirstBlobHash()"))
+            // Returns the versioned hash for the first blob in this transaction.
+            case 0xfd122ecf {
+                // DATAHASH opcode has hex value 0x49
+                let hash := verbatim_1i_1o(hex"49", 0)
+                mstore(0, hash)
+                return(0, 32)
+            }
+      }
+   }
+}

packages/protocol/contracts/4844/IBlobHashReader.sol

@@ -0,0 +1,17 @@
+// SPDX-License-Identifier: MIT
+//  _____     _ _         _         _
+// |_   _|_ _(_) |_____  | |   __ _| |__ ___
+//   | |/ _` | | / / _ \ | |__/ _` | '_ (_-<
+//   |_|\__,_|_|_\_\___/ |____\__,_|_.__/__/
+
+pragma solidity ^0.8.20;
+
+/// @title IBlobHashReader
+/// @dev Labeled in AddressResolver as "blob_hash_reader"
+/// @dev This interface and its corresponding implementation may deprecate once
+/// solidity supports the new BLOBHASH opcode natively.
+interface IBlobHashReader {
+    /// @notice Returns the versioned hash for the first blob in this
+    /// transaction. If there is no blob found, 0x0 is returned.
+    function getFirstBlobHash() external view returns (bytes32);
+}

packages/protocol/contracts/4844/Lib4844.sol

@@ -0,0 +1,46 @@
+// SPDX-License-Identifier: MIT
+//  _____     _ _         _         _
+// |_   _|_ _(_) |_____  | |   __ _| |__ ___
+//   | |/ _` | | / / _ \ | |__/ _` | '_ (_-<
+//   |_|\__,_|_|_\_\___/ |____\__,_|_.__/__/
+
+pragma solidity ^0.8.20;
+
+/// @title Lib4844
+/// @notice A library for handling EIP-4844 blobs
+/// `solc contracts/libs/Lib4844.sol --ir > contracts/libs/Lib4844.yul`
+library Lib4844 {
+    address public constant POINT_EVALUATION_PRECOMPILE_ADDRESS = address(0x0A);
+    uint32 public constant FIELD_ELEMENTS_PERBLOB = 4096;
+    uint256 public constant BLS_MODULUS =
+        52_435_875_175_126_190_479_447_740_508_185_965_837_690_552_500_527_637_822_603_658_699_938_581_184_513;
+
+    error EVAL_FAILED();
+    error POINT_X_TOO_LARGE();
+    error POINT_Y_TOO_LARGE();
+
+    /// @notice Evaluates the 4844 point using the precompile.
+    /// @param blobHash The versioned hash
+    /// @param x The evaluation point
+    /// @param y The expected output
+    /// @param commitment The input kzg point
+    /// @param pointProof The quotient kzg
+    function evaluatePoint(
+        bytes32 blobHash,
+        uint256 x,
+        uint256 y,
+        bytes1[48] memory commitment,
+        bytes1[48] memory pointProof
+    )
+        internal
+        view
+    {
+        if (x >= BLS_MODULUS) revert POINT_X_TOO_LARGE();
+        if (y >= BLS_MODULUS) revert POINT_Y_TOO_LARGE();
+
+        (bool ok,) = POINT_EVALUATION_PRECOMPILE_ADDRESS.staticcall(
+            abi.encodePacked(blobHash, x, y, commitment, pointProof)
+        );
+        if (!ok) revert EVAL_FAILED();
+    }
+}