logos-co
/
roadmap
mirror of https://github.com/logos-co/roadmap.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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.
This commit is contained in:
r4bbit 2024-06-24 11:49:06 +02:00
parent a3905aa8fd
commit 38e90509b2
4 changed files with 129 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
content/vac/sc/g/codex/contracts-formal-verification.md Normal file
View File

@ -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

42
content/vac/sc/g/finance/access-control-safe-support.md Normal file
View File

@ -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

38
content/vac/sc/g/status/ens-usernames-maintenance.md Normal file
View File

@ -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

4
content/vac/sc/index.md
View File

@ -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 ]]