Merge branch 'master' of github.com-facuspagnuolo:mimic-fi/v3-core in…

…to tasks/implement_new_timelock_modes

.github/actions/certora/action.yml

@@ -25,7 +25,7 @@ runs:
       with: { java-version: '11', java-package: jre }
     - name: Install certora cli
       shell: bash
-      run: pip install certora-cli-beta
+      run: pip install certora-cli
     - name: Install solc
       shell: bash
       run: |

.github/workflows/prover-authorizer.yml

@@ -1,4 +1,4 @@
-name: Prover
+name: Prover Authorizer
 
 env:
   CI: true

.github/workflows/prover-relayer.yml

@@ -0,0 +1,23 @@
+name: Prover Relayer
+
+env:
+  CI: true
+
+on:
+  pull_request:
+    branches: "*"
+    paths:
+      - packages/relayer/**
+
+jobs:
+  prove:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+      - name: Prove
+        uses: ./.github/actions/certora
+        with:
+          workspace: '@mimic-fi/v3-relayer'
+          certora-key: ${{ secrets.CERTORA_KEY }}
+          github-token: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/prover-smart-vault.yml

@@ -0,0 +1,23 @@
+name: Prover Smart Vault
+
+env:
+  CI: true
+
+on:
+  pull_request:
+    branches: "*"
+    paths:
+      - packages/smart-vault/**
+
+jobs:
+  prove:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+      - name: Prove
+        uses: ./.github/actions/certora
+        with:
+          workspace: '@mimic-fi/v3-smart-vault'
+          certora-key: ${{ secrets.CERTORA_KEY }}
+          github-token: ${{ secrets.GITHUB_TOKEN }}

packages/authorizer/certora/conf/authorizer.conf

@@ -1,6 +1,7 @@
 {
   "files": [
-    "contracts/Authorizer.sol"
+    "contracts/Authorizer.sol",
+    "certora/helpers/Helpers.sol"
   ],
   "verify": "Authorizer:certora/specs/Authorizer.spec",
   "loop_iter": "3",

packages/authorizer/certora/helpers/Helpers.sol

@@ -0,0 +1,12 @@
+// SPDX-License-Identifier: GPL-3.0-or-later
+
+pragma solidity ^0.8.0;
+
+contract Helpers {
+    function authParams(address p1, address p2, bytes4 p3) external pure returns (uint256[] memory r) {
+        r = new uint256[](3);
+        r[0] = uint256(uint160(p1));
+        r[1] = uint256(uint160(p2));
+        r[2] = uint256(uint32(p3));
+    }
+}