chore: update sc commitments (#232)

This commit is contained in:
r4bbit
2025-08-11 10:48:46 +02:00
committed by GitHub
parent 0067371996
commit 28bae56a81
11 changed files with 61 additions and 40 deletions

View File

@@ -16,6 +16,8 @@ Help reviewing and formally verifying the Codex Vault Integration.
Codex aims to extract all funds related logic of the `MarketPlace` contract into a dedicated `Vault` contract. We will help review and formally verify the integration of the `Vault` contract into the Codex marketplace.
**The marketplace functionality of Codex has been de-prioritized.**
## Task List
### Review Vault contract
@@ -34,13 +36,13 @@ to integrate it with the Codex marketplace contracts.
#### Deliverables
- [ ] Reviews on these pull requests with feedback and suggestions
- [x] Reviews on these pull requests with feedback and suggestions
### Formally verify Vault integration
* fully qualified name: `2025q1-vault-integration:formal-verification`
* owner:
* status: not started
* owner: r4bbit
* status: done
* start-date: 2025/04/15
* end-date: 2025/06/30
@@ -51,4 +53,4 @@ This task includes creating a list of application properties and them implementi
#### Deliverables
- [ ] Spec files containing rules for the integration
- [x] [Spec files containing rules for the integration](https://github.com/codex-storage/codex-contracts-eth/pull/242)

View File

@@ -28,7 +28,7 @@ improving cross-project collaboration.
* fully qualified name: `2025q2-sc-learnup-sessions:2025q2`
* owner: r4bbit
* status: not started
* status: done
* start-date: 2025/04/01
* end-date: 2025/06/31
@@ -38,13 +38,13 @@ Organize learn up session on a monthly basis and ensure meetings are recorded an
#### Deliverables
- [ ] Recording of the sessions
- [x] Recording of the sessions
### SC LearnUp Session 2025/04
* fully qualified name: `2025q2-sc-learnup-sessions:2025-04`
* owner: r4bbit
* status: not started
* status: done
* start-date: 2025/04/01
* end-date: 2025/04/30
@@ -54,15 +54,15 @@ Run a learn up session about topic of choice related to smart contract developme
#### Deliverables
- [ ] Recording of the session
- [x] [SC LearnUp - Flashloans](https://drive.google.com/file/d/1PqX_9TlyegpRNGqzxRqS5_gTf-2L4tT7/view?usp=sharing)
### SC LearnUp Session 2025/05
* fully qualified name: `2025q2-sc-learnup-sessions:2025-05`
* owner: r4bbit
* status: not started
* status: done
* start-date: 2025/05/01
* end-date: 2025/04/31
* end-date: 2025/05/31
#### Description
@@ -70,13 +70,13 @@ Run a learn up session about topic of choice related to smart contract developme
#### Deliverables
- [ ] Recording of the session
- [x] [SC LearnUp - Provably Rootlets EIP7702 Proxies](https://drive.google.com/file/d/1alDUB4nSkMKWT9WSgKwyf7cseKbAca_L/view?usp=sharing)
### SC LearnUp Session 2025/06
* fully qualified name: `2025q2-sc-learnup-sessions:2025-06`
* owner: r4bbit
* status: not started
* status: cancelled
* start-date: 2025/06/01
* end-date: 2025/06/30
@@ -86,4 +86,4 @@ Run a learn up session about topic of choice related to smart contract developme
#### Deliverables
- [ ] Recording of the session
- No session this month

View File

@@ -22,9 +22,9 @@ Look into alternative formal verification tools and their integration with the e
* fully qualified name: `2025q3-fv-tools-research:research-alternatives`
* owner: r4bbit
* status: not started
* start-date: 2025/04/01
* end-date: 2025/06/31
* status: 20%
* start-date: 2025/07/01
* end-date: 2025/09/31
#### Description

View File

@@ -44,7 +44,7 @@ Organize learn up session on a monthly basis and ensure meetings are recorded an
* fully qualified name: `2025q3-sc-learnup-sessions:2025-07`
* owner: r4bbit
* status: not started
* status: done
* start-date: 2025/07/01
* end-date: 2025/07/31
@@ -54,7 +54,7 @@ Run a learn up session about topic of choice related to smart contract developme
#### Deliverables
- [ ] Recording of the session
- [x] [SC LearnUp - Constant Function Market Makers](https://drive.google.com/file/d/159MFMSabAgDiMpXteohZAWFT48qeqlZ2/view?usp=sharing)
### SC LearnUp Session 2025/08

View File

@@ -27,3 +27,5 @@ Urgent work related to IFT projects take precedence over this.
List of security audits and contests the team participated in.
- [Cantina - pike-tapio-monorepo](https://cantina.xyz/code/a0806644-7d91-457a-a08d-aee2db73f352/overview)
- [Sherlock - Malda](https://audits.sherlock.xyz/contests/1029?filter=questions)

View File

@@ -38,20 +38,20 @@ tags:
### `ift:`
- [ ] [[sc/ift/2025q2-sc-learnup-sessions]]
- [ ] [[sc/ift/2025q2-security-audits]]
- [x] [[sc/ift/2025q2-sc-learnup-sessions]]
- [x] [[sc/ift/2025q2-security-audits]]
### `status:`
- [ ] [[sc/status/2025q2-sn-native-bridge-yield-bearing-module]]
- [ ] [[sc/status/2025q2-sn-native-dex]]
- [ ] [[sc/status/2025q2-maintaining-status-contracts]]
- [ ] [[sc/status/2025q2-consulting]]
- [ ] [[sc/status/2025q2-karma-rln]]
- [x] [[sc/status/2025q2-maintaining-status-contracts]]
- [x] [[sc/status/2025q2-consulting]]
- [x] [[sc/status/2025q2-karma-rln]]
### `codex:`
- [ ] [[sc/codex/2025q2-vault-integration]]
- [x] [[sc/codex/2025q2-vault-integration]]
### `ghost:`
- [x] [[sc/based/2025q2-ghost-protocol-review]]

View File

@@ -12,6 +12,8 @@ description: Implement yield generation in the Status Network native bridge for
Implement yield generation in the Status Network native bridge for bridged DAI.
**Linea has decided to take over the work of building the yield-bearing bridge, due to an internal roadmap change.**
## Description
Once ETH yield management is implemented and working,

View File

@@ -12,6 +12,8 @@ description: Implement yield generation in the Status Network native bridge for
Implement yield generation in the Status Network native bridge for bridged ETH.
**Linea has decided to take over the work of building the yield-bearing bridge, due to an internal roadmap change.**
## Description
After laying the groundwork for yield generation in the Status Network native bridge,

View File

@@ -43,16 +43,16 @@ The `slash(account)` function should then slash the Karma balance of the given a
#### Deliverables
- [ ] Commit that introduces slash functionality
- [ ] Unit tests for the slashing function
- [ ] Formal verification of the slashing function
- [ ] Documentation for the contract
- [x] [Commit that introduces slash functionality](https://github.com/vacp2p/staking-reward-streamer/pull/215)
- [x] Unit tests for the slashing function
- [ ] ~~Formal verification of the slashing function~~
- [x] Documentation for the contract
### Implement KarmaTier contract
* fully qualified name: `2025q2-karma-rln:karma-tiers`
* owner: Ricardo
* status: not started
* owner: r4bbit
* status: done
* start-date: 2025/05/21
* end-date: 2025/06/31
@@ -65,15 +65,16 @@ It should also be possible to add new tiers.
#### Deliverables
- [ ] Commit that introduces `KarmaTiers` contract
- [ ] Unit tests for updating and adding tiers
- [ ] Documentation for the contract
- [x] [Commit that introduces `KarmaTiers` contract](https://github.com/vacp2p/staking-reward-streamer/pull/224)
- [x] [Refactor of the contract](https://github.com/vacp2p/staking-reward-streamer/pulls?q=is%3Apr+is%3Aclosed+tier)
- [x] Unit tests for updating and adding tiers
- [x] Documentation for the contract
### Implement KarmaRLN contract
* fully qualified name: `2025q2-karma-rln:implementation`
* owner: Ricardo
* status: 80%
* status: done
* start-date: 2025/05/21
* end-date: 2025/06/31
@@ -84,6 +85,6 @@ We can likely take a lot of ideas from what the [WakuRLNV2](https://github.com/w
#### Deliverables
- [ ] Commits that introduce `KarmaRLN` contract
- [ ] Unit tests
- [ ] Documentation for the contract
- [x] [Commits that introduce `KarmaRLN` contract](https://github.com/vacp2p/staking-reward-streamer/pull/223)
- [x] Unit tests
- [x] Documentation for the contract

View File

@@ -21,6 +21,8 @@ The yield is then regularly harvested and distributed on the L2.
This commitment is about laying the groundwork for this feature,
by designing and implementing the necessary interfaces and base contracts.
**Linea has decided to take over the work of building the yield-bearing bridge, due to an internal roadmap change.**
## Task List
@@ -40,7 +42,8 @@ The goal is to have a clear plan on how to implement the fundamental architectur
#### Deliverables
- [ ] Design document explaining how the yield-bearing module will be integrated into the bridge protocol
- [x] [Design document explaining how the yield-bearing module will be integrated into the bridge protocol](https://www.notion.so/Native-yield-bearing-bridge-on-Linea-shared-1d98f96fb65c80edbfbde3d83746c187)
- [x] [StatusL2 Yield Management](https://www.notion.so/Yield-management-on-Status-Network-shared-2168f96fb65c80fc9596dedeef903a74)
### Fundamental Architecture Implementation
@@ -56,14 +59,19 @@ After we've created a proper plan on how to implement the basic architecture and
the next step is to actually implement it.
Testing and verification of its functionality is also part of this task and will happen as the fundamentals are implemented.
**After this task was done, Linea has decided to take over the work of building the yield-bearking bridge, due to an internal roadmap change.**
#### Deliverables
- [ ] Implementation of agreed architecture and interfaces for eth bridging
- [x] [PR #21](https://github.com/vacp2p/linea-monorepo/pull/21)
- [x] [PR #22](https://github.com/vacp2p/linea-monorepo/pull/22)
- [x] [PR #23](https://github.com/vacp2p/linea-monorepo/pull/23)
- [x] [PR #25](https://github.com/vacp2p/linea-monorepo/pull/25)
### Status Networtk Devnet Deployment
* fully qualified name: `2025q2-sn-native-bridge-yield-bearing-module:devnet-deployment`
* owner: andrea
* status: done
* status: cancelled
* start-date: 2025/06/01
* end-date: 2025/06/31
@@ -72,6 +80,8 @@ Testing and verification of its functionality is also part of this task and will
Once the fundamental architecture is implemented, we will deploy it on the Status Network devnet for further testing.
We should spend a significant amount of time testing the module with other team members to ensure that it works as expected.
**Linea has decided to take over the work of building the yield-bearking bridge, due to an internal roadmap change.**
#### Deliverables
- [ ] Deployment of base architecture on Status Network devnet

View File

@@ -23,6 +23,8 @@ The changes to the fork are minor,
as the only requested changes are,
that the transaction fee is adjusted and the generated profit is sent to a splitter contract.
**StatusL2 has decided to outsource this work.**
## Task List
### Implementation