Vac 2024/06/03

vac:p2p:

  • nimlibp2p:vac:webrtc-transport
    • DTLS protocol https://github.com/status-im/nim-webrtc/pull/10
      • Adds comments & improve PR presentation
      • Solve some problems appearing with the merge of Stun protocol
      • Trying to solve the CI with prerequisites installation in nim-mbedtls
    • Chore PR (renaming)
  • nimlibp2p:vac:maintenance
    • review and finalize various chore PRs

vac:tke:

  • admin
    • reviewed and updated TKE milestones (Frederico)
  • codex:cdx
    • reviewed research reports about competitors (Frederico)
    • structureed and started developing Codex agent-based model (Frederico)
  • nomos:cryptarchia-wealth-concentration-known-stake
    • produced better comparisons between the fork-choice rules (Frederico)
    • finalized the single Jupyter notebook that replicates all computations (Frederico)
    • continued the restructure of the previous work under a newly defined strategy (Frederico)
  • waku:general-incentives
    • caught up with the current state (Frederico)
  • waku:rln-membership
    • Reviewed existing research into RLN and compatibility with the new design (Martin)
  • status:SNT-staking
    • Reviewed Juan’s work on swaps (Martin)
  • status:L2-deployment
    • Drafted first docs on the economic model and identifying missing pieces, iterating on this with Cyp (Martin

vac:dst:

  • vac:dst:deployment-and-analysis:waku:midscale
    • Deploy additional Ruby control plane nodes for better stability.
      • Partially deployed, being finished today
    • Investigate Waku regression
    • PR: New Publisher merged. Tested with 3K Nodes.
    • Fixed data retrieval issues with Pushprox that affected simulations.
    • Changed Waku parameters to better test waku v0.27
  • vac:dst:deployment-and-analysis:vac:libp2p-version-testing
    • Async meetings with libp2p team to inform testing
    • PR: Added deployment files in 10k repo for nim-libp2p.
    • Changed DST-node branch to use nimbus build system.
    • Deployed 1K nimlibp2p nodes and gathered data
  • vac:dst:tooling:vac:visualiser-tool
    • New weekly Monday meeting with Waku team about reliability
    • Waku is interested in using the visualiser tool in their test fleet. Got an SSH tunnel for Elastic access.

vac:qa:

  • waku:interop-testing
    • Merged store v3 - added 70 tests(@Florin)
    • Spent 1 day investigating potential reliability issues that turned out to be misconfigs(@Florin)
  • waku:test-automation-status-go-cli
    • Call with Pablo regarding requirements and deliverables(@Florin)
    • Started creating a test framework around the status go cli tool(@Florin)
  • waku:test-automation-rln
    • Fix: occasional failure to check published message for RLN tests(@Roman)
  • nomos:test-automation-cryptarchia
    • Chore: cryptarchia unit tests update in progress(@Roman)
    • Example how coverage changes in the report: Before -> After (@Roman)

vac:acz:

vac:sc::

  • vac:maintenance/misc
    • initial Certora setup for codex contracts https://github.com/codex-storage/codex-contracts-eth/pull/113
    • WIP: ENS usernames to latest solidity
    • WIP: ENS usernames migrate to forge
    • ENS Usernames to new ENS registry
    • Proxies and Upgradeable contracts research
    • Presented proxy patterns in EIP discussions call

vac:nim:

-tooling:vac:compiler

vac:rfc:

vac:dr:

  • gsub-scaling:vac:gossipsub-simulation
    • Experimented with different optimizations for minimizing the impact of IWant messages. Additionally, we can skip sending IWant if we have received multiple IDontWants for the same msgID; implemented this in PR that shows reasonable improvement.
  • vac:admin
    • Logos Research call presentation
    • Met with Aaryamann concerning blog formatting.
  • zk:codex:zk-consulting
  • vac:dr:anon:vac:gossipsub-anonymity
    • Reading Nym Network white paper. This addresses several open questions we had: strong adversarial model, reputation system that ensures reliability and mitigates Sybil attacks, uses verifiable random functions for node selection, maintains list of active nodes, prevent long-term correlation attacks by rotating active nodes every hour, rewards for nodes.
    • Began investigating an open source libp2p-nym implementation in Rust

vac:nes:

  • virtual-machine-creation:vac:vm-foundations
    • work on list of ZkVMs
      • Continued entering data on Nexus, Jolt, o1VM.
      • Found new benchmarks for SP1, Jolt and Valida
      • Ola and snarkOS. [DR]
      • Compiled information for Valida, Ola, snarkOS, RISC0 and Valida into the zkVM table. [DR]
      • compiled information for P1, Powdr, Miden, zkOS, Aleo(snarkVM), and zkMIPS in zkVM table [ACZ]
  • proofsystems:vac:research-existing-proof-systems
    • continue working on a writeup about Greco zk proofs