Compare commits

...

2 Commits

Author SHA1 Message Date
ksr a7f1294fdf
vac: weekly update 2024-06-24 18:36:23 +02:00
r4bbit 38e90509b2 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.
2024-06-24 16:20:01 +02:00
6 changed files with 310 additions and 0 deletions

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

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

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

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

View File

@ -102,6 +102,22 @@ draft: false
- added codex proxy re-encryption to roadmap [pr](https://github.com/logos-co/roadmap/pull/66) and merged
### vac:sc::
- `vac:maintenance/misc`
- Setting up first certora rules in Codex repo
- ENS usernames migrate remaining tests to forge
- ENS usernames forge
- https://github.com/status-im/ens-usernames/issues/129
- https://github.com/status-im/ens-usernames/tree/foundry-template-test
- Researched EIP4626 tokenized vaults and security vulnerabilities
- Presented research to team
- Meeting with Finance and Security to discuss plans with Zodiac modules
- Finance will set up deploy script to create a SAFE with multisig and zodiac roles modifier + scope guard
- SC team and Security team will review deploy scripts
- SC team will deploy contracts on behalf of finance
- Rebased Ricardos work on ENS username repo refactor
- Branch: https://github.com/status-im/ens-usernames/commits/foundry-template/
- Also had session with him about ironing out some processes
### vac:nim:
- `tooling:vac:compiler`

View File

@ -0,0 +1,165 @@
---
title: "2024-06-24 Vac weekly"
tags:
- "vac-updates"
date: 2024-06-24
lastmod: 2024-06-24
draft: false
---
## Vac 2024/06/24
### vac:p2p:
- `nimlibp2p:vac:maintenance`
- Merged new PeerEvent https://github.com/vacp2p/nim-libp2p/pull/843/
- Merged Yamux: change a Future into a AsyncEvent because it makes more sense https://github.com/vacp2p/nim-libp2p/pull/1133/
- feat: add maxSize to TimedCache https://github.com/vacp2p/nim-libp2p/pull/1132
- chore: add .git-blame-ignore-revs https://github.com/vacp2p/nim-libp2p/pull/1130
- chore: delete branch folders from gh-pages https://github.com/vacp2p/nim-libp2p/pull/1127
- `nimlibp2p:vac:webrtc-transport`
- DTLS https://github.com/vacp2p/nim-webrtc/pull/10
- Adds testing
- Some refactorization (remove useless code/change names/comments/splitting files etc..
- `nimlibp2p:vac:gossipsub-perf-improvements`
- Improvements related to Gossipsub 1.2 https://github.com/vacp2p/nim-libp2p/issues/1131
### vac:tke:
- `admin`
- 2 CC days-off
- `nomos:cryptarchia-wealth-concentration-known-stake`
- performed statistical analysis of simulation results (Frederico)
- read paper about StakeSure (Frederico)
- Discussed statistical analysis of simulation results w/Frederico (Juan)
- `codex:cdx`
- finalized the Litepaper (Frederico)
- prepared a "Codex in one slide" doc (Frederico, Juan)
- worked on simulations (Juan)
- `codex:testnet-incentive`
- kicked off the testnet incentives report (Frederico)
- `status:L2-deployment`
- reviewed all docs (Frederico, Juan)
- Meeting with Swiss legal councel for status (Frederico, Juan)
- Worked on CowSwap comparison (Juan)
### vac:dst:
- `vac:dst:deployment-and-analysis:waku:10k`
- Various (1-10k) 0.27 deployments with full hardware, measurements
- "Right on the edge" with Prometheus
- Will be backing up Prometheus and replacing with VictoriaMetrics
- `vac:dst:deployment-and-analysis:waku:midscale`
- Repeat multiple simulations for Gabriel(Waku) until found the [issue](https://github.com/waku-org/nwaku/issues/2780)
- Simulations for version v0.29
- `vac:dst:tooling:vac:visualiser-tool`
- Call and chat with Zoltan. Helped him analyze some waku-simulator results with visualizer.
- Started cleaning/creating more utilities for Zoltan so he can use it on his own.
- Deployed VictoriaLogs to replace Loki and finally get logs from each container
- Prep work for switching to VictoriaMetrics for better telemetry
- `vac:dst:deployment-and-analysis:vac:libp2p-version-testing`
- Do simulations, gather data and perform analysis for nimlibp2p
- Analysis with 50KB and 500KB, 1.2 and 1.3 versions, with mplex and yamux
### vac:qa:
- `waku:test-automation-status-go-cli`(@Florin)
- private groups [tests](https://github.com/status-im/status-cli-tests/pull/4) - merged
- community actions [tests](https://github.com/status-im/status-cli-tests/pull/5) - in progress
- `waku:interop-testing-02`(@Roman)
- Test/peer connection management
[PR 45 - merged](https://github.com/waku-org/waku-interop-tests/pull/45) <- [issues processed](https://www.notion.so/Peer-connection-management-issues-58936713529c4062a638421d38a16d7a)
- bug: could not register RLN
[Issue 2837 - open](https://github.com/waku-org/nwaku/issues/2837) - new implementation TBD
- `nomos:test-automation-cryptarchia`(@Roman)
- chore: cryptarchia unit tests update
[PR 657 - in progress](https://github.com/logos-co/nomos-node/pull/657)
- chore: cryptarchia ledger unit tests update
[PR 660 - in progress](https://github.com/logos-co/nomos-node/pull/660) - one last state not simulated
- `vac:test-automation-nim-tooling`(@Roman)
- test: use Nimble to manage Nim
[PR 71](https://github.com/status-im/nimbus-build-system/pull/71) and [PR 222](https://github.com/status-im/nim-stew/pull/222)
- `waku:test-automation-rln`(@Alex)
- RLN v2 Testing
- Run tests both in old and new (`waku:v0.30.0-rc.0`) nwaku image
- Various fixes and two helper scripts - [PR](https://github.com/waku-org/waku-simulator/pull/72)
- Found Issues:
- [RLN_RELAY_MSG_LIMIT error handling](https://github.com/waku-org/nwaku/issues/2822)
- [Restarting node containers don't load keystore](https://github.com/waku-org/waku-simulator/issues/70)
- Excessive memory usage on nodes with big message sizes
### vac:acz:
- `secure-channels:waku:mls-poc`
- Create [PR](https://github.com/vacp2p/de-mls/pull/7) with de-MLS PoC
- Fixed most of comments after first review
- Started to work with applying redis pub-sub approach
- `secure-channels:waku:mls-design`
- Preparation of the [talk](https://docs.google.com/presentation/d/1XxHiah4vQd0uEXr0glSiqHaiTShDBsJiNhAZhL7kjbM/edit?pli=1#slide=id.g157ea0519b8_0_104) for EthCC Brussels.
- `consulting:codex:proxy-re-encryption`
- Research on alternative approaches to PRE.
- Creation of [report](https://www.notion.so/On-plausible-deniability-PRE-ABE-IBE-and-RABE-87c6fef92df946fcbc1327d51d936ce1) on research.
- `admin/misc`
- 1 CC was ooo 18th, 19th and 20th (public holiday)
- `rlnp2p:waku:rlnv2-e2e`
- rlnv2 fork fully merged into [nwaku](https://github.com/waku-org/nwaku/pull/2828)
- [chore(zerokit): bump submodule](https://github.com/waku-org/nwaku/pull/2830)
- [fix(rln-relay): clear nullifier log only if length is over max epoch gap](https://github.com/waku-org/nwaku/pull/2836)
- assist with waku-simulator testing
- `stealth-address-kit:vac:maintenance`
- [chore(StealthAddressOnCurve): reuse scalar field from Projective](https://github.com/vacp2p/stealth-address-kit/pull/20)
- [fix: gitattributes, github pages deployment](https://github.com/vacp2p/stealth-address-kit/pull/19)
- [chore: add benchmarks](https://github.com/vacp2p/stealth-address-kit/pull/18)
- [chore(release): v0.2.0](https://crates.io/crates/stealth_address_kit)
- various documentation added, [1](https://github.com/vacp2p/stealth-address-kit/pull/16), [2](https://github.com/vacp2p/stealth-address-kit/pull/15) and [3](https://github.com/vacp2p/stealth-address-kit/pull/14), visible on [docsrs](https://docs.rs/stealth_address_kit/0.2.0/stealth_address_kit/)
- `zerokit:vac:maintenance`
- [chore(rln): further refactoring of interface](https://github.com/vacp2p/zerokit/pull/261)
- [chore(release): v0.5.1](https://github.com/vacp2p/zerokit/pull/262) released to crates.io now that confirmed compatibility with nwaku
### vac:sc::
### vac:nim:
- `tooling:vac:editor`
- Implements a panel to inspect the lsp status so we can easily debug it https://github.com/nim-lang/vscode-nim/pull/68
- `tooling:vac:lsp`
- wip project setup. Improves status, better handling on unknown files #209 https://github.com/nim-lang/langserver/pull/209
- Reuses nimsuggests instances in kwnon files (https://github.com/nim-lang/langserver/pull/211)
- Implements entryPoint (https://github.com/nim-lang/langserver/pull/212)
- WIP Project Setup pending PR
### vac:rfc:
- `nomos:specs-init`
- Continued work on data availability rfc, still in draft. Currently believe all sections are included but all sections are not to elaborate. - https://github.com/vacp2p/rfc-index/pull/41
- `codex:specs-init`
- Moved marketplace spec to codex org repo, and made some changes based on feedback - https://github.com/codex-storage/codex-spec/pull/1
- reading for vaildator role rfc
### vac:dr:
- `vac:admin`
- Read Nomos' notes on [Proof of Equivalence](https://www.notion.so/Proof-of-Equivalance-601026c1662d4c6d8d532829d67495b0)
- Began writing [Fiat-Shamir blog](https://github.com/vacp2p/vac.dev/tree/dr-rlog-fiatshamir)
- `gsub-scaling:vac:unstructured-p2p-improvements-survey`
- Worked on [blog post](https://github.com/vacp2p/vac.dev/pull/145) for gossipsub improvements for large messages. Still a WiP, need to add summary and references. (ready for review)
- `zk:codex:zk-consulting`
- Met with Balazs to discuss IPA and binding.
- Began reading Blazas' [most recent proposal](https://hackmd.io/M6uwhb0eQh2bIh5_O6AX7Q)
- `vac:dr:anon:vac:gossipsub-anonymity`
- Continue documenting [Anonymized GossipSub Protocol (AGP)](https://www.notion.so/Anonymized-GossipSub-Transport-Protocol-AGTP-Wip-cbcbcd6067b347bb812041bce9c110ce) specification.
- Finished PoW section
- Investigate issues related to wrapping published messages into Sphinx Packet Format
### vac:nes:
- `virtual-machine-creation:vac:vm-foundations`
- work on [list of ZkVMs](https://github.com/vacp2p/zk-explorations/issues/40)
- Sanity check of the entire list of Zkvms.[Moudy]
- Updated and integrated additional information on [Github](https://github.com/vacp2p/zk-explorations/issues/40) and [Table](https://notes.status.im/ugF2lAAKTuG_t5PcdWwuwg) lists.[Moudy]
- Added a new table with score for Zkvm implementation.[Moudy]
- Prepared a document with a list of [primitives and privacy requirements](https://hackmd.io/@-CvgMMUrRhC2aJOVst_GAw/HyK0H9ZLC) needed to implement on top of existing Zkvms.[Moudy + Marvin] + [DR]
- Provided data on why zkLLVM, Lurk, Novanet, Ola, SnarkOS are not zkVMs. [Rostyslav]
- Sanity checks Cairo and Piecrust. [Rostyslav]
- Added missing data on zkVMs. [Rostyslav]
- Scored SP1, JOLT, Nexus, RISC0, Valida, O1VM. [Rostyslav]
- Provided information why SP1, zkMIPS, Miden, and Aleo(SnarkVM) are zkVM and why zkOS, Powdr are not. [Ugur][ACZ]
- Provide why (or why not zkVM) zkVM for Valida, Nexus, Jolt, Ceno and RISC0. [Marvin][DR]
- `state-separation:vac:state-separation-architecture-01`
- Worked on defining and answering several questions about Nesceince. [Moudy]
- Reviewed part of the prototype. [Moudy]
- Started to answering some questions related to blogpost for state separation. [Ugur][ACZ]