2024-08-05 Vac weekly

Vac 2024/08/05 §

vac:p2p: §

• nimlibp2p:vac:webrtc-transport
  • DTLS: address Diego’s comments https://github.com/vacp2p/nim-webrtc/pull/10
• nimlibp2p:vac:maintenance
  • Discuss with Ivan about https://github.com/vacp2p/nim-libp2p/pull/1155
  • Review PRs
• nimlibp2p:vac:maintenance
  • fix: add gcc 14 support
  • fix(ci): windows-amd64 (Nim version-1-6)
  • fix(test): interop transport
  • reviewing PRs
  • CI Cleanup - PR
    • Update with windows fix, now tests pass (except interop, which is not yet merged, but currently not required)
    • Rollback ubuntu-24.04 on i386, errors out
    • Discovered another flaky - Logs
  • Fix windows issue - PR
    • Investigate thoroughly. Quite sure it’s a Nimble issue, later today I’ll post an issue on their github.
• nimlibp2p:vac:quic
  • evaluating quic implementations - https://github.com/cloudflare/quiche

vac:tke: §

• admin:
  • 1 CC day off (Frederico)
  • Finalized first draft of strategy doc (Juan)
  • updated the TKE milestones (Status Network, Frederico)
• nomos:cryptarchia-wealth-concentration-known-stake
  • continued writing the reports of studies 1 and 2 of the wealth concentration (Frederico)
  • Reviewed and provided feedback to Frederico’s work here (Juan)
• status:L2-deployment
  • modeled the location of fishes (Frederico)
  • assisting defining the incentive structures, revising new proposed XP system (Martin)
  • working towards a minimal economy formalization for cats fishing based on feedback from Ned (Martin)
  • Meeting with Ned, worked towards monetization document (Juan)
  • Finished work on NPV analysis for swap aggregator (Juan)
• status:SNT-staking
  • identifying functional overlap with the need of the L2 incentive structure - again with the new XP proposal (Martin)
• waku:general-incentives
  • preparing for the call next week, identifying discussion points and actionable items (Martin)
• codex:cdx
  • cleaned up code (Juan)

vac:dst: §

• vac:dst:deployment-and-analysis:codex:testnet
  • Attempt to fix Codex Kubernetes access
• vac:dst:deployment-and-analysis:waku:10k
  • Test runs of 10K on latest Waku
  • Continued metrics instability around 10k
• vac:dst:deployment-and-analysis:waku:midscale:
  • Refactor log analysis code for Waku to use with Waku Simulator
  • Get extended logs regarding future logging
    • Potential bug in nimlibp2p’s yamux protocol
    • mplex looks more promising
  • Extended libp2p report
    • Add 1.1 results with other sizes than 500KB
    • https://www.notion.so/Nim-libp2p-v1-3-0-regression-testing-June-2024-7e6fa14c829d4660be6739817e07956f
• admin/misc
  • Prepare DST presentation for Waku team

vac:qa: §

• waku:interop-testing-02
  • update CI to use images from docker hub(@Florin)
  • chore: RLNv2 tests update(@Roman) PR 62 - in progress - Lightpush remaining to test
    • Issue 2946 - open
    • Issue 2949 - open
• vac:test-automation-nim-libp2p
  • created test plan for PubSub(@Florin)
  • created test plan for FloodSub(@Florin)
  • CI Cleanup - PR(@Alex)
    • Update with windows fix, now tests pass (except interop, which is not yet merged, but currently not required)
    • Rollback ubuntu-24.04 on i386, errors out
    • Discovered another flaky - Logs
  • Fix windows issue - PR(@Alex)
    • Investigate thoroughly. Quite sure it’s a Nimble issue, later today I’ll post an issue on their github.
  • Begin checking interop issue(@Alex)
• nomos:test-automation-data-availability
  • chore: DA kzgrs unit tests update(@Roman) PR 676 - in review - kzgrs-backend will undergo rewrite for the next 2 weeks
• waku:test-automation-rln
  • Merge RLN PR(@Alex)

vac:acz: §

• rlnp2p:waku:rlnv2-e2e
  • Assisted qa team in debugging nwaku tests
  • chore(keystore): verbose error message when credential is not found
• secure-channels:waku:mls-poc
  • Improve the notes on the onchain component of the RFC.
  • Sync with team on payloads and ordering of the involved steps in adding members to groups.
  • Integration with new on-chain api branch
  • fix(contract): convert to acl
• consulting:codex:proxy-re-encryption
  • Finish reading the proposal.
• anon:vac:gossipsub-anonymity
  • Team reviewed rfc and relevant protocols

vac:sc:: §

• status:staking-contracts-v1
  • fixed estimation of multiplier points (still needs tests)
  • Still have to keep in mind that Status Chain decides against such a path
    • https://github.com/logos-co/staking/commit/c1f283876cb47408d4e0db3b253ad1662004ecfa
  • Reviewed CovNFT from Optimism to see if we can take ideas from it
    • https://github.com/GovNFT/contracts/blob/b7ce6ad869a8136a36f8130577ec7d21b2f785e4/src/GovNFT.sol
  • Upgraded certora-cli on CI
    • https://github.com/logos-co/staking/pull/96
• codex::contracts-formal-verification
  • Worked on implementing CVL rule described in https://github.com/codex-storage/codex-contracts-eth/issues/132
    • Together with Certora we’ve concluded that it’s likely not worth it anymore because those fields aren’t used for anything (they used to be used for fuzz tests it seems)
• status:community-contracts-maintenance
  • Upgraded certora-cli on CI
    • https://github.com/status-im/communities-contracts/pull/63

vac:nim: §

• tooling:vac:nimble
  • Returns the nim directory prioritising the one used by the project instead of the one in the installed pkg list dir: https://github.com/nim-lang/nimble/pull/1250
• tooling:vac:lsp
  • should not crash when the projectMapping fileRegex is set to a non existing file fixes #221 (https://github.com/nim-lang/langserver/pull/223)
    • Fixes https://github.com/nim-lang/langserver/issues/221
  • Migration to LSP
    • Complete preparation refactor https://github.com/nim-lang/langserver/pull/222
    • Research best way to combine stdio and socket
• tooling:vac:editor
  • Issue: New version of the plugin does not work on Windows https://github.com/nim-lang/vscode-nim/issues/78
• tooling:vac:compiler
  • bump nimble https://github.com/nim-lang/Nim/pull/23918

vac:rfc: §

• codex:specs-init
  • Worked on codex validator, reading updated docs. Still in draft - https://github.com/vacp2p/rfc-index/pull/83
  • Had a sync meeting with codex marketplace

vac:dr: §

• gsub-scaling:vac:unstructured-p2p-improvements-survey
  • Worked on large message handling blogpost. All comments are addressed; still WIP.
  • Looked into IHAVE/IWANT message processing, small messages and peer scoring function for libp2p specs meeting
• zk:codex:zk-consulting
• Began notes on Spartan.
• Read optimization of sumcheck for use in Spartan improvements.

vac:nes: §

• state-separation:vac:state-separation-architecture-01
  • Mainly worked on the blogpost [Moudy]
  • Worked on making keys and addresses concrete and riefly reviewed Aztec keys and addresses scheme. [Marvin][DR]
• zkvm:vac:vm-foundations
  • Work on the lits of ZkVMs:
    • Continued going through primitives and looking for suitable repos. [Rostyslav]
    • Prepared testing for the base case for SP1 and RISC0. [Rostyslav]
    • Wrote simple arithmetic tests for Valida, zkMIPS, zkWASM. [Oleksandr]
  • Started working on blogpost. [Moudy]