roadmap/content/vac/updates/2024-08-19.md

169 lines
9.4 KiB
Markdown

---
title: "2024-08-19 Vac weekly"
tags:
- "vac-updates"
date: 2024-08-19
lastmod: 2024-08-19
draft: false
---
## Vac 2024/08/19
### vac:p2p:
- `nimlibp2p:vac:webrtc-transport`
- DTLS: https://github.com/vacp2p/nim-webrtc/pull/10
- addressed the last comments
- merging the PR
- `nimlibp2p:vac:maintenance`
- Yamux Leak Fixed
- Work locally on rendezvous sub/unsub strange behavior
- PR: https://github.com/vacp2p/nim-libp2p/pull/1178
- `nimlibp2p:vac:quic`
- [chore: upgrade ngtcp2 to 1.6.0](https://github.com/vacp2p/nim-ngtcp2/pull/6)
- [chore: add initial logging](https://github.com/vacp2p/nim-quic/pull/42)
- [chore(deps): remove upraises](https://github.com/vacp2p/nim-quic/pull/44)
### vac:tke:
- `admin`:
- met with Nomos to decide next steps (Frederico)
- updated the TKE milestones for Nomos (Frederico)
- OOO on Monday (Juan)
- `nomos:cryptarchia-wealth-concentration-known-stake`
- Finished V1 of the statistical analysis & discussed with team (Juan)
- `nomos:selfish-behavior`
- developed most of the code required for this study (Frederico)
- `codex:cdx`
- presented the project at the IFT Research Call (Frederico)
- `status:L2-deployment`
- analysis and discussion with Ned on minimizing inflation impact (cats fishing) (Martin)
- worked on catsfishing XP program (Juan)
- `status:SNT-staking`
- following latest edits (Martin)
- `waku:general-incentives`
- following up on the credits system and analyzing compatibility with other exisiting ideas (Martin)
- `others`
- initial analysis of the distribution platform and its properties (Martin)
- helping and feedback to Matt for the ordinals strategy (Martin)
- exploring project ideas for EthOnline (Martin)
- Meeting with Matt on ordinals (Juan)
### vac:dst:
- `vac:dst:deployment-and-analysis:waku:midscale`
- Review milestone progress and reporting
- Created `zorlin/perf` branch in 10ktool
- Uses `perf record` to create perf logs for Waku
- Added privileged container options
- Created SeaweedFS direct mounts for use with `hostPath`, bypassing CSI
- Resolved full disk issues with Kubernetes PVs for VictoriaLogs and VictoriaMetrics
- Continue working on Futures issue
- Unable to proceed yet due to issues with `perf record`.
- Analyse previous waku simulations
- Investigated duplicate message hashes
- Began optimizing VictoriaLogs log retrieval to reduce data sizes for large/fast simulations
- VictoraLogs PR merged:
- https://github.com/vacp2p/10ksim/pull/35#event-13879472790
### vac:qa:
- `waku:interop-testing-02`
- start implementing at e2e tests(@Florin)
- Debate with conclusion: [Product strategy X quality](https://github.com/waku-org/nwaku/issues/2949#issuecomment-2288485864)(@Roman)
[NWaku Issue 2949 - closed](https://github.com/waku-org/nwaku/issues/2949)
Could Waku-interop-tests suite aid for OWN builders as reference?
- `nomos:test-automation-data-availability`
- Review test plan comments for [Data Availability](https://www.notion.so/DA-Test-Plan-cc5ff67ad5e94b94b70df46ad67516c2)(@Florin)
- Going through code/tests, write new unit tests when appropriate(@Roman)
- Code base not ready for high level integrations tests yet(@Roman)
[Test run1 for Nomos/Da](https://www.notion.so/DA-Test-Plan-Run1-084243a3256c47ae9eee1cfd46fd469b)
- `vac:test-automation-nim-libp2p`
- Conditional SAT solving(@Alex)
- [Ready for review PR](https://github.com/vacp2p/nim-libp2p/pull/1177)
- Remove duplicate msg key in logs(@Alex)
- [Merged PR](https://github.com/vacp2p/nim-libp2p/pull/1180)
- Windows fix for multihash poseidon PR(@Alex)
- Investigate. Can't replicate on local Windows.
- [Draft PR](https://github.com/vacp2p/nim-libp2p/pull/1179)
- [QA] Gossipsub - Peer discovery(@Alex)
- Fix "frequent sub/unsub" tests thanks to Ludovic's investigation.
- [Draft PR](https://github.com/vacp2p/nim-libp2p/pull/1168)
### vac:acz:
- `secure-channels:waku:mls-poc`
- Merged [PR](https://github.com/vacp2p/de-mls/pull/26) about updating flow for add members
- `zerokit:vac:maintenance`
- Started work with [stateless feature](https://github.com/vacp2p/zerokit/pull/265)
- Picked up a [PR](https://github.com/vacp2p/zerokit/pull/264) about a build for wasm
- `anon:vac:gossipsub-anonymity`
- Finished [implementing Sphinx packet processing](https://github.com/vacp2p/mix/commit/2d99aebe265cb1c386db0a96208b97ca47c5eab0) and associated tests.
- Found an issue with beta computation in our spec - fixed the issue, updated the [Notion page](https://www.notion.so/Anonymized-GossipSub-Protocol-AGP-Wip-cbcbcd6067b347bb812041bce9c110ce?pvs=4), and also commited the changes to the [PR](https://github.com/vacp2p/rfc-index/pull/85/commits/7dfd46e8eeeccb0f5748bebd750784cde3108bcc).
- [Sphinx packet](https://github.com/vacp2p/mix/commit/2d99aebe265cb1c386db0a96208b97ca47c5eab0) unwrappin works correctly for one layer.
- Started to review the [mixnet specs PR](https://github.com/vacp2p/rfc-index/pull/85/files)
- `rlnp2p:waku:rlnv2-e2e`
- Started to review the [rlnv2 contract spec](https://github.com/waku-org/specs/pull/30)
- `secure-channels:waku:mls-poc`
- Added a issue about the [batch user insertion](https://github.com/vacp2p/de-mls/issues/27)
- `admin/misc`
- [updated acz milestones](https://github.com/logos-co/roadmap/pull/106)
- 1 cc was ooo whole week
### vac:sc::
- `codex::contracts-formal-verification`
- Rules review session with Certora team and codex
- Implemented rule to verify slotstate and requeststate changes count
- https://github.com/codex-storage/codex-contracts-eth/pull/152
- Noticed a bunch of rules are not actually passing due to bug in config
- https://github.com/codex-storage/codex-contracts-eth/pull/158
- Worked on getting rules pass with updated config
- WIP branch: https://github.com/codex-storage/codex-contracts-eth/commit/e45724f825807e902cf065cbecb10da058d91f6d
- added spec on slot's missed periods count https://github.com/codex-storage/codex-contracts-eth/pull/155
- updated Certora config https://github.com/codex-storage/codex-contracts-eth/pull/158
- WIP work on slot state transition to Failed https://github.com/codex-storage/codex-contracts-eth/commit/ba42fb342839df3a35d397b32398cdcfa9f4875f
- Started looking at a new issue "a host can't receive a payment twice" https://github.com/codex-storage/codex-contracts-eth/issues/126
- `status:staking-contracts-v1`
- MP estimation algorithm adjustments to account for proper max boost limit amount
### vac:nim:
- `tooling:vac:lsp`
- Chronos migration WIP: https://github.com/nim-lang/langserver/pull/225
Basics working in stdio. Troubleshooting socket transport. There are multiple issues still to be fixed and refactors needs to be done
- `tooling:vac:editor`
- Release 1.0.2: https://github.com/nim-lang/vscode-nim/releases
- `tooling:vac:compiler`
- Fixes #23962 resetLocdoenst produce any cgen code in importcpp types #23964 https://github.com/nim-lang/Nim/pull/23964
- Fixes an issue where two types can collide in the cgen #23937 (WIP) https://github.com/nim-lang/Nim/pull/23937
### vac:rfc:
- `codex:specs-init`
- Added feedback to marketplace rfc, a rework by member of marketplace team - https://github.com/codex-storage/codex-spec/pull/2
- Had sync meeting with marketplace team Thursday
- `nomos:specs-init`
- Continued reading Nomos DA docs, made some changes, not ready for second round of feedback - https://github.com/vacp2p/rfc-index/pull/41
### vac:dr:
- `gsub-scaling:vac:gossipsub-simulation`
- Completed testground simulation for nim-libp2p gossipsub commits bac754e2a and 9b11fa733
- `zk:codex:zk-consulting`
- Continued [notes](https://hackmd.io/PdbAwf64SrCF4Ous3_uy1w) on Mova, and [notes](https://hackmd.io/PpoIyPt2StyaexcIfdpEQg) on Spartan.
- Read [Pari](https://eprint.iacr.org/2024/1245.pdf) and began [notes](https://hackmd.io/BQaJafq2SKeMKTRloKa4SA).
### vac:nes:
- `state-separation:vac:state-separation-architecture-01`
- Reviewed and researched keys, ephemeral keys, UTXO commitment, UTXO lifecycle, and small aspects about several components [Moudy]
- Integrated and polished the blogpost [Moudy]
- Worked on keys and addresses [Moudy]
- Worked on ephemeral keys and UTXOs [Moudy]
- Update on [Pedersen commitments](https://www.notion.so/Nescience-cd358fe429b14fa2ab38ca42835a8451?pvs=4#32fcdd6730f34ed6998a1af370b3622e)[Marvin][DR]
- Reviewed the Marvin's update on [Pedersen commitments](https://www.notion.so/Nescience-cd358fe429b14fa2ab38ca42835a8451?pvs=4#32fcdd6730f34ed6998a1af370b3622e) [Ugur][ACZ]
- Reviewed the structure topic doc in case there is something missing so I started work on one of the topics about Usage Areas of state separation [Ugur][ACZ]
- `zkvm:vac:vm-foundations`
- Work on the [lits of ZkVMs](https://notes.status.im/ugF2lAAKTuG_t5PcdWwuwg):
- Researched profiling tools for zkVMs [Rostyslav]
- Testing for different sharding values for SP1 and RISC0 basic tests [Rostyslav]
- Testing on local machine [Rostyslav]
- Wrote setup scripts to simplify and speed up testing [Oleksandr]
- Tested new Rust based proving capabilities of Valida [Oleksandr]
- Wrote simple arithmetic test for Valida in Rust [Oleksandr]
- Started writing memory allocation tests [Oleksandr]
- Started working on blogpost. [Moudy]