2024-07-01 Vac weekly

Vac 2024/07/01 §

vac:p2p: §

• nimlibp2p:vac:maintenance
  • removing asyncspawn on yamux
    • Issue: https://github.com/vacp2p/nim-libp2p/issues/1134
    • PR: https://github.com/vacp2p/nim-libp2p/pull/1140
    • fix: spamming peer is disconnected and seen cache doesn’t grow indefinitely https://github.com/vacp2p/nim-libp2p/pull/1139
• nimlibp2p:vac:webrtc-transport
  • Trying to fix the linking issue on Windows/MBed-TLS
  • Fix of the trackers (opening / closing connections and transports)
• nimlibp2p:vac:quic
  • Quic Transport https://github.com/vacp2p/nim-libp2p/pull/725
• nimlibp2p:vac:gossipsub-perf-improvements
  • feat: iDontWant is sent only for gossipsub 1.2 or higher https://github.com/vacp2p/nim-libp2p/pull/1135

vac:tke: §

• nomos:cryptarchia-wealth-concentration-known-stake
  • continued the statistical analysis of simulation results (Frederico)
  • prepared and ran more simulations (Frederico)
• codex:testnet-incentive
  • continued developing the testnet incentives report (Frederico)
• codex:cdx
  • light work on simulations, will retake this week (Juan)
• waku:general-incentives
  • reviewed the latest incentivization proposal (Frederico)
• status:L2-deployment
  • reviewed the catsfishing project (Frederico)
  • reviewed the past work on GMX and veSNT (Frederico)
  • worked CowSwap comparison, caught a few bugs. Mostly focused on this (Juan)
  • reviewed and provided coments on the past work on GMX and veSNT (Juan)

vac:dst: §

• vac:dst:deployment-and-analysis:vac:libp2p-version-testing
  • Ran version 1.1 deployments @ 500KB
  • https://www.notion.so/Nim-libp2p-report-June-2024-7e6fa14c829d4660be6739817e07956f
• vac:dst:tooling:vac:visualizer-tool
  • Worked with Zoltan, handed over some new utils/features
  • Tweaked VictoriaLogs deployment to enable new visualiser
  • Created new experimental realtime visualiser (separate codebase for now)
    • Uses VictoriaLogs to scrape
    • Will look at crossover/integration down the track
• vac:dst:deployment-and-analysis:waku:midscale
  • Ran Waku v0.29 deployments to measure Waku without peer discovery and get a baseline idea of DiscV5’s performance (in terms of mesh behaviour) and bandwidth usage.
    • Ran into scaling issues, could not go beyond low (~40-80) number of well connected peers in a 1000 node cluster
    • Repeated attempts with same results consistently
    • Will repeat with new parameters

vac:qa: §

• waku:interop-testing-02
  • chore: refactor setup relay node for sharding (@Roman) PR 48 - in progress(@Roman)
• nomos:test-automation-cryptarchia
  • chore: cryptarchia unit tests update(@Roman) PR 657 - merged
  • chore: cryptarchia ledger unit tests update (@Roman) PR 660 - merged
• vac:test-automation-nim-tooling
  • test: use Nimble to manage Nim (@Roman) PR 222 - report created
• waku:test-automation-rln
  • Run more simulations(@Alex)
  • Found two possible issues with waku simulator that need some investigating:(@Alex)
    • Nodes don’t receive all messages
    • Not all nodes are sending messages
  • Post issue mentioned in past weekly: Memory usage issue(@Alex)

vac:acz: §

• rlnp2p:waku:rlnv2-e2e
  • chore(rln-relay): add chain-id flag to wakunode and restrict usage if mismatches rpc provider
  • deployed waku-rlnv2-contract to linea sepolia
  • redeployed waku-rlnv2-contract to linea sepolia & polygon zkevm testnet (cardona) with new params decided by Waku team
  • created linea sepolia testnet faucet to bootstrap new operators for Waku
  • assist with waku-simulator testing of rln-relay-v2
• stealth-address-kit:vac:maintenance
  • maintenance release v0.3.1
  • updated benchmarks with clean testing bench
• secure-channels:waku:mls-design
  • Preparation of the talk for EthCC Brussels.
• secure-channels:waku:mls-poc
  • updated interface regarding smart contract integration in this PR and merged it into main
  • changed delivery service provider to redis in redis-approach PR
  • feat(sc_keystore): initialize smart contract template
  • chore(sc_keystore): add interface of smart contract
  • chore(sc_keystore): initial implementation
• consulting:codex:proxy-re-encryption
  • Finish the PRE report.
• admin/misc
  • CCs getting ready for ethcc Brussels
  • 1 CC day OOO

vac:sc:: §

• codex::contracts-formal-verification finished base certora setup and first specs but blocked on a few errors
• status:staking-contracts-v1
  • Reseach on MP estimation
  • Meeting with Tokeneconimcs
  • Paired with Ricardo to clarify misunderstanding of the semantics of initialMultiplierPoints and currentMultiplierPoints
    • Ended up making changes to these so that they match the semantics
      • https://github.com/logos-co/staking/pull/95#event-13284131380
  • Rebased pending work on cooldown period implementations
    • https://github.com/logos-co/staking/pull/92
• finance::access-control-safes-support
  • Finished reviewing the deployment scripts of the access control safes
  • Deployed the access control safes together with finances team
    • Repository
      • https://github.com/logos-co/access-control-safes
    • Recording (private, can be requested)

vac:nim: §

• tooling:vac:lsp
  • Completes projectsetup (Note tests are missing but will add them after the chronos refactor)
  • Trim Nimsuggest instances, improve heuristics: https://github.com/nim-lang/langserver/commit/fe0d9edff537f2dd653e011963c1b56ee95b9536
  • Introduces extension/statusChanged #215 (https://github.com/nim-lang/langserver/pull/215)
    • Test it works in multiple combinations of Nim/Nimble versions
• tooling:vac:editor
  • Hooks into the nimlangserver statusChanged notification https://github.com/nim-lang/vscode-nim/pull/69
• tooling:vac:compiler
  • bump nimble https://github.com/nim-lang/Nim/pull/23766
• tooling:vac:nimble
  • Automatically adds binaries to entryPoints #1230 https://github.com/nim-lang/nimble/pull/1230

vac:rfc: §

• nomos:specs-init
  • Opened pr for first draft of data availability rfc for feedback - https://github.com/vacp2p/rfc-index/pull/41
• codex:specs-init
  • Did some reading of proof of storage codex articles for validator rfc

vac:dr: §

• vac:admin
  • Finished draft for Bloom filters blog; ready for review.
  • Worked on draft for Fiat-Shamir blog; almost ready for review.
• gsub-scaling:vac:unstructured-p2p-improvements-survey
  • Completed blog post for gossipsub improvements for large messages.
• gsub-scaling:vac:gossipsub-simulation
  • Learned about shadow simulator.
  • Started learning testground simulator. Done with installation and basic reads.
  • Currently going through other gossipsub and gossipsub hardening repos for testground to learn about making/running testplans
• vac:dr:anon:vac:gossipsub-anonymity
  • Continued working on Anonymized GossipSub Transport Protocol (AGP) specification. Specifically, worked on the mix context and sphinx packet creation section, corrected deanonymization probability, and addressed feedback.
• zk:codex:zk-consulting
  • Provided feedback on Blazas’ most recent proposal
  • Continued research on foreign arithmetic.

vac:nes: §

• state-separation:vac:state-separation-architecture-01
  • Work on the document of Execution Types as part of our Q2 Milestones:
    • Worked on the document [Ugur][ACZ]
    • Reviewed and integrated the document for publication [Moudy]
  • Work on the document of Cryptographic Infrastructure and Nullification Strategy as part of our Q2 Milestones:
    • Worked on the document [Ugur][ACZ]
    • Reviewed and integrated the document for publication [Moudy]
  • Revisit the type of authenticated data storage such as SMT, Mutator Sets for blogpost. [Ugur][ACZ]
  • Study about the “Nescience state-separation as an add-on for the Dapps”. [Ugur][ACZ]
  • Answered questions related to Nescience (needs some polishing). [Moudy][Ugur][ACZ]
• zkvm:vac:vm-foundations
  • Work on the lits of ZkVMs:
    • Reviewed Cairo and Piecrust [Rostyslav]
    • Finished Scoring zkVMs [Rostyslav]
    • Staring going through materials on ring signatures provided by Marvin [Rostyslav]
    • Provide Rostyslav with a list of resources for ring signatures [Marvin][DR]
  • Begin compiling a list comparing privacy zkVMs from the list to Nescience. [Marvin][DR]