2023-09-04 Vac weekly

Vac 2023/09/04 §

• Vac Milestones
• Vac Github Repos

vac:p2p: §

• nimlibp2p:vac:gossipsub-ddos-mitigation
  • Opened upstream discussion about gossipsub peer exchange (which is a DDoS vector) https://github.com/libp2p/specs/issues/570
• nimlibp2p:vac:webrtc-transport
  • Hitting roadblocks on DTLS

vac:tke:: §

• codex:economic-analysis
  • Presenting Filecoin findings to Codex team
  • Litepaper: assumptions on collateral
• status:SNT-staking
  • Highlighted multiple design requirements not met by SC implementation for SC team notion doc
  • Open questions w/ John, epoch duration
  • Staking governance proposal for when John returns Sep 12
• nomos:economic-analysis
  • Delegated staking specifications w/Marcin, update for privacy constraints
  • Bribery attacks analysis, Moh asked to followup early/mid Sep
• waku:economic-analysis
  • Formalized RLN thoughts shared w/ Aaryamann, will push for additional feedback once Martin returns

vac:dst: §

• analysis:nomos:nomos-simulation-analysis
  • Took over data generation on Tuesday
  • Found a bug in simulations, working around it
  • The comparison runs are now fully automated
  • got the first full set of comparison plots: everything appears to be explainable for a fixed probability
  • Tree runs now scale to 15k nodes
• wakurtosis:vac:retrospective-rlog
  • Gather info and wrote summary of why we decided to stop using Kurtosis.
• 10ksim:vac:10ksim-bandwidth-test
  • Code diagrams + structurization
  • Chats with Ben (Codex)
• wakurtosis:nomos:ci-integration_02
  • (hold for now, since we drop Kurtosis; will continue in November once we have the new 10k simulator tool)
• software-testing:waku:test-plans
  • Added test plans for filter, lightpush and store: https://www.notion.so/Test-Plans-09c8c7b7f6784c459fb774792665e37c
• software-testing:waku:test-automation-js-waku
  • Made it possible to choose the nwaku version in the js waku github actions workflow by using workflow_dispatch inputs. PR Link

vac:sc:: §

• vac:secureum-upskilling
  • No progress; busy with CommunityTokenDeployer contract
• status:community-contracts-maintenance
  • Gas optimizations in token contracts
    • Custom errors vs require string messages PR
    • Usage of immutable properties PR
• status:community-contracts-deployer
  • Implemented CommunityTokenDeployer
    • Includes tests and docs
    • Pull requests
    • Ran into a contract size issue; Context comment
  • Added docs for commuity token deployer contract
    • Pull Request
• status:governance-contract-mvp
  • ERC2470 ressurection
    • Updated to latest solidity
    • Implemented error checking for “already deployed” (saves gas in case of user error)
    • Implemented error checking for “successful deploy” (forces gas estimation to successful deploy scenario)
    • In progress upgrade on solidity compiler new outputs (from 0.5.11=>0.8.x)
  • Research on delegation vs staking contract

vac:acz: §

• rlnp2p:waku:membership-management
  • fixed makefile target for rln-keystore-generator - https://github.com/waku-org/nwaku/pull/1960
  • log the membership index out upon registration in the rln-keystore-generator - https://github.com/waku-org/nwaku/pull/1963
• rlnp2p:waku:rln-relay-enhancments
  • rln was enabled by default in the Makefile - fixed - https://github.com/waku-org/nwaku/pull/1964
  • ordered pubsub validator execution - https://github.com/waku-org/nwaku/pull/1966
  • fixed deserialization of valid merkle roots - https://github.com/waku-org/nwaku/pull/1973
  • confirm that the fetched credential from the keystore is registered to the membership set - https://github.com/waku-org/nwaku/pull/1980
  • fixed makefile target for zerokit’s librln.a - https://github.com/waku-org/nwaku/pull/1981
  • converted zero-based indexing to 1-based indexing on vacp2p/rln-contract - https://github.com/vacp2p/rln-contract/pull/28
  • downstreamed zero-based indexing to waku-org/waku-rln-contract - https://github.com/waku-org/waku-rln-contract/pull/8 -
  • deployed new version of the registry contract on sepolia - 0xc04937d502E0ae671cedFC2A0BCD6692055520f3
• zerokit:vac:zerokit-v0.4
  • Merged a PR to deal with message_id range check https://github.com/vacp2p/zerokit/pull/210
  • researched tree_size issue for the 0.4 release
  • researched idCommitment/rateCommitment issue for the 0.4 release

vac:zkvm: §

• proofsystems:vac:research-existing-proof-systems
  • [blog post] (https://vac.dev/rlog/Nescience-A-zkVM-leveraging-hiding-properties)
  • Researched ways to achieve Goal2 and Goal3 for Nescience.
  • Integrated different techniques for Goal4 and Goal5 for Nescience.
  • prepared Nova-implementation writeup (https://www.notion.so/zkVM-cd358fe429b14fa2ab38ca42835a8451?pvs=4#cce2cc365a384126b2a5041900bd3ce9)
  • Continued Lasso research (https://a16zcrypto.com/posts/article/introducing-lasso-and-jolt/)
  • Notes for Protogalaxy; 100%
  • Notes for Protostar
• proofsystems:vac:proof-system-benchmarks
  • Added an introductory section for Benchmark in zk-explorations repo: https://github.com/vacp2p/zk-explorations/pull/10

vac:dr: §

• gsub-scaling:vac:unstructured-p2p-improvements-survey
  • Completed literature study. Covered article related to overlay design (single tier, multi-tier, hybrid overlays)
  • peer selection methodologies, rumor/gossiping protocols, push/pull based publishing approaches, message encoding, probablistic forwarding, overlay optimization, and peer heterogeneity/capacity based roles (super nodes and similar roles)
  • Still need to review 1-2 D-regular graph based approaches. Only selected articles are added in zotero (under vacp2p)
• valpriv:vac:tor-push-poc
  • Debugged various appraoches(tcp, gossip, tor). Triaged why attestations not working
• valpriv:vac:tor-push-relwork
  • completed related work all
• consensus:nomos:carnot-paper
  • Publishing the Carnot paper (Done) https://arxiv.org/pdf/2308.16016.pdf
  • Begin work on writing up Carnot’s specification in RFC format
• consensus:nomos:carnot-bribery-article
  • Finishing (describing research directions and their pros and cons, polishing the article) and publishing the article (Done) https://www.notion.so/WIP-Bribery-Attacks-in-Consensus-Protocols-Challenges-and-Solutions-e4e108c17dba421abe83de49076c8f25
• consensus:nomos:carnot-vote-2-3rds-vote-aggregation
  • Completing the initial design and work on presentation slides. The plan will be to present the initial design on September 6 research call

vac:rfc:rfc: §

• status:port-status-specs
  • Started porting 6/PAYLOAD to vac RFCs
    • Work-in-progress PR is pending here
    • This RFC specifically needs a lot of work as it misses a lot of the current payload types
  • Updated 61/STATUS-community-history-archives according to feedback comments and landed it
    • Merged PR is here
  • started porting 16/keycard-usage to Vac (looking into status-go)