feat: add devnet-2 support (#42)

* fix: reorder BlockSignatures fields

* fix: use aggregated signatures instead of naive ones

* chore: add devnet1 fixes

* refactor: add ByteListMiB type alias

* refactor: don't use zero hash in justification roots

leanEthereum/leanSpec#305

Author: MegaRedHand

.github/workflows/ci.yml

@@ -21,7 +21,7 @@ jobs:
     name: Lint
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v4
 
       - name: Setup Rust
         uses: dtolnay/rust-toolchain@master
@@ -45,30 +45,14 @@ jobs:
     name: Test
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v4
 
-      # - name: Download test fixtures
-      #   env:
-      #     GH_TOKEN: ${{ github.token }}
-      #   run: |
-      #     mkdir -p leanSpec/fixtures
-      #     gh run download --repo leanEthereum/leanSpec --name fixtures-prod-scheme --dir leanSpec/fixtures
-
-      - name: Checkout leanSpec
-        uses: actions/checkout@v6
-        with:
-          repository: leanEthereum/leanSpec
-          ref: 050fa4a18881d54d7dc07601fe59e34eb20b9630
-          path: leanSpec
-
-      - name: Install uv
-        uses: astral-sh/setup-uv@v7
-
-      - name: Generate test fixtures
-        working-directory: leanSpec
+      - name: Download test fixtures
+        env:
+          GH_TOKEN: ${{ github.token }}
         run: |
-          uv sync
-          uv run fill --fork=devnet --clean -n auto
+          mkdir -p leanSpec/fixtures
+          gh run download --repo leanEthereum/leanSpec --name fixtures-prod-scheme --dir leanSpec/fixtures
 
       - name: Setup Rust
         uses: dtolnay/rust-toolchain@master

Cargo.lock

@@ -52,7 +52,7 @@ clap = { version = "4.3", features = ["derive", "env"] }
 ethereum-types = { version = "0.15.1", features = ["serialize"] }
 
 # XMSS signatures
-leansig = { git = "https://github.com/leanEthereum/leansig.git", rev = "f10dcbe" }
+leansig = { git = "https://github.com/leanEthereum/leansig.git", rev = "ae12a5feb25d917c42b6466444ebd56ec115a629" }
 
 # SSZ deps
 # TODO: roll up our own implementation

Cargo.toml

@@ -13,14 +13,14 @@ test: ## 🧪 Run all tests, then forkchoice tests with skip-signature-verificat
 docker-build: ## 🐳 Build the Docker image
 	docker build -t ghcr.io/lambdaclass/ethlambda:local .
 
-LEAN_SPEC_COMMIT_HASH:=050fa4a18881d54d7dc07601fe59e34eb20b9630
+LEAN_SPEC_COMMIT_HASH:=fbbacbea4545be870e25e3c00a90fc69e019c5bb
 
 leanSpec:
 	git clone https://github.com/leanEthereum/leanSpec.git --single-branch
 	cd leanSpec && git checkout $(LEAN_SPEC_COMMIT_HASH)
 
 leanSpec/fixtures: leanSpec
-	cd leanSpec && uv run fill --fork devnet -o fixtures #--scheme=prod
+	cd leanSpec && uv run fill --fork devnet --scheme=prod -o fixtures
 
 # lean-quickstart:
 # 	git clone https://github.com/blockblaz/lean-quickstart.git --depth 1 --single-branch

Makefile

@@ -45,3 +45,8 @@ name = "forkchoice_spectests"
 path = "tests/forkchoice_spectests.rs"
 harness = false
 required-features = ["skip-signature-verification"]
+
+[[test]]
+name = "signature_spectests"
+path = "tests/signature_spectests.rs"
+harness = false