2024-07-22 Vac weekly

Vac 2024/07/22

vac:p2p:

• nimlibp2p:vac:webrtc-transport
  • ready to review: https://github.com/vacp2p/nim-webrtc/pull/10
  • PR for testing + fixing: https://github.com/vacp2p/nim-webrtc/pull/16
  • mbedtls : fix missing import (only on windows)
  • fix windows library linking
  • fix nim-devel error on the stack (value not stored)
  • fix macos error with asynchronous closing stun
• nimlibp2p:vac:maintenance
  • gcc 14 support - https://github.com/status-im/nim-bearssl/pull/62
  • add ubuntu 24 and gcc 14 - https://github.com/status-im/nim-chronos/pull/553

vac:tke:

• admin
  • Working towards ETHcc report (Juan)
• nomos:cryptarchia-wealth-concentration-known-stake
  • understood the cryptoeconomic perspective of PoW for Executors (Frederico)
  • continued developing the code to analyse the selfish behavior when choosing the fork rule (Frederico)
• status:L2-deployment
  • reviewed the work about CoW swap (Frederico)
  • understood how fishs are modeled in the Cats Fishing project (Frederico)
  • Finalised CoWSwap comparisson work and simulations (Juan)
  • Wrote a presentation for the CowSwap comparison (Juan)
  • Discussed legal aspects of sucha model (Juan)
  • Worked on CatsFishing (Juan)
  • catch up on current state (Martin)
• codex:testnet-incentive
  • reviewed discussion with Codex team and mapped out next steps (Frederico)
• waku:general-incentives
  • catch up on current state (Martin)
• codex:cdx
  • Minor work on simulations (J

vac:dst:

• vac:dst:deployment-and-analysis:waku:midscale
  • Discussions with Hanno about what to check in DiscV5
  • Add parsing code for VictoriaMetrics compatibility
  • While measuring reliability, found three separate issues:
    • Problems with logging. Missing messages were not logging because of REST (fixed)
    • Problem with duplicated hash messages (TODO)
    • Problem with missing messages
  • Run simulations for Waku v0.31
    • https://www.notion.so/2039-78aeac4f220a49ea97e780b7bb60c412
      • Issue still present: https://github.com/waku-org/nwaku/issues/2892
    • Comments can be found here
  • Investigated network issues reported that affected even very small deployments
    • Unable to reproduce, but switches were rebooted between report and tests
• vac:dst:deployment-and-analysis:waku:10k
  • Continue metrics scaling + VictoriaMetrics fixes
  • 10K report - multiple simulations to prepare for it
    • 10k being reliably reached, metrics still choking
• vac:dst:tooling:vac:visualiser-tool
  • Meeting (Alberto x Wings) to discuss Visualiser split and show each other the tools created
    • “DST Visualiser” (nodejs/react) to be used for live analysis
    • “Debug Visualiser” (python3) to be for more extensive post-simulation analysis/“playback”
  • Testing visualiser on a 10K swarm

vac:qa:

• waku:interop-testing-02
  • fix light push failures(@Florin)
  • adjust tests to new rate limits(@Florin)
  • fix: cluster_id 0 for peer store related tests.PR 56 - merged(@Roman)
• vac:test-automation-nim-libp2p
  • started creating test plan for Gossipsub(@Florin)
• waku:test-automation-status-go-cli
  • discussions with waku and status team regarding future work(@Florin)
• nomos:test-automation-cryptarchia
  • chore: Da full replication unit tests update PR 675 - in review(@Roman)
  • chore: Da kzgrs unit tests update PR 676 - in progress(@Roman)
• vac:test-automation-nim-libp2p
  • Update CI Cleanup PR with suggestions(@Alex)
• waku:test-automation-rln
  • Fix coverage and run(@Alex)
  • Run simulations to give more data for these issues(@Alex)
    • bug: restarting compose fails loading keystore
    • Possible memory consumption issue
  • Update MAX_MESSAGE_LIMIT README PR(@Alex)
• admin/misc
  • created slides for QA presentation(@Florin)

vac:acz:

• rlnp2p:waku:rlnv2-e2e
  • Investigated and found root cause of invalid messages in nwaku & spam messages in nwaku, discussing with team for mitigation
• secure-channels:waku:mls-poc
  • Preparing the inclusion of the on-chain component in the RFC: reading the repos and figuring out the architecture.
  • Research on finality times on different L2s for onchain component.
  • Finished work with CLI integration and merged PR
  • Merged small fix regarding getting own message PR
  • Created a demo of using cli video link
  • Started fixing the functionality regarding the smart contract and local cache - adding multiple keys during registration, remove unused functionality open PR
• zerokit:vac:maintenance
  • started a discussion about improving zkey processing time by switching to preprocessing (more details in discord thread)
• admin/misc
  • Submission of proposal for delivering a talk in Devcon Bangkok. Same presentation as for EthCC Brussels but including latest advances.
  • CCs getting tickets for devcon
  • Update the ethcc notes (for full doc in notion)

vac:sc::

• codex::contracts-formal-verification
  • merge certora PR + cleanup and rebase to make PR ready
    • https://github.com/codex-storage/codex-contracts-eth/pull/113
  • Had kick-off meeting with Certora and Codex to get Marketplace contracts formally verified
    • Waiting for certora to provide first properties to work on
    • Next session we’ll discuss list of properties to work on after that
• status:staking-contracts-v1
  • Had a couple of pair programming sessions with Ricardo to tackle MP estimation
    • Few problems we ran into:
      • Precision loss results in wrong calculation
      • Epochs beyond limit epoch generate wrong pending MP estimations
    • Created a fuzz test that demos the issue
      • https://github.com/logos-co/staking/commit/60d80bf4b2cf0fd14e9de70bc39c31c42b0a4e34#diff-2561530a5f24910605d8693b034e64a26a98817f46fd17ae12004dab5c943bfdR688-R718
    • Would like to learn how to turn that fuzz test into a Certora rule
  • Meeting with Status Chain and TKE
    • Discussed high level goals
    • Some details about staking protocol still unclear
    • Considering moving MP calculation out of staking entirely and do it offchain (as XP)

vac:nim:

• tooling:vac:lsp
  • Research the correct approach to refactor the lsp so changes as small as possible. Most things are figured but we still need to find the best way to support stdio.
  • Small changes needed to json_rpc so we can use it for the lsp https://github.com/status-im/nim-json-rpc/pull/222
  • Bump lsp so it can be released https://github.com/nim-lang/langserver/pull/219
• tooling:vac:nimble
  • Fixed a regression introduced by wrongly taggin a Nim release: https://github.com/nim-lang/nimble/pull/1245
  • Improve test on Nim versioning https://github.com/nim-lang/nimble/pull/1235
• tooling:vac:editor
  • Fix Nim version and improve coloring of the notifications: https://github.com/nim-lang/vscode-nim/pull/75

vac:rfc:

• nomos:specs-init
  • Made some changes to DA rfc, still need to revisit - https://github.com/vacp2p/rfc-index/pull/41
• codex:specs-init
  • was able to work on Codex validator rfc, still in draft - https://github.com/vacp2p/rfc-index/pull/83

vac:dr:

• vac/admin
  • Added section on filters in RLN to the Bloom Filter rlog; rlog posted.
  • Worked on Fiat-Shamir rlog.
• gsub-scaling:vac:gossipsub-simulation
  • Continued worked on testground simulator. Specifically, developed understanding about writing test plans, and run/play with different example test plans (from other libp2p implementations).
• vac:dr:anon:vac:gossipsub-anonymity
  • Continued working on Anonymized GossipSub Protocol (AGP) specification. Specifically, completed the implementation details of the custom mixnet protocol, extend Sphinx to support address + destination of combined size $tk$, recommend appropriate cryptographic algorithms, made some changes to the approach followed in Sphinx Go implementation, to improve performance.
  • Begin to implement Sphinx library in Go.
• zk:codex:zk-consulting
  • Began notes on Testudo.
  • Provide feedback on proof of replication
  • Continued work on document for Codex’s storage proof.

vac:nes:

• state-separation:vac:state-separation-architecture-01
  • Finished working on execution types covering the 3 different types (Private, Shielded, Deshielded) [Moudy]
  • Worked on different components for the state separation Blogpost. [Moudy]
  • Reviewed key management and lists of primitives from Ugur and Marvin. [Moudy]
  • Create a doc for cryptographic primitives inside and ouside of the kernel circuits in notion. [Ugur + Moudy][ACZ]
  • Expand the missing components for State-Separation file in notion. [Ugur + Moudy][ACZ]
• zkvm:vac:vm-foundations
  • Work on the lits of ZkVMs:
    • Continued going through partial homomorphic encryption schemes’ materials [Rostyslav]
    • Reviewed elgamal-encryption, rsa-algorithm repo [Rostyslav]
    • Investingated workaround to use Rust code for Valida [Oleksandr]
    • Work on cryptographic primitives list needed to be added for zkVMs. [Marvin][DR]