2024-05-06 Vac weekly

Vac 2024/05/06 §

vac:p2p: §

• admin/misc
  • CCs ooo
• nimlibp2p:vac:webrtc-transport
  • Address comments on Stun protocol https://github.com/status-im/nim-webrtc/pull/9

vac:tke: §

• admin/misc
  • onboarded our new team member (Frederico, Martin)
  • Getting familiar with protocols (Juan)
  • Few introductory meetings (Juan)
• codex:cdx
  • reviewed and complemented the TKE part of Codex litepaper (Frederico)
  • Reviewing Frederico’s changes to the litepaper (Martin)
  • Provided some feedback into Codex (Juan)
• nomos:cryptarchia-wealth-concentration-known-stake
  • reviewed and restructured of the previous work (Frederico)
• waku:general-incentives
  • Following internal debates and docs mapping progress from Athens (Martin)
• status:SNT-staking
  • Research into swap feature in cooperation with the SC team, chats with potential partners (Martin)
• status:L2-deployment
  • Further work on L2 economic model, focusing on fundametal questions and constraints (Martin)

vac:dst: §

• admin/misc
  • Meetings to discuss milestones
  • Finished deploying CubeFS for the Codex team (for accessing storage)
• eng-10ktool:vac:bandwidth-test
  • Adjusted Kubernetes workers to the new network structure
  • Alberto ran into deployment issues which we solved
  • Ran two attempts at a 10K Waku sim and a 2k sim @ 10 msg/sec
  • Redo simulations with versions 0.26 and 0.27
    • Use waku 0.27 and ensure yamux still works ok
      • Doesn’t work ok, neither with 0.26 and 0.27
        • Initially delayed by lab issues, solved by end of week
    • Extract more information regarding discv5 (mem/cpu)
      • Not finished before of lab issues with Prometheus monitoring
  • Refactored message tracking code

vac:qa: §

• waku:interop-testing
  • Add mandatory shard flag(@Florin)
  • Issue found(@Florin)
  • Reopened again(@Florin)
• nomos:test-automation-cryptarchia
  • Test plan(@Florin)
• waku:test-automation-sharding
  • Sharding tests update. PR 1060 - merged(@Roman)
  • bug: message won’t be sent over from node1 to node2 with sharded topic subscription. Issue 1086 - in progress(@Roman)
• waku:test-automation-rln
  • RLN relay tests. PR 30 - in progress(@Roman) bug: node won’t start with RLN in on-chain dynamic mode. Issue 2662 - open(@Roman)
• waku:test-automation-sharding
  • Updated Sharding PR with comments(@Alex)
• waku:test-automation-rln
  • Various testing code improvements and utilities(@Alex)
  • Finally unblocked onchain “invalid contract” tests(@Alex)
• admin/misc
  • 2CCs OOO Wednesday -> Friday
  • 1CC OOO on Monday/Wednesday

vac:acz: §

• rlnp2p:waku:rln-relay-enhancements
  • investigated and testing missed leaves solution
  • fix waku keystore segfault on incorrect appInfo
  • fixed logging for debug logs in nwaku
  • integrated lazyIMT into rln-v2 for gas estimates for waku research
• rlnp2p:waku:rln-doc-and-outreach
  • merged in rln light verifiers rlog, cross-posted to vac forum pending crosspost to ethresearch.
• zerokit:vac:maintenance
  • addressed some issues in installing dependencies
  • removed rln-wasm from the benchmarks (there are none)
• zerokit:vac:zerokit-v0.5
  • created pr add ark-zkey support
  • started to work on tests and benches review regarding release v0.5
  • remove tree_height_32 merged
• secure-channels:waku:ethereum-chat
  • Work on the role of the AS in the RFC architecture.
  • Work on the role of the SIWE approach.
  • Examine the reference implementation of DCGKA and updated distributed group membership part of the notion note.
  • Study on the SIWE-like approach from the updated RFC as related to issue #4.
• admin/misc
  • synced with pse and waku research team, pse will start work on the next version of RLN, using the same primitives from semaphore v4. We have disagreed with their approach since it adds unnecessary complexity. we may use a fork of it if they continue making it like semaphore v4.
  • updated pending milestones on roadmap
  • 1 CC onboarding
  • 1 CC ooo on May day

vac:sc:: §

• status:swap-aggregator
  • finished research on metamask swap adapters
  • Continued research on CoW Protocol
  • Continued working on notes and slides
  • 1inch swap router research
• vac:maintenance/misc
  • Smart contract security research
    • Particularly inflation attacks

vac:rfc: §

• codex:specs-init
  • Created pr for Codex marketplace raw RFC, got feedback - https://github.com/vacp2p/rfc-index/pull/36
  • Had a sync meeting with Codex marketplace team on Thursday, for questions
• nomos:specs-init
  • Started Nomos Data Availablity RFC, not complete, should complete next week for feedback

vac:dr: §

• gsub-scaling:vac:gossipsub-simulation
  • Worked on staggered message sending, draft PR is ready for review. Still need to add adaptive behavior in terms of wait-time, number of simultaneous-transmissions (WIP).
  • Completed tests from the above PR. Analyzing results (Looking for rationale for one anamoly: idontwant message is not showing good results in a network with dissimilar bandwidth/latencies)
• zk:codex:zk-consulting
  • Continued conversation with Codex team on feedback.
  • Continued work on notes for Beyond Circuit and WarpFold.
• vac:dr:anon:vac:gossipsub-anonymity
  • Discussed Waku Anonymity Analysis and completed documenting.
  • Started documenting initial discussions on designing a base Anonymity Layer - WiP.
  • Read Tor Push and Dandellion++ solutions - WiP
  • Looked into Nym mixnet - WiP.
• misc
  • Began rough drafts on blogs; Verkle Trees

vac:nes: §

• state-separation:vac:state-separation-doc
  • Worked on State Separation Components and discussed with Ugur on how to proceed with the first part of the architecture (Moudy + Ugur)
  • Examine the needs for state separation in terms of trees (Ugur)
  • Started to write a prototype about the overview of an end-to-end execution (Ugur + Moudy)
• proofsystems:vac:benchmarks
  • Had a slight look on what is going regarding other benchmarks done by others (Moudy)
  • Continued server testing (Rostyslav)
  • Opened up aggregator issue (Rostyslav)
• virtual-machine-creation:vac:vm-foundations
  • Had a high level look at existing ZkVms (Moudy)
• proofsystems:vac:research-existing-proof-systems
  • Continued reading about Greco zk proofs (Rostyslav)
  • Started checking out Ligetron (Rostyslav)