2024-08-19 Vac weekly

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
  • chore: add initial logging
  • chore(deps): remove upraises

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(@Roman) NWaku Issue 2949 - closed Could Waku-interop-tests suite aid for OWN builders as reference?
• nomos:test-automation-data-availability
  • Review test plan comments for Data Availability(@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
• vac:test-automation-nim-libp2p
  • Conditional SAT solving(@Alex)
    • Ready for review PR
  • Remove duplicate msg key in logs(@Alex)
    • Merged PR
  • Windows fix for multihash poseidon PR(@Alex)
    • Investigate. Can’t replicate on local Windows.
    • Draft PR
  • [QA] Gossipsub - Peer discovery(@Alex)
    • Fix “frequent sub/unsub” tests thanks to Ludovic’s investigation.
    • Draft PR

vac:acz: §

• secure-channels:waku:mls-poc
  • Merged PR about updating flow for add members
• zerokit:vac:maintenance
  • Started work with stateless feature
  • Picked up a PR about a build for wasm
• anon:vac:gossipsub-anonymity
  • Finished implementing Sphinx packet processing and associated tests.
  • Found an issue with beta computation in our spec - fixed the issue, updated the Notion page, and also commited the changes to the PR.
  • Sphinx packet unwrappin works correctly for one layer.
  • Started to review the mixnet specs PR
• rlnp2p:waku:rlnv2-e2e
  • Started to review the rlnv2 contract spec
• secure-channels:waku:mls-poc
  • Added a issue about the batch user insertion
• admin/misc
  • updated acz milestones
  • 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 on Mova, and notes on Spartan.
  • Read Pari and began notes.

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[Marvin][DR]
  • Reviewed the Marvin’s update on Pedersen commitments [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:
    • 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]