2024-08-12 Vac weekly

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
  • fix(transport): tcp accept fixes
  • 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
  • Deeply investigate “unsub-sub backoff” test case, seemingly weird behaviour
  • Issues: Rendezvous: Unsubscribed peers may be discovered - Issue
  • Prepare interview and interview candidat
• nimlibp2p:vac:quic
  • create a nim wrapper for cloudflare quiche

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 (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 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(@Florin)
  • adjust tests based on the latest lightpush changes(@Florin)
  • start looking at e2e tests(@Florin)
  • chore: RLNv2 tests update(@Roman) PR 62 - merged
• nomos:test-automation-data-availability
  • Test plan for Data Availability(@Florin)
  • chore: Da kzgrs unit tests update(@Roman) PR 676 - merged
• vac:test-automation-nim-libp2p
  • Post nimbledeps issue - Issue(@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
  • Issues(@Alex)
    • Rendezvous: Unsubscribed peers may be discovered - Issue
  • 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
  • Reviewed and left comments onchain component doc in notion
  • Finished new flow for adding members to the group, update api regarding new smart contract: PR
• consulting:codex:proxy-re-encryption
  • Included a review of the proposal to Codex’s Notion document on plausible deniability.
• rlnp2p:waku:rlnv2-e2e
  • wip implementation of new rln contract spec
• anon:vac:gossipsub-anonymity
  • Continued implementing the Mix protocol PoC 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. 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 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)
    • 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. 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 and began notes
  • Continued notes on Spartan
  • Worked on in-node aggregation

vac:nes: §