Vac 2024/07/29 §

vac:p2p: §

• nimlibp2p:vac:webrtc-transport
  • https://github.com/vacp2p/nim-webrtc/pull/11
  • Change files architecture similarly to others WebRTC PRs
  • Make different changes in anticipation of Diego’s future comments
  • Solve TODOs
  • Adapt SCTP closing to DTLS change
  • Fix examples
• nimlibp2p:vac:maintenance
  • Finish CI Cleanup PR
  • Double check gcc14 support
  • Check failing Windows test, locally it passes
  • Check failing interop test

vac:tke: §

• admin:
  • 1 CC day off (Frederico)
  • Worked on ETHcc report (Juan)
• nomos:cryptarchia-wealth-concentration-known-stake
  • advanced reports of studies 1 and 2 of the wealth concentration (Frederico)
  • reviewed the state of the whole Nomos project (Frederico)
• status:L2-deployment
  • reviewed the state of the SN (Frederico)
  • reviewed the state of Cats Fishing project (Frederico)
  • assisting defining the incentive structures (Martin)
  • working towards a minimal economy formalization for cats fishing (Martin)
  • working towards a minimal economy formalization for cats fishing (Juan)
    • Document on monetisation for the game
  • Recorded swap agregator status document (Juan)
• status:SNT-staking
  • identifying functional overlap with the need of the L2 incentive structure (Martin)
• codex:cdx
  • reviewed the simulation code (Frederico)
  • working on simulation code (Juan)
• codex:testnet-incentive
  • reviewing latest progress, identifying missing pieces (Martin)
• waku:general-incentives

vac:dst: §

• vac:dst:deployment-and-analysis:waku:midscale:
  • Continue work with Gabriel re: stuck node bug
    • ~150 simulations performed with different versions to hunt down bug
      • Was able to reproduce the bug
      • All signs point to nim-chronos/chronicles.
  • Found issue with publisher
  • Redeployed VictoriaLogs to fix issues with Midscale logging
• vac:dst:deployment-and-analysis:waku:10k
  • Redeployed and tuned VictoriaMetrics for 10K simulation scale
    • About 7 changes discovered, primarily to do with resource allocation
  • Various 10K simulations to gather data/test stability
• vac:dst:deployment-and-analysis:codex:testnet
  • Call with Ben from Codex to ensure testnet deployment works
    • Still hitting permissions bugs
• admin/misc
  • Provided TKE team with a dedicated fileshare + password protected frontend

vac:qa: §

• waku:test-automation-status-go-cli
  • added hybernate tests(@Florin)
  • fixed management of big log files(@Florin)
  • make tests more stable(@Florin)
• waku:interop-testing-02
  • adjust store propagation delay(@Florin)
  • Issue 2837 - closed - RLNv2 registration works(@Roman)
• vac:test-automation-nim-libp2p
  • started creating test plan for PubSub(@Florin)
  • Finish CI Cleanup PR(@Alex)
  • Double check gcc14 support(@Alex)
  • Check failing Windows test, locally it passes(@Alex)
  • Check failing interop test(@Alex)
• nomos:test-automation-data-availability
  • chore: Da full replication unit tests update(@Roman) PR 675 - merged
  • chore: Da kzgrs unit tests update(@Roman) PR 676 - in progress ~70%
• waku:test-automation-rln
  • Fix gcc14 support, but gabriel beat me to the PR (@Alex)
  • Bring RLN PR up to date and fix tests(@Alex)
    • Found couple flaky tests, I think, need further checking

vac:acz: §

• rlnp2p:waku:rlnv2-e2e
  • Fixed an issue in an nwaku PR to validate user message limit
  • attempted to finish deprecating the tree sync strategy, discovered a blocker in upstream library
• secure-channels:waku:mls-poc
  • Preparation of notes regarding the onchain component of the RFC.
  • Review of smart contract
  • Merged PR about fixing the functionality regarding the smart contract and local cache - adding multiple keys during registration, remove unused functionality.
  • Discussion on discord about on-chain component
  • Started integration new on-chain api with current code (will open PR on this week)
  • chore(sc_keystore): add Ownable to the contracts for access control
  • fix(makefile): account for change in run function signature
  • chore(bindings): regenerate contract bindings
  • chore(contract): remove keypackage refs, regen bindings
• zerokit:vac:maintenance
  • Analysed current code in case of data serialization result in discord
  • Add small benchmark for different solution: benchmarks
• consulting:codex:proxy-re-encryption
  • Review of a proposal by Balasz with potential interest.
• admin/misc
  • scoped out next release of zerokit, v0.6.0

vac:sc:: §

• status:staking-contracts-v1
  • Created explainer videos about staking protocol, it’s implementation and challenges we’re solving
  • Met with Status Chain + TKE to discuss path forward
    • Considering dropping XP/MP compounding in staking protocol and simplifying it
    • XP program and next staking version still to be finalized
• codex::contracts-formal-verification
  • Had a call with certora to discuss first application properties for us to implement
    • Document can be found here
      • https://www.notion.so/Certora-Application-Properties-V2-b93f70fbaa0744a785460413f37afa6a

vac:nim: §

• tooling:vac:nimble
  • Bump and auto detect version: https://github.com/nim-lang/nimble/pull/1247
  • Troubleshooting release issues
  • Release: https://github.com/nim-lang/nimble/releases/tag/v0.16.0
• tooling:vac:editor
  • Release https://github.com/nim-lang/vscode-nim/releases/tag/v1.0.0
  • Troubleshooting release issues
• tooling:vac:lsp
  • Refactor in preparation to chronos migration: https://github.com/nim-lang/langserver/pull/222
  • Troubleshooting release issues

vac:rfc: §

• admin/misc
  • ooo

vac:dr: §

• gsub-scaling:vac:gossipsub-simulation
  • Was able to compile nim-testground-sdk and run basic ping tests. Some manually selected commit dependencies to avoid compilation failures of newest commits.
  • Was able to integrate simulation script with sdk, and install nim-libp2p (commit dating to staggered sending) along with other dependencies (manually). Still facing a few compilation errors (expecting to fix these errors in a couple of days).
• gsub-scaling:vac:unstructured-p2p-improvements-survey
  • Looked into the possibility of handling large message counts in gossipsub. Required looking into some abstract details about farcaster network.
• zk:codex:zk-consulting
• Finished notes on Testudo.
• Continued work on document for Codex’s storage proof.

vac:nes: §

• state-separation:vac:state-separation-architecture-01
  • • Worked and expanded different components of state separation (executions, addresses, keys, nullification) [Moudy]
  • Make progress with the blogpost [Moudy]
  • Assisted with keys and addresses. [Moudy + Marvin + Ugur] [DR][ACZ]
    • Examine how Ola/zcash keys system works: Ola1, Ola2, and zcash technical specs.
    • Discussed potential modifications to streamline this approach for Nescience, and possible concrete choices to be made.
  • Assisted with lifecycles of UTXOs; provided answers to various questions. [Moudy + Marvin + Ugur] [DR][ACZ]
• zkvm:vac:vm-foundations
  • Work on the lits of ZkVMs:
    • Went through partial homomorphic encryption schemes’ materials. [Rostyslav]
    • Set up SP1, RISC0. [Rostyslav]
    • Continue looking for suitable repos + testing the base case. [Rostyslav]
    • Read RISC0’s Poseidon254 implementation. [Oleksandr]
    • Read Reinforced Concrete whitepaper. [Oleksandr]
    • Set up Valida, zkMIPS, zkWASM. [Oleksandr]