feat(zkevm): Refactor stateless executor

.github/workflows/build-tools.yml

@@ -29,7 +29,6 @@ jobs:
           - Kute/Kute.slnx
           # - SchemaGenerator/SchemaGenerator.slnx
           - SendBlobs/SendBlobs.slnx
-          - StatelessExecution/StatelessExecution.slnx
           - TxParser/TxParser.slnx
     steps:
       - name: Check out repository

.github/workflows/stateless-tests.yml

@@ -0,0 +1,105 @@
+name: Stateless execution tests
+
+on:
+  merge_group:
+    types: [checks_requested]
+  pull_request:
+    branches: [master]
+  push:
+    branches: [master]
+  workflow_dispatch:
+    inputs:
+      upload:
+        description: Upload binaries
+        type: boolean
+        required: false
+        default: false
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+env:
+  EXPECTED_BLOCK_HASH: "0x2528a96c6c16ff80a8c92b84d7202f8250d74c0dd9e520a536179467f7e284b8"
+
+jobs:
+  test-zisk:
+    name: Run on Zisk
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@v6
+
+      - name: Set up .NET
+        uses: actions/setup-dotnet@v5
+
+      - name: Set up Docker Buildx
+        uses: docker/setup-buildx-action@v3
+
+      - name: Prepare input
+        working-directory: src/Nethermind/Nethermind.Stateless.ZiskGuest
+        run: dotnet run -c release -- bin/input.bin
+
+      - name: Build Nethermind
+        working-directory: src/Nethermind/Nethermind.Stateless.ZiskGuest
+        run: make build-zisk
+
+      - name: Test Nethermind
+        working-directory: src/Nethermind/Nethermind.Stateless.ZiskGuest
+        run: |
+          block_hash=$(docker run --rm \
+            --mount type=bind,source=./bin,target=/n \
+            nethermindeth/zisk@sha256:1b38e92264c30a4109fdb47f3b175324544085e36b9dde0abf7570c2b1e3312b \
+            ziskemu -e /n/nethermind -i /n/input.bin \
+            | tail -n 1
+          )
+          if [[ "$block_hash" != "$EXPECTED_BLOCK_HASH" ]]; then
+            echo "::error::Unexpected block hash: $block_hash"
+            exit 1
+          fi
+
+      - name: Upload guest binary
+        if: github.event.inputs.upload
+        uses: actions/upload-artifact@v4
+        with:
+          name: nethermind-zisk
+          path: src/Nethermind/Nethermind.Stateless.ZiskGuest/bin/nethermind
+          if-no-files-found: error
+
+  test-qemu:
+    name: Run on QEMU
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@v6
+
+      - name: Set up .NET
+        uses: actions/setup-dotnet@v5
+
+      - name: Set up Docker Buildx
+        uses: docker/setup-buildx-action@v3
+
+      - name: Set up QEMU
+        uses: docker/setup-qemu-action@v3
+
+      - name: Build Nethermind
+        working-directory: src/Nethermind/Nethermind.Stateless.ZiskGuest
+        run: make build-qemu
+
+      - name: Test Nethermind
+        working-directory: src/Nethermind/Nethermind.Stateless.ZiskGuest
+        run: |
+          docker build -f Dockerfile.qemu -t zkevm .
+          block_hash=$(docker run --rm zkevm)
+          if [[ "$block_hash" != "$EXPECTED_BLOCK_HASH" ]]; then
+            echo "::error::Unexpected block hash: $block_hash"
+            exit 1
+          fi
+
+      - name: Upload guest binary
+        if: github.event.inputs.upload
+        uses: actions/upload-artifact@v4
+        with:
+          name: nethermind-zkevm
+          path: src/Nethermind/Nethermind.Stateless.ZiskGuest/bin/nethermind
+          if-no-files-found: error

Directory.Packages.props

@@ -62,6 +62,7 @@
     <PackageVersion Include="Nethermind.MclBindings" Version="1.0.5" />
     <PackageVersion Include="Nethermind.Numerics.Int256" Version="1.5.0" />
     <PackageVersion Include="Nethermind.TurboPForBindings" Version="1.0.0" />
+    <PackageVersion Include="Nethermind.ZiskBindings" Version="1.0.0-preview.21" />
     <PackageVersion Include="Nito.Collections.Deque" Version="1.2.1" />
     <PackageVersion Include="NJsonSchema" Version="11.3.2" />
     <PackageVersion Include="NLog" Version="5.5.1" />
@@ -93,4 +94,4 @@
     <PackageVersion Include="YamlDotNet" Version="16.3.0" />
     <PackageVersion Include="ZstdSharp.Port" Version="0.8.7" />
   </ItemGroup>
-</Project>
+</Project>

nuget.config

@@ -8,7 +8,7 @@
     <add key="nuget.org" value="https://api.nuget.org/v3/index.json" />
     <add key="bdn-nightly" value="https://www.myget.org/F/benchmarkdotnet/api/v3/index.json" />
     <add key="dotnet-tools" value="https://pkgs.dev.azure.com/dnceng/public/_packaging/dotnet-tools/nuget/v3/index.json" />
-    <!--<add key="nugettest.org" value="https://apiint.nugettest.org/v3/index.json" />-->
+    <add key="nugettest.org" value="https://apiint.nugettest.org/v3/index.json" />
   </packageSources>
   <packageSourceMapping>
     <packageSource key="nuget.org">
@@ -22,8 +22,8 @@
       <package pattern="Microsoft.Diagnostics.Runtime" />
       <package pattern="Microsoft.Diagnostics.Runtime.*" />
     </packageSource>
-    <!--<packageSource key="nugettest.org">
-      <package pattern="" />
-    </packageSource>-->
+    <packageSource key="nugettest.org">
+      <package pattern="Nethermind.ZiskBindings" />
+    </packageSource>
   </packageSourceMapping>
 </configuration>

src/Nethermind/Directory.Build.targets

@@ -2,6 +2,20 @@
 
   <Import Project="../../Directory.Build.targets" />
 
+  <ItemGroup Condition="$(EnableZkEvm) == 'true'">
+    <Compile Remove="**/std/**/*.cs" />
+    <None Include="**/std/**/*.cs" />
+    <Compile Remove="**/*.std.cs" />
+    <None Include="**/*.std.cs" />
+  </ItemGroup>
+
+  <ItemGroup Condition="$(EnableZkEvm) != 'true'">
+    <Compile Remove="**/zkevm/**/*.cs" />
+    <None Include="**/zkevm/**/*.cs" />
+    <Compile Remove="**/*.zkevm.cs" />
+    <None Include="**/*.zkevm.cs" />
+  </ItemGroup>
+
   <!-- Share native runtimes dir across projects during with a shared location and junctions/symlinks.
     Enable with `-p:SaveDiskSpace=true` or an environment variable. -->
   <PropertyGroup Condition="'$(SaveDiskSpace)' == 'true'">

src/Nethermind/Nethermind.Crypto/EthereumEcdsa.zkevm.cs

@@ -0,0 +1,41 @@
+// SPDX-FileCopyrightText: 2026 Demerzel Solutions Limited
+// SPDX-License-Identifier: LGPL-3.0-only
+
+using System;
+using Nethermind.Core;
+using Nethermind.Core.Crypto;
+
+namespace Nethermind.Crypto;
+
+public sealed class EthereumEcdsa(ulong chainId) : IEthereumEcdsa
+{
+    public ulong ChainId => chainId;
+
+    public Address? RecoverAddress(Signature signature, in ValueHash256 message)
+    {
+        Span<byte> output = stackalloc byte[32];
+        byte success = ZiskBindings.Crypto.secp256k1_ecdsa_address_recover_c(
+            signature.Bytes, signature.RecoveryId, message.Bytes, output);
+
+        return success == 0 ? new(output[12..]) : null;
+    }
+
+    public CompressedPublicKey? RecoverCompressedPublicKey(Signature signature, in ValueHash256 message) =>
+        throw new NotSupportedException();
+
+    public PublicKey? RecoverPublicKey(Signature signature, in ValueHash256 message) => throw new NotSupportedException();
+
+    public Signature Sign(PrivateKey privateKey, in ValueHash256 message) => throw new NotSupportedException();
+
+    public static bool RecoverAddressRaw(
+        ReadOnlySpan<byte> signature,
+        byte recoveryId,
+        ReadOnlySpan<byte> message,
+        Span<byte> output)
+    {
+        byte success = ZiskBindings.Crypto.secp256k1_ecdsa_address_recover_c(
+            signature, recoveryId, message, output);
+
+        return success == 0;
+    }
+}