From a7838a197e7f2ba818077a975cbb5d72309c666d Mon Sep 17 00:00:00 2001
From: Pablo Deymonnaz <pdeymon@fi.uba.ar>
Date: Mon, 16 Mar 2026 14:14:58 -0300
Subject: [PATCH] Upgrade leanSpec to ad9a322 (devnet4: separate attestation
 and proposal keys)

  This commit introduces the dual-key model where validators have distinct
  attestation and proposal XMSS keys. Test fixture generation is blocked
  until leansig-test-keys publishes keys in the new format.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index cbb0e50..dc49e18 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@ docker-build: ## 🐳 Build the Docker image
 		-t ghcr.io/lambdaclass/ethlambda:$(DOCKER_TAG) .
 	@echo
 
-LEAN_SPEC_COMMIT_HASH:=d39d10195414921e979e2fdd43723d89cee13c8b
+LEAN_SPEC_COMMIT_HASH:=ad9a3226f55e1ba143e0991010ff1f6c2de62941
 
 leanSpec:
 	git clone https://github.com/leanEthereum/leanSpec.git --single-branch