From f4e6ed6985c6bf62c53a7a365fc9223d95d74fa1 Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Mon, 24 Jun 2024 11:49:06 +0200
Subject: [PATCH] add smart contracts unit milestones

This adds a few maintenance milestones as well as a new milestone for
collaborating with Codex on formally verifyign their smart contracts.
---
 .../g/codex/contracts-formal-verification.md  | 45 +++++++++++++++++++
 .../g/finance/access-control-safe-support.md  | 42 +++++++++++++++++
 .../sc/g/status/ens-usernames-maintenance.md  | 38 ++++++++++++++++
 content/vac/sc/index.md                       |  4 ++
 4 files changed, 129 insertions(+)
 create mode 100644 content/vac/sc/g/codex/contracts-formal-verification.md
 create mode 100644 content/vac/sc/g/finance/access-control-safe-support.md
 create mode 100644 content/vac/sc/g/status/ens-usernames-maintenance.md

diff --git a/content/vac/sc/g/codex/contracts-formal-verification.md b/content/vac/sc/g/codex/contracts-formal-verification.md
new file mode 100644
index 000000000..8478698ec
--- /dev/null
+++ b/content/vac/sc/g/codex/contracts-formal-verification.md
@@ -0,0 +1,45 @@
+---
+title: "Contracts Formal Verification"
+---
+## `vac:sc::codex:contracts-formal-verification`
+---
+
+```mermaid
+%%{ 
+  init: { 
+    'theme': 'base', 
+    'themeVariables': { 
+      'primaryColor': '#BB2528', 
+      'primaryTextColor': '#fff', 
+      'primaryBorderColor': '#7C0000', 
+      'lineColor': '#F8B229', 
+      'secondaryColor': '#006100', 
+      'tertiaryColor': '#fff' 
+    } 
+  } 
+}%%
+gantt
+  tickInterval 1month
+  dateFormat YYYY-MM-DD 
+  section Status
+    Contracts Formal Verification: 2024-07-01, 2024-10-01
+```
+
+- status: 0%
+- CC: r4bbit, gravityblast
+
+### Description
+
+This milestone entails the formal verification of the Codex marketplace smart contracts.
+This should be done together with the Codex team as well as with Certora.
+Ideally, this will be done by regularly meeting with Certora and reviewing the rules that have been implemented by the Smart Contracts team.
+
+### Justification
+
+Codex is planning to launch a first version of their network by the end of 2024.
+To ensure their marketplace system is secure they need to have their code audited and formally verified.
+
+### Deliverables
+
+- Application Properties for the marketplace smart contracts
+- Implementation of properties in CVL rules
diff --git a/content/vac/sc/g/finance/access-control-safe-support.md b/content/vac/sc/g/finance/access-control-safe-support.md
new file mode 100644
index 000000000..c6419fa60
--- /dev/null
+++ b/content/vac/sc/g/finance/access-control-safe-support.md
@@ -0,0 +1,42 @@
+---
+title: "Access Control Safe Support"
+---
+## `vac:sc::finance:access-control-safe-support`
+---
+
+```mermaid
+%%{ 
+  init: { 
+    'theme': 'base', 
+    'themeVariables': { 
+      'primaryColor': '#BB2528', 
+      'primaryTextColor': '#fff', 
+      'primaryBorderColor': '#7C0000', 
+      'lineColor': '#F8B229', 
+      'secondaryColor': '#006100', 
+      'tertiaryColor': '#fff' 
+    } 
+  } 
+}%%
+gantt
+  tickInterval 1month
+  dateFormat YYYY-MM-DD 
+  section Status
+    Contracts Formal Verification: 2024-06-01, 2024-12-31
+```
+
+- status: 0%
+- CC: r4bbit
+
+### Description
+
+The finance team deploys various Safe multisig wallets for different finance strategies to generate yield.
+These Safes follow a strict access control architecture by leveraging the Zodiac roles modifier module by Gnosis Guild.
+
+The Smart Contracts team helps deploying these contracts as well as auditing any changes done to the deployment scripts.
+
+### Justification
+### Deliverables
+
+
+
diff --git a/content/vac/sc/g/status/ens-usernames-maintenance.md b/content/vac/sc/g/status/ens-usernames-maintenance.md
new file mode 100644
index 000000000..f81ab4a7d
--- /dev/null
+++ b/content/vac/sc/g/status/ens-usernames-maintenance.md
@@ -0,0 +1,38 @@
+---
+title: "ENS Usernames contracts maintenance"
+---
+## `vac:sc::status:ens-usernames-maintenance`
+---
+
+```mermaid
+%%{ 
+  init: { 
+    'theme': 'base', 
+    'themeVariables': { 
+      'primaryColor': '#BB2528', 
+      'primaryTextColor': '#fff', 
+      'primaryBorderColor': '#7C0000', 
+      'lineColor': '#F8B229', 
+      'secondaryColor': '#006100', 
+      'tertiaryColor': '#fff' 
+    } 
+  } 
+}%%
+gantt
+  tickInterval 1month
+  dateFormat YYYY-MM-DD 
+  section Status
+    Contracts Formal Verification: 2024-06-01, 2024-12-31
+```
+
+- status: 0%
+- CC: Ricardo, r4bbit
+
+### Description
+
+Maintaining and deploying the [ens-usernames smart contracts](https://github.com/status-im/ens-usernames), as well as ensuring their code is up to date.
+
+### Justification
+### Deliverables
+
+
diff --git a/content/vac/sc/index.md b/content/vac/sc/index.md
index 46c0738ed..56389f1c0 100644
--- a/content/vac/sc/index.md
+++ b/content/vac/sc/index.md
@@ -27,11 +27,15 @@ lastmod: 2023-09-21
 * [[ vac/sc/g/status/staking-contract-v1 | staking-contract-v1 ]]
 * [[ vac/sc/g/status/staking-contract-maintenance | staking-contract-maintenance ]]
 * [[ vac/sc/g/status/swap-aggregator | swap-aggregator ]]
+* [[ vac/sc/g/status/ens-usernames-maintenance | ens-usernames-maintenance ]]
 
 ### `codex:`
 * [x] [[ vac/sc/g/codex/review-codex-contracts | review-codex-contracts ]]
+* [[ vac/sc/g/codex/contracts-formal-verification | contracts-formal-verification ]]
 
 ### `vac:`
 * [x] [[ vac/sc/g/vac/secureum-upskilling | secureum-upskilling ]]
 * [[ vac/sc/g/vac/rln-contract-support | rln-contract-support ]]
 
+### `finance:`
+* [[ vac/sc/g/finance/access-control-safe-support | access-control-safe-support ]]