2024-07-08 Vac weekly

Vac 2024/07/08 §

vac:p2p: §

• nimlibp2p:vac:webrtc-transport
  • add proper tracker management: https://github.com/vacp2p/nim-webrtc/pull/17
  • fix the DTLS windows compilation bug
• misc/admin
  • reviewing stuff
  • fix old unittest2 issue: https://github.com/status-im/nim-unittest2/pull/44
• nimlibp2p:vac:quic
  • fix: make the tests pass https://github.com/status-im/nim-quic/pull/41
  • chore: add initial logging https://github.com/status-im/nim-quic/pull/42
  • chore: upgrade ngtcp2 to 1.6.0 https://github.com/status-im/nim-ngtcp2/pull/6

vac:tke: §

• admin
  • 2 + 5 + 1 CC days off
• nomos:cryptarchia-wealth-concentration-known-stake
  • ran simulations and analyze results related to the wealth concentration (Frederico)
• status:L2-deployment
  • analysed the SNT token utility (Frederico)
  • started rewriting the GMX/veSNT model with the newest constraints (Frederico)
  • continued research on cow swap, finally cor enough data and context to tell a story (Juan)
  • Met with Agata to discuss legal aspect of swap aggregator; need to discuss paraswap with broader team (Juan)
  • light catch up on catsfishing (Juan)

vac:dst: §

• admin/misc
  • 2 + 4 CC days off
  • catch up last week conversations
• vac:dst:deployment-and-analysis:waku:midscale
  • Started discv5 analysis and simulations
• vac:dst:deployment-and-analysis:vac:libp2p-version-testing
  • Run and test nimlibp2p v1.4.0
• vac:dst:tooling:vac:visualizer-tool
  • New “DST Visualiser”/NodeJS Visualiser tool for realtime visualisation
    • used for Waku marketing

vac:qa: §

• waku:interop-testing-02
  • retested bug fixes and removed xfailed tests for fixed bugs(@Florin)
  • fix connection error message(@Florin)
  • add peer store capacity to go-waku start flags(@Florin)
  • chore: refactor setup relay node for sharding(@Roman) PR 48 - merged
  • Test/peer exchange(@Roman) PR 51 - in progress
• waku:test-automation-status-go-cli
  • discussions on the community actions PR regarding how to make the tests create less data(@Florin)
• vac:test-automation-nim-libp2p
  • start creating test plan for YAMUX(@Florin)
• waku:test-automation-rln
  • Run simulations(@Alex)
  • Debugged a missmatch between expected sent messages vs actual received messages(@Alex)
    • Root cause: Injection script (Simulation tool). Explains a lot of issues I had.
    • Issue: Reported by Tanya a couple days prior without me knowing
• admin/misc
  • OOO 1 + 1 CC Day

vac:acz: §

• rlnp2p:waku:rlnv2-e2e
  • test(rln-relay): aggressive polling for networks with short block times
  • fix(rln_keystore_generator): improve error handling for unrecoverable failure
  • assistance with deploying rlnv2 fork on waku.test fleet
• stealth-address-kit:vac:maintenance
  • chore: deduplicate ffi types generated per elliptic curve by using a prelude for the ffi module
  • chore: add Makefile targets to generate bindings for foreign languages (C, Nim), some other trivial Makefile changes
• secure-channels:waku:mls-poc
  • Integrated smart contract into project PR
  • Started to work with CLI interface for demo: open PR
  • feat: initial implementation of smart contract for de-mls
  • chore: add anvil to de-mls for prototyping
  • chore: deploy contracts with broadcast modifier
  • chore: add Makefile target to run full example e2e
  • general debugging
  • review of the repo before demo @ ethcc
• admin/misc
  • updated acz milestones
  • admin work for CCs traveling to brussels (ethcc).
  • First review cycle retro with Ekaterina

vac:sc:: §

• codex::contracts-formal-verification
  • talked with the Certora team and we found a bug in their prover and they are fixing it
  • they also helped with some changes in the setup and we are waiting for a PR from them
  • PRs updating our foundry template
    • https://github.com/vacp2p/foundry-template/pull/29
    • https://github.com/vacp2p/foundry-template/pull/30
• status:staking-contracts-v1
  • Research & dev on MP estimation

vac:nim: §

• tooling:vac:nimble
  • Improves nim installation by using csources (same as atlas) (https://github.com/nim-lang/nimble/pull/1233)
  • Issues:
    • Remove nimble from nim compilation Fixes #1175 (above)
    • nimble -v may bootstrap Nim compiler from sources #1232 (https://github.com/nim-lang/nimble/issues/1232)
    • help should not download package list on a clean setup #1227 (https://github.com/nim-lang/nimble/issues/1227)
    • Fix https://github.com/nim-lang/nimble/pull/1234
  • Adds a test that verifies that the required Nim is the one used by nimble when compiling and running the package https://github.com/nim-lang/nimble/pull/1235

vac:rfc: §

• codex:specs-init
  • reading for codex vaildator rfc, started first draft
• admin/misc
  • changes to 1/COSS - https://github.com/vacp2p/rfc-index/pull/4

vac:dr: §

• gsub-scaling:vac:unstructured-p2p-improvements-survey
  • Looked into blogposts from probelabs: duplicates in gossipsub and mesh dynamicity
  • Followed libp2p spec meeting, and tried following open PR related to gossipsub 1.3.
• gsub-scaling:vac:gossipsub-simulation
  • Worked on understanding testground simulator; required learning docker.
  • Found a ping test plan for nim-libp2p.
• vac:dr:anon:vac:gossipsub-anonymity
  • Continued work on Anonymized GossipSub Transport Protocol (AGP) specification. Specifically, mixnode setup section, finished peer ID and key generation, key management, key rotation and libp2p host configuration for a dedicated mix context, and completed outline for the mixnet protocol.
  • Worked on a peer discovery mechanism using Discv5.
    • Examined Sphinx packet construction and a Golang implementation.
• zk:codex:zk-consulting
  • Work on a document that provides more details to Codex’s Dynamic Storage Proposal
  • Worked on updatable rows proof, and considered repeated data issue.

vac:nes: §

• state-separation:vac:state-separation-architecture-01
  • Work on the document of Execution Types as part of our Q2 Milestones:
    • Handeled Marvin’s questions and feedback about state separation [Moudy]
  • Work on the document of Cryptographic Infrastructure and Nullification Strategy as part of our Q2 Milestones:
    • Reviewed and added some specific topics [Moudy]
  • Worked on the missing components and started prioritizing some of them [Moudy]
  • Prepare document comparing Nescience to other privacy zkVMs [Marvin] [DR]
  • Reviewed and provided feedback on Execution Types document [Marvin] [DR]
  • Extracting the missing components for State-separation and add them into a notion page [Ugur] [ACZ]
  • Discussed with Moudy and choose the two bullets from the missing components list namely, key management & addresses and Nullifiers [Ugur] [ACZ]
• zkvm:vac:vm-foundations
  • Work on the lits of ZkVMs:
    • Went through materials on ring signatures provided by Marvin and through CCS repos [Rostyslav]
    • Started going through MPC materials prepared by Marvin [Rostyslav]
    • Staring going through materials on ring signatures provided by Marvin [Rostyslav]
    • Provided Rostyslav some additional information on MPCs [Marvin][DR]
    • Reviewed SP1, Nexus, Risc0 and zkMIPS for scoring [Oleksandr]
  • Reviewed the list of comparison between existing ZkVMs and Nescience and added some specific details [Moudy]
  • Discussed with Rostyslav and Oleksandr about how to proceed for implementing primitives and what to focus on for scoring [Moudy]