Use ECDSARECOVER

NethermindEth · Aug 5, 2024 · 55eec47 · 55eec47
1 parent c940db2
commit 55eec47
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/EvmYul/EVM/Semantics.lean b/EvmYul/EVM/Semantics.lean
@@ -16,6 +16,7 @@ import EvmYul.EVM.Exception
 import EvmYul.EVM.Instr
 import EvmYul.Semantics
 import EvmYul.Wheels
+import EvmYul.EllipticCurves
 
 namespace EvmYul
 
@@ -584,9 +585,6 @@ end
 
 open Batteries (RBMap RBSet)
 
-def ECDSARECOVER (e v r s : ByteArray) : Except String ByteArray :=
-  sorry
-
 def checkTransactionGetSender (σ : YPState) (chainId H_f : ℕ) (T : Transaction)
   : Except EVM.Exception Address
 := do