2024-09-09 Vac weekly

Vac 2024/09/09

vac:p2p:

• nimlibp2p:vac:quic
  • Added support for nim 2 (diego)
  • Added experimental (feature flagged) support for quic in nim-libp2p (diego)
    • TLS not yet included, so interop not yet possible.
    • can test against itself by exchanging peer ids out of band
• nimlibp2p:vac:maintenance
  • Investigation into issue causing negative yamux stream metrics in grafana (Ludovic)
  • Investigate issue with SAT solver not running (Alex)
  • Follow up on issue with interop test artifact caching (Alex)
• misc/admin
  • Assorted onboarding & research (Yusef)

vac:tke:

• admin:
  • 5 CC days off (Juan)
• nomos:selfish-behavior
  • studied Markov chains to define the validator utility function (Frederico)
  • studied the selfish mining problem in PoW and PoS (Frederico)
  • implemented the leader selection algorithm using GPU (Frederico)
• codex:cdx
  • defined the missing aspects of the CDX token (Frederico)
  • reviewed the simulation code (Frederico)
• status:L2-deployment
  • waiting for Cyp to confirm the incentive framework design to plan out next step (Martin)
• waku:general-incentives
  • researching micropayments (Martin)
  • meeting and discussion with the team (Mart

vac:dst:

• vac:dst:deployment-and-analysis:waku:midscale
  • Fixed issue with perf logs not generating correctly
    • Changes to 10ksim to account for this - basically SIGINT Waku then wait 150s
  • Gave perf logs to Gabriel
    • But: it appears perf is not giving the needed information.
  • Worked with Zoltan on keep analyzing his sims
    • Message hash duplication (ONGOING)
  • Prepared working deployment of Waku Store
    • Added a check that checks whether Store is working
      • https://github.com/vacp2p/10ksim/pull/39
  • PR for improving data preparation - better folder management
  • Go-waku IDONTWANT discussion/request
  • Store sync discussion with Ivan
  • Prepare documentation for CC OOO
  • Argo Workflows deployment and tweaking
    • ArgoCD is done, has Authentik integration, persistent storage
• admin:misc
  • Roadmap update
    • Done, ready for review
    • https://github.com/logos-co/roadmap/pull/120
• :vac:lab
  • Restored dead node, improved monitoring and status pages, numerous internal infrastructure fixes
    • https://status.vaclab.org

vac:qa:- tooling:vac:lsp

 - Troubleshot win 10 issues https://github.com/nim-lang/vscode-nim/issues/93
 - Finish chronos migration  https://github.com/nim-lang/langserver/pull/225

• tooling:vac:editor - Fixes an issue where the extension crashes if there is no workspace https://github.com/nim-lang/vscode-nim/commit/273dea0d52858c5d1a8346d9207a0af6ebb415f9
• waku:interop-testing-02
  • store sync tests draft PR(@Florin)
  • test logs template(@Florin)
• nomos:test-automation-data-availability
  • Test run1 for Nomos/Da - in progress(@Roman)
  • chore: Da kzgrs-backend unit tests update(@Roman) PR 700 - merged
  • chore: Da dispersal unit tests update(@Roman) PR 720 - in progress - not easy to keep up with devs
  • Enhancements proposed:(@Roman)
    • Byte limits for DaBlob <> Bincode serde
    • Remove unused DaBlob::column_id
  • KZG10 library & Nomos KZG review is in progress by Ramses(@Roman)
• vac:test-automation-nim-libp2p
  • Gossipsub - Peer discovery(@Alex)
    • On Review
  • Gossipsub - Message propagation(@Alex)
    • Ready for review
  • Gossipsub - Control Messages(@Alex)
    • Begun, no PR yet.
• admin/misc
  • onboarding with Sam(@Florin and @Sam)

vac:acz:

• secure-channels:waku:mls-poc
  • Creation of eth-secpm-splitted branch RFC containing 1-to-1 channel specification.
  • Creation of eth-secpm-splitted RFC containing the MLS and the deMLS specifications.
  • Correction of linting errors in the eth-secpm-splitted RFC on the ADKG approach.
  • Finished Notion report on the theoretical study of deMLS.
  • Notes on KZG for prospective code review.
  • Discord conversation with Roman and Daniel (Netwave) about the code review.
  • Review splited de-mls rfc PR
  • Review the de-MLS performance report
  • Discuss the authentication mechanism of RFC on discord
• consulting:codex:proxy-re-encryption
  • Publication of forum post.
• zerokit:vac:maintenance
  • Ready for review integration stateless feature for rln-wasm: PR
  • Start working with arkzkey: compare circuit loading performance of a compressed arkzkey vs uncompressed arkzkey that is the fist task in the release 0.6.0
• anon:vac:gossipsub-anonymity
  • Implementing the Mix handler
    • Encountering a persistent error with the json_serialization package, which is a dependency of libp2p.
    • Issue faced with all libp2p imports.
    • Attempted various approaches to resolve this issue.
    • Seems to be an issue within the json_serialization package.

vac:sc::

• codex::contracts-formal-verification
  • continued with unit test on testing that a host cannot be paid more than once
    • https://github.com/codex-storage/codex-contracts-eth/issues/126
  • EIP-4337 research and presentation
    • https://www.notion.so/EIP-Discussions-20c25b03a896413c928c4d4ec1fde651?p=0a52c4a419824776a4c0764d8b453c17&pm=s
• status:staking-contracts-v1
  • Worked on getting mp-estimate branch ready for merge
    • https://github.com/logos-co/staking/pull/97
    • This was working and green on CI until we’ve introduced an optimization in
      • https://github.com/logos-co/staking/pull/97/commits/9f3d8ff427c13364f006b736485faa75c841f105
    • Investigated the problem, still waiting for a reply from Certora
      • Will move optimization into new PR and have it resolve there
  • Worked on certora rule pendingToBeMintedLessEqualThanTotalSupplyBalance

vac:nim:

• tooling:vac:lsp
  • Troubleshot win 10 issues https://github.com/nim-lang/vscode-nim/issues/93
  • Finish chronos migration https://github.com/nim-lang/langserver/pull/225
• tooling:vac:editor - Fixes an issue where the extension crashes if there is no workspace https://github.com/nim-lang/vscode-nim/commit/273dea0d52858c5d1a8346d9207a0af6ebb415f9

vac:rfc:

• admin/misc
  • Workflow linting - https://github.com/vacp2p/rfc-index/pull/90

vac:dr:

• admin/misc
  • ooo

vac:nes:

• state-separation:vac:state-separation-architecture-01
  • Read about nodes and components (not a lot of info are available). [Moudy]
  • Defined and detailed NSSA node specs: Full node components and Sandbox node components. [Moudy]
  • Started to write VM and zkVM collab for NSSA. [Ugur][ACZ]
• zkvm:vac:vm-foundations
  • Work on the lits of ZkVMs:
    • Reading node specifications. [Rostyslav]
    • Report on zkVM testing. [Rostyslav]
    • Research for concrete Rust dependencies for zkMIPS. [Oleksandr]
    • Reading node specifications. [Oleksandr]
  • Met with Engineers about drafting Zkvms testing results. [Moudy + Team]