---
title: "2024-08-12 Vac weekly"
tags:
  - "vac-updates"
date: 2024-08-12
lastmod: 2024-08-12
draft: false
---

## Vac 2024/08/12

### vac:p2p:
- `nimlibp2p:vac:webrtc-transport`
  - DTLS: lot of fixes / changes
    - https://github.com/vacp2p/nim-webrtc/pull/10
    - add trackers
    - remove asyncspawn
    - a lot of fields are no longer exposed
    - improve comments
- `nimlibp2p:vac:maintenance`
  - Yamux Future leaks
    - https://github.com/vacp2p/nim-libp2p/pull/1171
    - https://discord.com/channels/864066763682218004/1270398374293667950
    - Find a fix to the leak
  - Start looking at the async exception tracking
    - https://github.com/vacp2p/nim-libp2p/pull/1172
  - [fix: infinite loop when connection is aborted before being accepted](https://github.com/vacp2p/nim-libp2p/pull/1164)
  - [fix(transport): tcp accept fixes](https://github.com/vacp2p/nim-libp2p/pull/1170)
  - Investigate interop status and begin working towards solution
  -  Begin test plans: Implement gossipsub's peer discovery test cases, some utility code and small refactor 
      - [Draft PR](https://github.com/vacp2p/nim-libp2p/pull/1168)
  -  Deeply investigate "unsub-sub backoff" test case, seemingly weird behaviour
  - Issues: Rendezvous: Unsubscribed peers may be discovered - [Issue](https://github.com/vacp2p/nim-libp2p/issues/1169)
  - Prepare interview and interview candidat
- `nimlibp2p:vac:quic`
  - [create a nim wrapper for cloudflare quiche](https://github.com/vacp2p/nim-libp2p/issues/1167)

### 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:deployment-and-analysis:waku:midscale`
    - Finish [log analysis PR](https://github.com/vacp2p/10ksim/pull/35) (ready for review)
    - Help Gabriel with mplex Future logging investigation
    - Revisit message hash duplication issue
- `vac:dst:deployment-and-analysis:vac:libp2p-version-testing`
    - Performed [regression analysis](https://www.notion.so/Nim-libp2p-v1-5-0-regression-testing-August-2024-25edba733c704ccaa411919555c5db1a) for nim libp2p 1.5:
        - Repeated 100-bytes results with version `1.2`
        - Initial `1.5` tests 
        - After Diego's loop fix: https://github.com/vacp2p/nim-libp2p/pull/1166
- `admin/misc`
    - Wings OOO last week
    - Helping Jakub remove old DST-DeepResearch infra
        - Still in progress
    - DST Presentation for Status/Waku

### vac:qa:
- `waku:interop-testing-02`
	- check lighpush errors and report [issue](https://github.com/waku-org/nwaku/issues/2955)(@Florin)
	- adjust tests based on the latest [lightpush changes](https://github.com/waku-org/waku-interop-tests/pull/64)(@Florin)
	- start looking at e2e tests(@Florin)
    - chore: RLNv2 tests update(@Roman)
    [PR 62 - merged](https://github.com/waku-org/waku-interop-tests/pull/62)
- `nomos:test-automation-data-availability`
	- Test plan for [Data Availability](https://www.notion.so/DA-Test-Plan-cc5ff67ad5e94b94b70df46ad67516c2)(@Florin)
    - chore: Da kzgrs unit tests update(@Roman)
    [PR 676 - merged](https://github.com/logos-co/nomos-node/pull/676) 
- `vac:test-automation-nim-libp2p`
    - Post nimbledeps issue - [Issue](https://github.com/nim-lang/nimble/issues/1255)(@Alex)
    - Investigate interop status and begin working towards solution(@Alex)
    - Begin test plans: Implement gossipsub's peer discovery test cases, some utility code and small refactor.(@Alex)
        - [Draft PR](https://github.com/vacp2p/nim-libp2p/pull/1168)
    - Issues(@Alex)
        - Rendezvous: Unsubscribed peers may be discovered - [Issue](https://github.com/vacp2p/nim-libp2p/issues/1169)
    - Deeply investigate "unsub-sub backoff" test case, seemingly weird behaviour(@Alex)
    - Prepare interview and interview candidate(@Alex)

### vac:acz:
- `secure-channels:waku:mls-poc`
    - Finished a new version of the onchain component in the [RFC](https://github.com/vacp2p/rfc-index/blob/eth-secpm-onchain/vac/raw/eth-secpm.md)
    - Reviewed and left comments onchain component doc [in notion](https://www.notion.so/Decentralized-MLS-notes-3d77fc8744054a5e9f8c59a3d2241f1d)
    - Finished new flow for adding members to the group, update api regarding new smart contract: [PR](https://github.com/vacp2p/de-mls/pull/26)
- `consulting:codex:proxy-re-encryption`
    - Included a review of the [proposal](https://eprint.iacr.org/2019/1275.pdf) to Codex's Notion [document](https://www.notion.so/Approaches-to-plausible-deniability-87c6fef92df946fcbc1327d51d936ce1) on plausible deniability.
- `rlnp2p:waku:rlnv2-e2e`
    - wip implementation of [new rln contract spec](https://github.com/waku-org/specs/pull/30)
- `anon:vac:gossipsub-anonymity`
    - Continued implementing the [Mix protocol PoC](https://github.com/vacp2p/mix) in Nim
    - Implemented manual serialization, Proof of Work (PoW), tag manager, and Sphinx packet wrapping.
- `admin/misc`
    - Started considering a new organization for the [ACZ Notion page](https://www.notion.so/Applied-Cryptography-ZK-870520f131954b90b1837ec4749f890f). The idea of the new organization is to highlight the cryptographic research done (and forthcoming) in ACZ.
    - 1 cc ooo one day

### vac:sc::
- `status:staking-contracts-v1`
    - Reviewed Status chain team work, [written suggestions](https://notes.status.im/jaEWLq3xSh2MZyhVL9gF4w) for the project
    - Meeting with Status chain
        - Once again talked about desired features
        - Concluded that we'll **keep** MP within the staking protocol as internal measurement unit
        - Stake SNT -> gain MP -> get XP
    - Reviewed work on MP estimation
        - Fixed Estimation of MPs when staking on middle of epoch (normal user case)
        - Found and fixed bugs: staking too low amounts (less than 53), doubled totalStaked on estimation
        - Debugged the whole estimation and MP generation code on many different cases (see debug code [here](https://github.com/logos-co/staking/tree/mp-estimate-console-log)) 
        - Also discussed outstanding things to be done for estimation
        - Created PR as base for discussion
            - https://github.com/logos-co/staking/pull/97
- `codex::contracts-formal-verification`
    - Meeting with Certora
        - Clarified some open questions about Codex
        - Discussed open questions about CVL
            - Found a bug in the prover that will be fixed by certora
    - Implemented certora rules
        - Request state changes
            - https://github.com/codex-storage/codex-contracts-eth/pull/142
        - Total supply == sumOfBalances
            - https://github.com/codex-storage/codex-contracts-eth/pull/146
        - Total sent <= total received
            - https://github.com/codex-storage/codex-contracts-eth/pull/147
        - Proof can't be missing when in period
            - https://github.com/codex-storage/codex-contracts-eth/pull/148

### vac:nim:
- `tooling:vac:lsp`
  - Chronos migration WIP: https://github.com/nim-lang/langserver/pull/225
- `tooling:vac:editor`
  - Fixes parameters for running nimlangserver.cmd on Windows fixes #80 #84
    - https://github.com/nim-lang/vscode-nim/pull/84 
  - Release https://github.com/nim-lang/vscode-nim/pull/85 https://github.com/nim-lang/vscode-nim/releases/tag/v1.0.1
- `tooling:vac:compiler`
	- Bump `nimble` https://github.com/nim-lang/Nim/pull/23918
- `misc`
  - Troubleshoot issues, review PRs

### vac:rfc:
- `codex:specs-init`
    - Worked on codex validator rfc, after discussion will be added to marketplace rfc
    - Made some changes to marketplace rfc - https://github.com/codex-storage/codex-spec/pull/1

### vac:dr:
- `gsub-scaling:vac:unstructured-p2p-improvements-survey`
  - Finalized [large message handling blogpost](https://github.com/vacp2p/vac.dev/pull/145). The revised version is ready for review  
  - Participated in libp2p specs meeting. Had to go through some potential suggestions regaring IHAVE/IWANT message handling.
- `gsub-scaling:vac:gossipsub-simulation`
  - Finally able to compile and run staggered message sending simulation in test ground. Had to play with nimble/sdk files to get it compiled.
	- Still facing issues regarding network reachability. But that can be resolved (looking into other testground SDKs for network connectivity)
	- Still need to be able to parse and analyze output files. 	
- `zk:codex:zk-consulting`
    - Read [Mova](https://eprint.iacr.org/2024/1220) and began [notes](https://hackmd.io/PdbAwf64SrCF4Ous3_uy1w)
    - Continued [notes](https://hackmd.io/PpoIyPt2StyaexcIfdpEQg) on Spartan
    - Worked on in-node aggregation


### vac:nes:

