vac: weekly update

This commit is contained in:
ksr 2024-08-19 18:13:43 +02:00
parent bd9ed73a19
commit 0beb638cf2
No known key found for this signature in database
GPG Key ID: E4EB341A3BB26FA5
2 changed files with 176 additions and 0 deletions

View File

@ -36,6 +36,32 @@ draft: false
- [create a nim wrapper for cloudflare quiche](https://github.com/vacp2p/nim-libp2p/issues/1167) - [create a nim wrapper for cloudflare quiche](https://github.com/vacp2p/nim-libp2p/issues/1167)
### vac:tke: ### vac:tke:
- `admin`:
- assisted the Finance team with interviews (Frederico)
- `misc`
- met with Matt to discuss ordinals project (Juan)
- `nomos:cryptarchia-wealth-concentration-known-stake`
- finalized reports of studies 1 and 2 of the wealth concentration (Frederico)
- reviewed the Nomos project in view of the discussion with the team next week (Frederico)
- Worked on statistical analysis (Juan)
- `status:L2-deployment`
- reviewed the docs about incentives and monetization (Cats Fishing) (Frederico)
- following up with Cyp on a coherent model (Martin)
- identifying suitable token mechanisms for cats fishing to offset inflation (Martin)
- reviewed the docs about incentives and probabilities (Cats Fishing) (Juan)
- Worked towards XP modeling doc (Juan)
- `waku:general-incentives`
- preparing discussion points and actionable items for the call to be presented by Frederico (Martin)
- met with the team to discuss open questions (Frederico)
- `codex:testnet-incentive`
- proposed a simple incentive structure (Frederico)
- `codex:cdx`
- review Frederico's work on incentivized testnet (Martin)
- prepared presentation for the IFT Research Call next week (Frederico)
- reviewed the simulation code (Frederico)
- Pushed update to code (Juan)
- `status:SNT-staking`
- reviewing Ricardo's edits (Martin)
### vac:dst: ### vac:dst:
- `vac:dst:deployment-and-analysis:waku:midscale` - `vac:dst:deployment-and-analysis:waku:midscale`

View File

@ -0,0 +1,150 @@
---
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:
### 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]