Adding a summary

Certora · Jan 15, 2025 · 16a6c20 · 16a6c20
1 parent 3008eaa
commit 16a6c20
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/certora/specs/entryPointShared.spec b/certora/specs/entryPointShared.spec
@@ -21,6 +21,10 @@ methods {
         bytes32 userOpHash, 
         uint256 maxCost
     ) external => NONDET;
+    function _.validateSignatures(
+        EntryPoint.PackedUserOperation[] userOps,
+        bytes signature
+    ) external => NONDET;
 
     function balanceOf(address) external returns (uint256) envfree;
     function _compensate(address beneficiary, uint256 amount) internal  => NONDET;