mirror of
https://github.com/vacp2p/roadmap.git
synced 2026-01-10 08:08:06 -05:00
chore: update sc commitments (#159)
This commit is contained in:
r4bbit
36
content/sc/ift/2025q2-fv-tools-research.md
Normal file
36
content/sc/ift/2025q2-fv-tools-research.md
Normal file
@@ -0,0 +1,36 @@
|
||||
---
|
||||
title: Formal Verification Tools Research
|
||||
tags:
|
||||
- "2025q2"
|
||||
- "sc"
|
||||
- "ift"
|
||||
draft: false
|
||||
description: Look into alternative formal verification tools and their integration with the existing smart contracts.
|
||||
---
|
||||
|
||||
`vac:sc:ift:2025q2-fv-tools-research`
|
||||
|
||||
Look into alternative formal verification tools and their integration with the existing smart contracts.
|
||||
|
||||
## Description
|
||||
|
||||
Look into alternative formal verification tools and their integration with the existing smart contracts.
|
||||
|
||||
## Task List
|
||||
|
||||
### Research alternative tools
|
||||
|
||||
* fully qualified name: `2025q2-fv-tools-research:research-alternatives`
|
||||
* owner: r4bbit
|
||||
* status: not started
|
||||
* start-date: 2025/04/01
|
||||
* end-date: 2025/06/31
|
||||
|
||||
#### Description
|
||||
|
||||
The goal of this task is to explore alternative formal verification tools to Certora and their integration with the existing smart contracts.
|
||||
|
||||
#### Deliverables
|
||||
|
||||
- [ ] Document that shows the results of the research and the pros and cons of each tool
|
||||
|
||||
@@ -11,53 +11,55 @@ tags:
|
||||
### `ift:`
|
||||
- [ ] [[sc/ift/2025q2-sc-learnup-sessions]]
|
||||
- [ ] [[sc/ift/2025q2-security-audits]]
|
||||
- [ ] [[sc/ift/2025q2-fv-tools-research]]
|
||||
|
||||
### `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]]
|
||||
|
||||
### `codex:`
|
||||
|
||||
- [ ] [[sc/codex/2025q2-vault-integration]]
|
||||
|
||||
### `ghost:`
|
||||
- [ ] [[sc/based/2025q2-ghost-protocol-review]]
|
||||
- [x] [[sc/based/2025q2-ghost-protocol-review]]
|
||||
|
||||
|
||||
## 2025q1 `vac:sc:`
|
||||
---
|
||||
|
||||
### `ift:`
|
||||
- [ ] [[sc/ift/2025q1-sc-learnup-sessions]]
|
||||
- [ ] [[sc/ift/2025q1-security-audits]]
|
||||
- [x] [[sc/ift/2025q1-sc-learnup-sessions]]
|
||||
- [x] [[sc/ift/2025q1-security-audits]]
|
||||
|
||||
### `status:`
|
||||
- [ ] [[sc/status/2025q1-staking-protocol-docs]]
|
||||
- [ ] [[sc/status/2025q1-staking-protocol-refinement]]
|
||||
- [ ] [[sc/status/2025q1-base-chain-integration]]
|
||||
- [ ] [[sc/status/2025q1-status-testnet-communities-contracts]]
|
||||
- [x] [[sc/status/2025q1-staking-protocol-docs]]
|
||||
- [x] [[sc/status/2025q1-staking-protocol-refinement]]
|
||||
- [x] [[sc/status/2025q1-base-chain-integration]]
|
||||
- [x] [[sc/status/2025q1-status-testnet-communities-contracts]]
|
||||
|
||||
### `codex:`
|
||||
|
||||
- [ ] [[sc/codex/2025q1-formal-verification]]
|
||||
|
||||
### `acz:`
|
||||
- [ ] [[sc/acz/2025q1-de-mls-consulting]]
|
||||
- [x] [[sc/acz/2025q1-de-mls-consulting]]
|
||||
|
||||
|
||||
## 2024q4 `vac:sc:`
|
||||
---
|
||||
|
||||
### `ift`:`
|
||||
- [ ] [[sc/ift/2024q4-eip-discussions]]
|
||||
- [x] [[sc/ift/2024q4-eip-discussions]]
|
||||
|
||||
|
||||
### `status:`
|
||||
- [ ] [[sc/status/2024q4-staking-protocol-v1]]
|
||||
- [ ] [[sc/status/2024q4-xp-token-v1]]
|
||||
- [ ] [[sc/status/2024q4-xp-nft-v1]]
|
||||
- [x] [[sc/status/2024q4-staking-protocol-v1]]
|
||||
- [x] [[sc/status/2024q4-xp-token-v1]]
|
||||
- [x] [[sc/status/2024q4-xp-nft-v1]]
|
||||
|
||||
### `codex:`
|
||||
|
||||
|
||||
90
content/sc/status/2025q2-karma-rln.md
Normal file
90
content/sc/status/2025q2-karma-rln.md
Normal file
@@ -0,0 +1,90 @@
|
||||
---
|
||||
title: Karma RLN
|
||||
tags:
|
||||
- "2025q2"
|
||||
- "sc"
|
||||
- "status"
|
||||
draft: false
|
||||
description: Implement RLN membership management and integration with the Karma protocol.
|
||||
---
|
||||
|
||||
`vac:sc:status:2025q2-karma-rln`
|
||||
|
||||
Implement RLN membership management and integration with the Karma protocol.
|
||||
|
||||
## Description
|
||||
|
||||
Status Network aims to implement [gasless transactions by leveraging the RLN protocol](https://www.notion.so/Gasless-Transactions-for-Status-Network-using-RLN-shared-1d98f96fb65c809bb986dbf31276d7ad) as a means to offer different tiers to users based on their Karma balance.
|
||||
The general idea is that users can send a certain amount of transactions within a certain time period without paying gas,
|
||||
if they own a certain amount of Karma tokens.
|
||||
The exact amount of transactions and the time periods are specified in tiers.
|
||||
To make this a reality,
|
||||
there has to be an RLN contract that allows a privileged actor to register users in the membership tree.
|
||||
In addition,
|
||||
there has to be a function to slash users.
|
||||
In order to retrieve the available tiers,
|
||||
another contract has to be deployed that provides the necessary data.
|
||||
will ensure that
|
||||
|
||||
## Task List
|
||||
|
||||
### Karma slashing function
|
||||
|
||||
* fully qualified name: `2025q2-karma-rln:slash-karma`
|
||||
* owner: r4bbit
|
||||
* status: not started
|
||||
* start-date: 2025/05/21
|
||||
* end-date: 2025/06/31
|
||||
|
||||
#### Description
|
||||
|
||||
Implement a function in the `Karma` contract allows privileged actors to slash a given account's Karma balance.
|
||||
A first version of this should add a percentage value to the contract that can be configured by the privileged actor.
|
||||
The `slash(account)` function should then slash the Karma balance of the given account by the percentage value.
|
||||
|
||||
#### Deliverables
|
||||
|
||||
- [ ] Commit that introduces slash functionality
|
||||
- [ ] Unit tests for the slashing function
|
||||
- [ ] Formal verification of the slashing function
|
||||
- [ ] Documentation for the contract
|
||||
|
||||
### Implement KarmaTier contract
|
||||
|
||||
* fully qualified name: `2025q2-karma-rln:karma-tiers`
|
||||
* owner: Ricardo
|
||||
* status: not started
|
||||
* start-date: 2025/05/21
|
||||
* end-date: 2025/06/31
|
||||
|
||||
#### Description
|
||||
|
||||
Implement a contract that provides the available tiers for the gasless transactions system.
|
||||
Tiers are currently defined in [this document](https://www.notion.so/Gasless-Transactions-for-Status-Network-using-RLN-shared-1d98f96fb65c809bb986dbf31276d7ad).
|
||||
The owner of the contract should be able to update the tiers.
|
||||
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
|
||||
|
||||
### Implement KarmaRLN contract
|
||||
|
||||
* fully qualified name: `2025q2-karma-rln:karma-tiers`
|
||||
* owner: Ricardo
|
||||
* status: not started
|
||||
* start-date: 2025/05/21
|
||||
* end-date: 2025/06/31
|
||||
|
||||
#### Description
|
||||
|
||||
Implement the RLN contract that allows for registering users and slashing their Karma.
|
||||
We can likely take a lot of ideas from what the [WakuRLNV2](https://github.com/waku-org/waku-rlnv2-contract/blob/main/src/WakuRlnV2.sol#L4) contract does.
|
||||
|
||||
#### Deliverables
|
||||
|
||||
- [ ] Commits that introduce `KarmaRLN` contract
|
||||
- [ ] Unit tests
|
||||
- [ ] Documentation for the contract
|
||||
Reference in New Issue
Block a user