Refactor and add SecP256k1 functions

Author: rubo

tools/Stateless/Makefile

@@ -99,10 +99,12 @@ build-zisk: build-dotnet-zisk build-docker-bflat
 		$(BFLAT_BUILD) --libc zisk $(BFLAT_REFS) \
 		--extlib https://github.com/NethermindEth/bflat-libziskos:pre-develop-0.16.0 \
 		$(SRC_DIR)/Program.cs \
-		$(SRC_DIR)/Zisk.Memory.cs \
-		$(SRC_DIR)/Zisk.Precompiles.cs
+		$(SRC_DIR)/Zisk/Crypto.cs \
+		$(SRC_DIR)/Zisk/IO.cs \
+		$(SRC_DIR)/Zisk/Precompiles.cs
 	mkdir -p $(ZISK_DIR)/bin && \
-		mv -f $(ZISK_DIR)/Program.patched $(ZISK_DIR)/bin/nethermind
+		mv -f $(ZISK_DIR)/Program.patched $(ZISK_DIR)/bin/nethermind && \
+		rm -f $(ZISK_DIR)/Program
 
 run-tester: build-tester
 	docker build --platform linux/amd64 -t zkvm-tester $(TESTER_DIR)

tools/Stateless/ZiskGuest/Program.cs

@@ -12,15 +12,15 @@ class Program
 {
     static int Main()
     {
-        byte[] input = Zisk.ReadInput();
+        byte[] input = Zisk.IO.ReadInput();
 
         Block block = StatelessExecutor.Execute(input);
 
         Span<byte> hash = block.Hash!.Bytes;
         var size = sizeof(uint);
 
         for (int i = 0, count = hash.Length / size; i < count; i++)
-            Zisk.SetOutput(i, BinaryPrimitives.ReadUInt32BigEndian(hash[(i * size)..]));
+            Zisk.IO.SetOutput(i, BinaryPrimitives.ReadUInt32BigEndian(hash[(i * size)..]));
 
         return 0;
     }

tools/Stateless/ZiskGuest/Zisk.Precompiles.cs

@@ -0,0 +1,26 @@
+// SPDX-FileCopyrightText: 2026 Demerzel Solutions Limited
+// SPDX-License-Identifier: LGPL-3.0-only
+
+#pragma warning disable CA1401 // P/Invokes should not be visible
+#pragma warning disable SYSLIB1054 // Use 'LibraryImportAttribute' instead of 'DllImportAttribute' to generate P/Invoke marshalling code at compile time
+
+using System.Runtime.InteropServices;
+
+namespace Nethermind.Stateless.ZiskGuest.Zisk;
+
+public static unsafe class Crypto
+{
+    [DllImport("__Internal")]
+    public static extern byte secp256k1_ecdsa_address_recover_c(
+        byte* sig,
+        byte* recid,
+        byte* msg,
+        byte* output);
+
+    [DllImport("__Internal")]
+    public static extern byte secp256k1_ecdsa_verify_and_address_recover_c(
+        byte* sig,
+        byte* msg,
+        byte* pk,
+        byte* output);
+}

tools/Stateless/ZiskGuest/Zisk/Crypto.cs

@@ -3,9 +3,9 @@
 
 using System.Runtime.CompilerServices;
 
-namespace Nethermind.Stateless.ZiskGuest;
+namespace Nethermind.Stateless.ZiskGuest.Zisk;
 
-public static unsafe partial class Zisk
+public static unsafe partial class IO
 {
     private const ulong INPUT_ADDR = 0x90000000UL;
     private const ulong OUTPUT_ADDR = 0xa0010000UL;

tools/Stateless/ZiskGuest/Zisk.Memory.cs tools/Stateless/ZiskGuest/Zisk/IO.cstools/Stateless/ZiskGuest/Zisk.Memory.cs renamed to tools/Stateless/ZiskGuest/Zisk/IO.cs

@@ -0,0 +1,53 @@
+// SPDX-FileCopyrightText: 2026 Demerzel Solutions Limited
+// SPDX-License-Identifier: LGPL-3.0-only
+
+#pragma warning disable CA1401 // P/Invokes should not be visible
+#pragma warning disable SYSLIB1054 // Use 'LibraryImportAttribute' instead of 'DllImportAttribute' to generate P/Invoke marshalling code at compile time
+
+using System.Runtime.InteropServices;
+
+namespace Nethermind.Stateless.ZiskGuest.Zisk;
+
+public static unsafe class Precompiles
+{
+    [DllImport("__Internal")]
+    public static extern byte bls12_381_fp_to_g1_c(byte* ret, byte* fp);
+
+    [DllImport("__Internal")]
+    public static extern byte bls12_381_fp2_to_g2_c(byte* ret, byte* fp2);
+
+    [DllImport("__Internal")]
+    public static extern byte bls12_381_g1_add_c(byte* ret, byte* a, byte* b);
+
+    [DllImport("__Internal")]
+    public static extern byte bls12_381_g1_msm_c(byte* ret, byte* pairs, nuint num_pairs);
+
+    [DllImport("__Internal")]
+    public static extern byte bls12_381_g2_add_c(byte* ret, byte* a, byte* b);
+
+    [DllImport("__Internal")]
+    public static extern byte bls12_381_g2_msm_c(byte* ret, byte* pairs, nuint num_pairs);
+
+    [DllImport("__Internal")]
+    public static extern byte bls12_381_pairing_check_c(byte* pairs, nuint num_pairs);
+
+    [DllImport("__Internal")]
+    public static extern byte bn254_g1_add_c(byte* p1, byte* p2, byte* ret);
+
+    [DllImport("__Internal")]
+    public static extern byte bn254_g1_mul_c(byte* point, byte* scalar, byte* ret);
+
+    [DllImport("__Internal")]
+    public static extern byte bn254_pairing_check_c(byte* pairs, nuint num_pairs);
+
+    [DllImport("__Internal")]
+    public static extern nuint modexp_bytes_c(
+        byte* base_ptr,
+        nuint base_len,
+        byte* exp_ptr,
+        nuint exp_len,
+        byte* modulus_ptr,
+        nuint modulus_len,
+        byte* result_ptr
+    );
+}