From 7944e6ccf9dd85473aa48128b72f2859cea091a9 Mon Sep 17 00:00:00 2001 From: Shebin John Date: Fri, 20 Sep 2024 11:20:06 +0200 Subject: [PATCH] Path update for conf and workflow --- .github/workflows/certora_passkey.yml | 2 +- .../passkey/certora/confs/GetConfigurationConf.conf | 6 +++--- modules/passkey/certora/confs/GetSigner.conf | 6 +++--- modules/passkey/certora/confs/ProxySimulator.conf | 10 +++++----- .../certora/confs/SafeWebAuthnSignerFactory.conf | 8 ++++---- .../passkey/certora/confs/SafeWebAuthnSignerProxy.conf | 6 +++--- .../certora/confs/SafeWebAuthnSignerSingleton.conf | 8 ++++---- .../certora/confs/SignerCreationCantOverride.conf | 10 +++++----- .../SingletonIsValidSignatureRevertingConditions.conf | 8 ++++---- .../confs/ValidSignatureForSignerIntegrity.conf | 8 ++++---- .../confs/VerifyEQtoIsValidSignatureForSigner.conf | 10 +++++----- modules/passkey/certora/confs/WebAuthn.conf | 2 +- 12 files changed, 42 insertions(+), 42 deletions(-) diff --git a/.github/workflows/certora_passkey.yml b/.github/workflows/certora_passkey.yml index 23f3abd2..486d42fb 100644 --- a/.github/workflows/certora_passkey.yml +++ b/.github/workflows/certora_passkey.yml @@ -58,7 +58,7 @@ jobs: run: pnpm install - name: Verify rule ${{ matrix.rule }} - working-directory: ./modules/4337 + working-directory: ./modules/passkey run: | echo "Certora key length" ${#CERTORAKEY} certoraRun certora/conf/${{ matrix.rule }}.conf --wait_for_results=all diff --git a/modules/passkey/certora/confs/GetConfigurationConf.conf b/modules/passkey/certora/confs/GetConfigurationConf.conf index 20aebd2f..12bdb572 100644 --- a/modules/passkey/certora/confs/GetConfigurationConf.conf +++ b/modules/passkey/certora/confs/GetConfigurationConf.conf @@ -1,9 +1,9 @@ { "assert_autofinder_success": true, "files": [ - "certora/munged/SafeWebAuthnSignerSingleton.sol", - "certora/harnesses/GetConfigurationProxyHarness.sol", - "modules/passkey/contracts/SafeWebAuthnSignerFactory.sol" + "../munged/SafeWebAuthnSignerSingleton.sol", + "../harnesses/GetConfigurationProxyHarness.sol", + "../../contracts/SafeWebAuthnSignerFactory.sol" ], "link": [ "GetConfigurationProxyHarness:_SINGLETON=SafeWebAuthnSignerSingleton" diff --git a/modules/passkey/certora/confs/GetSigner.conf b/modules/passkey/certora/confs/GetSigner.conf index b5e6ef93..982d9bf2 100644 --- a/modules/passkey/certora/confs/GetSigner.conf +++ b/modules/passkey/certora/confs/GetSigner.conf @@ -1,9 +1,9 @@ { "assert_autofinder_success": true, "files": [ - "certora/harnesses/GetSignerHarness.sol", - "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol", - "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol" + "../harnesses/GetSignerHarness.sol", + "../../contracts/SafeWebAuthnSignerSingleton.sol", + "../../contracts/SafeWebAuthnSignerProxy.sol" ], "hashing_length_bound": "4694", "link": [ diff --git a/modules/passkey/certora/confs/ProxySimulator.conf b/modules/passkey/certora/confs/ProxySimulator.conf index c70bb3af..7bbf9bd4 100644 --- a/modules/passkey/certora/confs/ProxySimulator.conf +++ b/modules/passkey/certora/confs/ProxySimulator.conf @@ -1,11 +1,11 @@ { "assert_autofinder_success": true, "files": [ - "certora/harnesses/ProxySimulator.sol", - "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol", - "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol", - "modules/passkey/contracts/libraries/P256.sol", - "certora/harnesses/WebAuthnHarnessWithMunge.sol" + "../harnesses/ProxySimulator.sol", + "../../contracts/SafeWebAuthnSignerProxy.sol", + "../../contracts/SafeWebAuthnSignerSingleton.sol", + "../../contracts/libraries/P256.sol", + "../harnesses/WebAuthnHarnessWithMunge.sol" ], "hashing_length_bound": "2048", "link": [ diff --git a/modules/passkey/certora/confs/SafeWebAuthnSignerFactory.conf b/modules/passkey/certora/confs/SafeWebAuthnSignerFactory.conf index 33490caf..c1655aae 100644 --- a/modules/passkey/certora/confs/SafeWebAuthnSignerFactory.conf +++ b/modules/passkey/certora/confs/SafeWebAuthnSignerFactory.conf @@ -1,10 +1,10 @@ { "assert_autofinder_success": true, "files": [ - "certora/harnesses/FactoryHarnessForSignerConsistency.sol", - "certora/harnesses/WebAuthnHarnessWithMunge.sol", - "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol", - "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol" + "../harnesses/FactoryHarnessForSignerConsistency.sol", + "../harnesses/WebAuthnHarnessWithMunge.sol", + "../../contracts/SafeWebAuthnSignerSingleton.sol", + "../../contracts/SafeWebAuthnSignerProxy.sol" ], "link": [ "FactoryHarnessForSignerConsistency:SINGLETON=SafeWebAuthnSignerSingleton" diff --git a/modules/passkey/certora/confs/SafeWebAuthnSignerProxy.conf b/modules/passkey/certora/confs/SafeWebAuthnSignerProxy.conf index 2affd152..e5594965 100644 --- a/modules/passkey/certora/confs/SafeWebAuthnSignerProxy.conf +++ b/modules/passkey/certora/confs/SafeWebAuthnSignerProxy.conf @@ -1,9 +1,9 @@ { "assert_autofinder_success": true, "files": [ - "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol", - "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol", - "modules/passkey/contracts/libraries/P256.sol" + "../../contracts/SafeWebAuthnSignerProxy.sol", + "../../contracts/SafeWebAuthnSignerSingleton.sol", + "../../contracts/libraries/P256.sol" ], "link": [ "SafeWebAuthnSignerProxy:_VERIFIERS=P256", diff --git a/modules/passkey/certora/confs/SafeWebAuthnSignerSingleton.conf b/modules/passkey/certora/confs/SafeWebAuthnSignerSingleton.conf index 892ba415..c2c6bb2e 100644 --- a/modules/passkey/certora/confs/SafeWebAuthnSignerSingleton.conf +++ b/modules/passkey/certora/confs/SafeWebAuthnSignerSingleton.conf @@ -1,10 +1,10 @@ { "assert_autofinder_success": true, "files": [ - "modules/passkey/contracts/SafeWebAuthnSignerFactory.sol", - "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol", - "modules/passkey/contracts/libraries/P256.sol", - "certora/harnesses/WebAuthnHarnessWithMunge.sol" + "../../contracts/SafeWebAuthnSignerFactory.sol", + "../../contracts/SafeWebAuthnSignerSingleton.sol", + "../../contracts/libraries/P256.sol", + "../harnesses/WebAuthnHarnessWithMunge.sol" ], "link": [ "SafeWebAuthnSignerFactory:SINGLETON=SafeWebAuthnSignerSingleton" diff --git a/modules/passkey/certora/confs/SignerCreationCantOverride.conf b/modules/passkey/certora/confs/SignerCreationCantOverride.conf index 5ca4866b..1304c19a 100644 --- a/modules/passkey/certora/confs/SignerCreationCantOverride.conf +++ b/modules/passkey/certora/confs/SignerCreationCantOverride.conf @@ -4,11 +4,11 @@ "createAndVerifyEQtoIsValidSignatureForSigner" ], "files": [ - "certora/harnesses/SafeWebAuthnSignerFactoryHarness.sol", - "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol", - "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol", - "modules/passkey/contracts/libraries/P256.sol", - "certora/harnesses/WebAuthnHarnessWithMunge.sol" + "../harnesses/SafeWebAuthnSignerFactoryHarness.sol", + "../../contracts/SafeWebAuthnSignerSingleton.sol", + "../../contracts/SafeWebAuthnSignerProxy.sol", + "../../contracts/libraries/P256.sol", + "../harnesses/WebAuthnHarnessWithMunge.sol" ], "hashing_length_bound": "912", "link": [ diff --git a/modules/passkey/certora/confs/SingletonIsValidSignatureRevertingConditions.conf b/modules/passkey/certora/confs/SingletonIsValidSignatureRevertingConditions.conf index 967f03bf..98f6880b 100644 --- a/modules/passkey/certora/confs/SingletonIsValidSignatureRevertingConditions.conf +++ b/modules/passkey/certora/confs/SingletonIsValidSignatureRevertingConditions.conf @@ -1,10 +1,10 @@ { "assert_autofinder_success": true, "files": [ - "modules/passkey/contracts/SafeWebAuthnSignerFactory.sol", - "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol", - "modules/passkey/contracts/libraries/P256.sol", - "certora/harnesses/WebAuthnHarnessWithMunge.sol" + "../../contracts/SafeWebAuthnSignerFactory.sol", + "../../contracts/SafeWebAuthnSignerSingleton.sol", + "../../contracts/libraries/P256.sol", + "../harnesses/WebAuthnHarnessWithMunge.sol" ], "loop_iter": "6", "optimistic_hashing": true, diff --git a/modules/passkey/certora/confs/ValidSignatureForSignerIntegrity.conf b/modules/passkey/certora/confs/ValidSignatureForSignerIntegrity.conf index a1be3ce2..1b45ae3b 100644 --- a/modules/passkey/certora/confs/ValidSignatureForSignerIntegrity.conf +++ b/modules/passkey/certora/confs/ValidSignatureForSignerIntegrity.conf @@ -1,10 +1,10 @@ { "assert_autofinder_success": true, "files": [ - "certora/harnesses/SafeWebAuthnSignerFactoryHarness.sol", - "certora/harnesses/WebAuthnHarnessWithMunge.sol", - "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol", - "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol" + "../harnesses/SafeWebAuthnSignerFactoryHarness.sol", + "../harnesses/WebAuthnHarnessWithMunge.sol", + "../../contracts/SafeWebAuthnSignerSingleton.sol", + "../../contracts/SafeWebAuthnSignerProxy.sol" ], "link": [ "SafeWebAuthnSignerFactoryHarness:SINGLETON=SafeWebAuthnSignerSingleton" diff --git a/modules/passkey/certora/confs/VerifyEQtoIsValidSignatureForSigner.conf b/modules/passkey/certora/confs/VerifyEQtoIsValidSignatureForSigner.conf index d0700ebb..da043f02 100644 --- a/modules/passkey/certora/confs/VerifyEQtoIsValidSignatureForSigner.conf +++ b/modules/passkey/certora/confs/VerifyEQtoIsValidSignatureForSigner.conf @@ -2,11 +2,11 @@ "assert_autofinder_success": true, "dynamic_bound": "1", "files": [ - "certora/harnesses/SafeWebAuthnSignerFactoryHarness.sol", - "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol", - "certora/munged/SafeWebAuthnSignerProxy.sol", - "certora/munged/WebAuthn.sol", - "certora/harnesses/WebAuthnHarnessWithMunge.sol" + "../harnesses/SafeWebAuthnSignerFactoryHarness.sol", + "../../contracts/SafeWebAuthnSignerSingleton.sol", + "../munged/SafeWebAuthnSignerProxy.sol", + "../munged/WebAuthn.sol", + "../harnesses/WebAuthnHarnessWithMunge.sol" ], "hashing_length_bound": "906", "link": [ diff --git a/modules/passkey/certora/confs/WebAuthn.conf b/modules/passkey/certora/confs/WebAuthn.conf index 1000b685..da0df523 100644 --- a/modules/passkey/certora/confs/WebAuthn.conf +++ b/modules/passkey/certora/confs/WebAuthn.conf @@ -1,7 +1,7 @@ { "assert_autofinder_success": true, "files": [ - "certora/harnesses/WebAuthnHarnessWithMunge.sol" + "../harnesses/WebAuthnHarnessWithMunge.sol" ], "loop_iter": "6", "optimistic_hashing": true,