mirror of https://github.com/logos-co/roadmap.git
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
parent
446a0e55b0
commit
f4e6ed6985
|
|
@ -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
|
||||
|
|
@ -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
|
||||
|
||||
|
||||
|
||||
|
|
@ -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
|
||||
|
||||
|
||||
|
|
@ -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 ]]
|
||||
|
|
|
|||
Loading…
Reference in New Issue