2024-09-02 Vac weekly

Vac 2024/09/02 §

vac:p2p: §

• nimlibp2p:vac:webrtc-transport
  • Try to fix CI issues on window and macos
  • Find and fix a bugs while disconnecting/reconnecting
    • Closing Sctp/Dtls connection didn’t close all the stack
    • Closing StunConn didn’t work properly
    • Rework on how the closing work to avoid potential race conditions
• nimchronos:vac:maintenance
  • make SomeFuture public
• nimlibp2p:vac:maintenance
  • Reviewing PRs
  • fix: create raceAndCancelPending proc
  • Interop solutions conversations/investigation: S3, GH registry
  • Github Pro: Nothing to leverage
  • Daily SAT Solver test
    • Fix minor issues
    • Ready for Merge
• nimlibp2p:vac:quic
  • chore: update nim-ngtcp2 to latest version
  • feat(transport): add QUIC Transport

vac:tke: §

• nomos:selfish-behavior
  • continued the required coding for this study (Frederico)
  • reviewed Bernoulli and Poisson random processes to define the validator utility function (Frederico)
  • Small adjustments/additions on the analysis (Juan)
• codex:cdx
  • mapped out the missing aspects of the CDX token (Frederico)
  • reviewed Codex latest developments on L2 pricing (Frederico)
  • To Collab with Frederico’s tasks (Juan)
  • To keep working on code, making it more granular etc. (Juan)
• status:L2-deployment
  • waiting for Cyp to describe the incentive framework to provide feedback (Martin)
  • detailed suggestions for cats fishing reward scheme - researching further dual token model (Martin)
  • To staart unifying docs on catsFishing (Juan)
  • Prepare meeting with Ned for after Sept. 1 (Juan)
• waku:general-incentives
  • getting familiar with and following the discussion around the RLN Solidity contract (Martin)
• others
  • reviewing the points system for ordinals, additional feedback (Martin)
  • hacking solo at ETHOnline hackathon (Martin)

vac:dst: §

• vac:dst:deployment-and-analysis:waku:midscale
  • Finish new concurrent analysis branch
    • PR open at https://github.com/vacp2p/10ksim/pull/36
    • Additional enhancement work at https://github.com/vacp2p/10ksim/pull/37
  • Attempted new simulations with perf record to give to Gabriel
    • Still no results as pods refusing to gracefully terminate perf
  • Continue to investigate message duplication issues
    • Re-analysed Zoltan’s results
    • Documented discoveries in Message hash duplication (ONGOING)
  • Waku simulations for 0.32-rc-2
    • Waku regression testing - v0.32 (ongoing)
  • Argo Workflow research
    • Solution will be a combination of ArgoCD, Argo Workflows, git repos
    • Deployed ArgoCD and Argo Workflows
  • Debugging perf record issues
    • Primary issue is we can’t seem to kill the pods gracefully, a number of fixes tried so far

vac:qa: §

• waku:interop-testing-02
  • added metrics tests(@Florin)
  • added log checks at the end of all tests(@Florin)
  • discusses with Hanno and SP about Store-Sync, started playing with that(@Florin)
• nomos:test-automation-data-availability
  • Test run1 for Nomos/Da - in progress(@Roman)
  • chore: Da kzgrs-backend unit tests update(@Roman) PR 700 - in review
• vac:test-automation-nim-libp2p
  • Gossipsub - Peer discovery(@Alex)
    • Ready for review
  • Gossipsub - Message propagation(@Alex)
    • WIP
    • Having issues with asserting some parts
    • While testing found issue on file that relates to this old PR.

vac:acz: §

• secure-channels:waku:mls-poc
  • Completed theoretical analysis of deMLS. First draft.
  • Meeting with Ugur about the status of the RFC.
  • Completed correction of linting errors in the RFC and merged the branch.
  • 2 cc reviewed de-mls RFC latest version from this PR
  • Start to work on determining the new milestone for de-mls testnet poc
• zerokit:vac:maintenance
  • Merged PR about stateless feature
  • Started working on integration stateless feature into rln-wasm: PR
• consulting:codex:proxy-re-encryption
  • Finished forum post (Yet to be published).
  • Finished a first approach to Codex’s cryptographic components. Includes the preparation of an internal report.
• anon:vac:gossipsub-anonymity
  • Sphinx packet wrapping tests are complete and functioning end-to-end.
  • Pow computation and verification have been added.
  • Started integration with libp2p in two commits: 1, 2
    • Separated networking functionalities for better modularity.
    • Encountering an error with the json_serialization package.
    • Working on the Mix handler.
  • Start to the mixnet milestone from DR to ACZ and enhance the related milestone.
• admin/misc
  • Reading of the paper about Marlin. Decision of aptitude for a code review.
  • Reading about KZG commitment scheme. Short discussion with Roman.

vac:sc:: §

• status:staking-contracts-v1
  • Started Cleanup zombie code and outdated behavior
    • removed restake ability
  • Research on ERC-4626: Tokenized Vaults to create a user friendly standarized methods to stake and unstake through a intermediary contract VaultManager
  • Worked on getting mp-estimate branch in mergeable state
    • Fixed certora rules -> had to apply a dispatcher resolution hack to get around the issue with contract instantiation inside constructors
    • Cleaning up code and tests
      • Stuck with one test that still failing
• vac:maintainance/misc
  • Research on EIP-1271 dependents
• codex::contracts-formal-verification
  • worked on The contract has enough funds to pay back everything https://github.com/codex-storage/codex-contracts-eth/pull/169
    • blocked after talking with the Certora team. It looks like there’s no simple way to verify it and they are going to find other ways to do it.
  • worked on rules about possible slot transitions https://github.com/codex-storage/codex-contracts-eth/pull/171
  • continue with https://github.com/codex-storage/codex-contracts-eth/issues/126
  • Implemented ghost variables for slots field and request contexts within CVL rules
    • PR: https://github.com/codex-storage/codex-contracts-eth/pull/167
  • Fixed CI issue that prover runs would not exit with error code, causing CI task to be green
    • PR: https://github.com/codex-storage/codex-contracts-eth/pull/1

vac:nim: §

• tooling:vac:nimble
  • Fixes broken symlink https://github.com/nim-lang/nimble/pull/1264
• tooling:vac:editor
  • Adds support for optional socket transport #94 https://github.com/nim-lang/vscode-nim/pull/94
• tooling:vac:lsp
  • Chronos migration WIP: https://github.com/nim-lang/langserver/pull/225 (Fixes multiple preexisting issues, complete socket integration, etc.)

vac:rfc: §

• admin/misc
  • Worked on fix workflow linting - https://github.com/vacp2p/rfc-index/pull/90
• codex:specs-init
  • Started first draft of Codex manifest RFC - https://github.com/codex-storage/codex-spec/pull

vac:dr: §

• admin/misc
  • Continued organizing notions page
• gsub-scaling:vac:gossipsub-improvements-paper
  • Worked on large message improvements article on overleaf (still a WIP, likely to finish in next 2-3 days)
• zk:codex:zk-consulting
  • Worked on node aggregation

vac:nes: §

• state-separation:vac:state-separation-architecture-01
  • Worked on breaking down architecture components [Moudy]
  • Started working on node requirements [Moudy]
  • Worked on ephemeral keys and UTXOs [Moudy]
  • Met with Team for node specs [Team]
  • Posted notes on key exchange, public key and address [Marvin][DR]
• zkvm:vac:vm-foundations
  • Work on the lits of ZkVMs:
    • Finished writing memory test for SP1 and RISC0 [Rostyslav]
    • Started working on memory testing for Nexus [Rostyslav]
    • Written memory allocation test for Valida [Oleksandr]
    • Debugged Valida guest programs compilation with non-trivial dependencies [Oleksandr]
    • Written general purpose benchmark scripts [Oleksandr]
    • Run benchmark tests on remote machine for zkMIPS and zkWASM [Oleksandr]
  • Met with Engineers regarding Zkvm decision + Node specs [Team]