2023-09-18 Vac weekly

vac:p2p: §

• nim-libp2p:vac:maintenance:
  • Fixed gossipsub Direct Peers
  • Continued cross-libp2p perf implementation
• nimlibp2p:vac:gossipsub-ddos-mitigation
  • Open eth specs issue about disabling gossipsub Peer Exchange
• nimlibp2p:vac:webrtc-transport
  • Fixed the blocking DTLS issue, continuing vertical implementation

vac:tke: §

• vac:tke::codex:economic-analysis
  • Review litepaper feedback w/ Codex and identify steps to finalize Codex tokenomics
• vac:tke::status:SNT-staking
  • Review staking governance proposal w/John in Status call
• vac:tke::nomos:economic-analysis
  • Analysis of rewards for delegation vs validation
  • Researching ETH 2.0 emission decision rationales

vac:dst: §

• wakurtosis:waku:techreport_03 & wakurtosis:vac:rlog
  • Analysis of the non-load simulations (0msgs to isolate discv5 effects)
  • Recaculated efficiencies taking into account message counts instead of expectation
  • Generated new efficiency plots; Re-written discussion to account for the latter
• eng-10ktool:vac:bandwidth-test
  • Created new repo for Python tool (https://github.com/vacp2p/10ksim)
  • Kubernetes configuration and documentation (https://github.com/vacp2p/10ksim/issues/1)
• software-testing:waku:test-automation-js-waku
  • Addressed comments and merged the Filter protocol tests PR (https://github.com/waku-org/js-waku/pull/1552)
  • Created new PR with ~40 new lightpush tests (https://github.com/waku-org/js-waku/pull/1571)
  • Extract the testing parts of js-waku CI into reusable workflows that can be easily called cross-repo (https://github.com/waku-org/js-waku/pull/1566)
  • Improved the retry-on-fail mechanism of the js-waku tests (https://github.com/waku-org/js-waku/pull/1573)
• software-testing:waku:test-automation-nwaku
  • Finished implementing waku filter ping tests; PR
  • Implemented waku filter subscribe tests; Found first two wrong/unclear behaviours due to tests; PR 1; PR 2
  • Checking existing tests and removing legacy/duplicated.
  • Began implementing waku filter client error tests

vac:acz: §

• zerokit:vac:zerokit-v0.4
  • Prepared a PR to fix test_recover_id_secret test due to incorrect serialization https://github.com/vacp2p/zerokit/pull/217
  • Fixed serialization in other tests
• secure-channels:waku:ethereum-chat
  • Getting familiar with some of the protocols, namely: X3DH, Double Ratchet, XEdDSA and Noise.
  • Start defining the requirements of the secure chat protocol.
• rlnp2p:waku:rln-relay-enhancments
  • updated submodule, fixed metric - https://github.com/waku-org/nwaku/pull/2024
• rlnp2p:waku:rln-doc-and-outreach
  • updated nwaku pre-requisites docs for rln - https://github.com/waku-org/docs.waku.org/pull/115
• zerokit:vac:maintenance
  • exposed leaves_set api to count the number of insertions into the tree - https://github.com/vacp2p/zerokit/pull/213
  • optimized the batch insert to reduce insertion times - https://github.com/vacp2p/zerokit/pull/215
• zerokit:vac:zerokit-v0.4
  • still continuing to investigate proof verification failures. headway made, the root that the proof has is != the tree root produced by zerokit.

vac:sc:: §

• status:SNT-optimism-bridge
  • Workin on porting legacy MiniMe token to our foundry template
    • Also update its code and tests; Ultimately this becomes a dependency of other projects (staking, governance etc)
  • Updated to solidity 0.8.19
  • Fixed linting 1 , 2
  • Upgraded error-strings to error-codes
  • Started fixing auditor errors: variables->immutables, uint128 castings, check-effects-interactions
  • other minor improvements (erc20, separate contracts)
• vac:misc:
  • Visited blockchain week in Berlin

vac:zkvm: §

• proofsystems:vac:research-existing-proof-systems
  • Worked on the motivation of Goal 1: Why separate state is more beneficial (Document next week)
  • Started a somehow scientific article format for Nescience
  • Finished a writeup on Lasso https://www.notion.so/zkVM-cd358fe429b14fa2ab38ca42835a8451?pvs=4#e563de6778b04479a7936e2c5664c9ec
  • Started writing a writeup on Jolt
  • Update Logos slides for presentation on 9/20. (link pending)
  • Begin research recproof
• proofsystems:vac:benchmarks
  • Finished Nova benchmark that uses Nova-Scotia https://github.com/vacp2p/zk-explorations/pull/13
  • Started working on Nova benchmark that uses bellman (original/default way to do things in Nova)
  • Worked on Halo2 benchmarks

vac:dr: §

• valpriv:vac:tor-push-poc
  • Extraced latency of attestations sent from gossip_sub debug level logs
  • Collected around 150 or more latencies of attestations, both for normal and tor switch
  • Validated tor-circuit formation on validator machine
• valpriv:vac:tor-push-paper
  • Revised the structure of paper, added mathematical definition
• gsub-scaling:vac:unstructured-p2p-improvements-survey
  • The first draft of survey is ready for review
• gossipsub-improvements-paper
  • Incorporated changes to the first draft of the improvement paper. Still a work in process. -consensus:nomos:carnot-vote-2-3rds-vote-aggregation
  • Writing the psuedocode (https://github.com/logos-co/nomos-specs/blob/Carnot-vote-aggregation/carnot/carnot-vote-aggregation.py).
  • Added discussion and committee merging algorithm to the high level protocol document(https://www.notion.so/High-Level-Algorithm-6535ac0363df4629ad2c40dff4bc62cd)

vac:rfc: §

• status:port-status-specs
  • continued discussion of the PAYLOAD RFC; continue working on updating the RFC