2024-10-28 Vac weekly

Vac 2024/10/28 §

vac:p2p: §

• nimlibp2p:vac:maintenance
  • Dependency resolution issue on Nim’s version-2-0 branch
    • PR
    • Nimble Issue
    • Investigate a bit more, after working around the SAT resolution loads of nim test errors began appearing. Due to this the PR was pinned to the latest working ref of Nim version-2-0.
    • Created Issue to unpin version when it’s stable again.
  • Review open PRs

vac:tke: §

• admin
  • evaluated tasks of candidates for the Quant Risk Lead role
• vac:tke:ift:catsfishing-mvp:minimal-economy
  • reviewing Juan’s work
  • further simulating incentives
  • Working on staking brainstorm
  • Putting everything together in a whitepaper
• vac:tke:nomos:intro-base-layer-economy:tx-fees
  • reviewed the studied mechanisms and decide which one to propose
• vac:tke:nomos:intro-base-layer-economy:mixnet
  • discussed with Nomos team how to distribute rewards
• vac:tke:nomos:intro-base-layer-economy:da-fee
  • studied blobspace pricing mechanisms
• vac:tke:codex:v1-supply-tokenomics:litepaper
  • adapted the Proof Aggregator role
• vac:tke:codex:incentivized-tesnet:list-incentives
  • asked for feedback on this from the Codex team and incorporated it into the doc
• vac:tke:codex:v1-supply-tokenomics:redesign-proof-aggregator
  • caught up with latest decisions about the role of aggregators
• vac:tke:codex:v1-supply-tokenomics:dutch-auction
  • Commited with Dutch auction replacement and token requirements
• vac:tke:status:aura-incentives:xp-program
  • continuing to simulate AURA
  • drafting a possible smart contract architecture for AURA
  • Commited to working on XP sims on AURA
  • Started reading material for context on the above.
• vac:tke:waku:incentivized-rln-mainnet:rln-economy
  • following Sergei’s progress and discussion around Alvaro’s proposal
• vac:tke:ift:tokenomics-research-forum:ve3
  • starting to draft the blogpost on ve(3,3)
• vac:tke:ift:tokenomics-research-forum:EIP1559
  • Finished first draft of piece on 1559
  • Addressed Frederico’s comments

vac:dst: §

• vac:waku-evaluation:regression-testing
  • Help fix lab issues preventing this going forwards
• ift:deployer-tool:argocd-or-similar
  • Finished getting ArgoCD and Argo Workflows working
• ift:deployer-tool:working-matrices
  • Very close to a working matrices system, simply need some syntax fixes
• codex:codex-scaling:deploy-base-capacity
  • Reviewed setup and began diving into verifying that it’s working
• waku:waku-scaling:filter-lightpush-tests
  • Finished
  • Open PR
  • Issue closed
  • Private Report
  • Public Report
• admin/misc:
  • Created DST public reports section
  • Review Farooq post
  • Call with Ivan from waku regarding filter/lightpush documentation

vac:qa: §

• vac:qa:ift:projects-qa-strategy-2024q4:nomos
  • Investigate nomos testing capabilities
• waku:interop-testing-2024q4:edge-cases
  • Fixed the runner getting out of disk space and log multi-threding issue
  • Merged PR that adds new edge cases to store v3 API
  • 2 improvement suggesstions opened #3135 and #3128
  • Fixed existing issue with incorrect timestamp declaration
• waku:interop-testing-2024q4:e2e-scenarios
  • have an overview on the E2E old tests
  • explore the waku repos to find new test ideas
  • new draft PR 80 for overall protcols test found on repo as example
• nomos:da-testing-2024q4:basic-functionality-tests
  • Test run1 for Nomos/Da - in progress
  • chore: Da behavior membership tests PR 819 - in progress 90%
  • KZG10 library & Nomos KZG review Finished
  • fix: Coverage workflow to run on ubuntu-22.04 PR 836 - merged
  • Test indexer_integration::test_indexer failed on Ubuntu 24 Issue 848 - open
• waku:status-go-functional-testing-2024q4:migrate-to-status-backend
  • Reusing of existing file and helpers in test-framework
  • Draft PR raised for tests-functional.
  • Initial discussion with Florin for Draft PR and updating changes as applicable.
  • Clean up of test-functional and raise draft PR as initial commit for review with test_contact_request.py in draft
• vac:nim-libp2p-testing-2024q4:gossipsub
  • Make changes in raised PR with optimal logic
  • Completed all requested changes multiple time as per request over PR review.
• admin/misc
  • CC sick leave on Monda

vac:acz: §

• ift:de-mls-testnet:login-specs
  • First version of SimpleLogin (registration, authentication and session management).
  • First version of GroupManager for managing groups and roles.
  • Reviewed the login protocol
• ift:de-mls-testnet:presentation
  • Preparation and delivery of presentation on deMLS for IFT research call.
  • Answers to questions which arose in the presentation. Link to Notion.
  • Contribute the Ramses’ presentation with additional slides.
• ift:libp2p-mix-poc:libp2p-integration
  • Finalized mix message structure, incorporating libp2p message and protocol; implemented serialization with and without destination
  • Developed test suites for mix message serialization
  • Implemented sender logic
  • Connected with Alex on Waku integration. Aligned on Ping integration as initial focus; identified that Waku integration primarily requires modifications to connections to/from local protocol instances
• ift:logos-zk-calls:logos-zk-call-1
  • Posted forum post for November’s zk question.
  • Posted forum post for November’s zk meeting topic.
• ift:think-tank:zk-consulting-codex-1
  • Post notes on FrePACK
• ift:think-tank:zk-consulting-codex-2
  • Post notes on dynamic proposal.
• ift:acz-research-destination:zk-think-tank
  • Continue work on Merkle tree blog
• ift:de-mls-testnet:de-mls-rfc
  • Contribute to discussion and create Q&A docs with questions.
• ift:de-mls-testnet:ef-application
  • Refine the EF grants application doc in notion
• ift:de-mls-testnet:testnet-api
  • Started integrate Waku intstead of redis into group comunication (for now have doubts with test waku n

vac:sc: §

• vac:sc:status:xp-token-v1:token-implementation
  • Started working on “XP yield function in XP token balanceOf” https://github.com/vacp2p/staking-reward-streamer/issues/65
• vac:sc:status:staking-protocol-v1:documentation
  • Mathematical Specification
    • Added diagrams
    • Fixes in formatting
    • Research Formulas for analysis
• vac:sc:status:staking-protocol-v1:upgradeability
  • Propose upgradability strategy
    • https://github.com/vacp2p/staking-reward-streamer/issues/20
• vac:sc:status:staking-protocol-v1:formal-verification
  • Ported over ERC20balance vs account balance certora rule
    • https://github.com/vacp2p/staking-reward-streamer/pull/68
• vac:sc:status:staking-protocol-v1:merging-existing-solutions
  • Implemented lock() in reward streamer contract
    • https://github.com/vacp2p/staking-reward-streamer/pull/69
  • Added function to register vaults per user to retrieve user total MPs
    • https://github.com/vacp2p/staking-reward-streamer/pull/71
  • Worked function to allow users to exit the system
    • https://github.com/vacp2p/staking-reward-streamer/issues/66

vac:nim: §

• CC ooo

vac:rfc: §

• ift:rfc:vac:rfc-index-maintenance-2024q4
  • Finished pr for link updates, ready for approval - https://github.com/vacp2p/rfc-index/pull/104
  • Created pr for markdownlinting update - https://github.com/vacp2p/rfc-index/pull/106
  • Approved new Status Protocol Stack rfc, left some feedback - https://github.com/vacp2p/rfc-index/pull/105
• ift:rfc:waku:updates-of-mature-waku-rfcs-2024q4:34/WAKU2-PEER-EXCHANGE
  • Opened peer exchange move to draft pr for feedback - https://github.com/vacp2p/rfc-index/pull/7
• ift:rfc:nomos:data-availability-raw-rfc-2024q4
  • Started writing the Raw RFC, I expected the first iteration (PR) will be published early to mid next week.
• ift:rfc:vac:rfc-culture-establishment-2024q4
  • Spoke to Hanno, Aaron and Jessie this week about culture establishment.
  • Expecting to update the Notion page and COSS mid next week.
  • Once Notion page is complete will work async with Codex (discord channel).
  • With Waku/Status it will be both async and through 2-week syncs.
• ift:rfc:status:status-specs-to-rfc-index-migration
  • almost done, will open PR for review this week

vac:nes: §

• vac:state-separation-architecture-poc:execution-types
  • Worked on Vm and zkVm interaction - details in the document (conditional execution logic, pedersen commitments, OT protocols, randomized shielded pools, pooled anonimity sets, stealth addresses).
  • Reviewed SE and private kernel circuits.
  • Prepared document on private execution.
  • Outlined a potential issue with smart contracts behaving with smart contract
  • Discussed potential issues with nullifier proofs with team.
  • Investigated whether secp256k1 would work with RISCZero.
  • Wrote the SE Kernel circuit specs.
  • Commented on Marvin’s doc on private execution.
  • Pre researched the public portion of the SE execution.
• vac:state-separation-architecture-poc:accounts
  • Prepared PR for testing UTXO core.
  • PR reviews.
  • UTXO core module, responsible for UTXO and commitments creation.
  • Account keys model, responsible for key management.
• state-separation:vac:state-separation-architecture-poc:storage
  • Prepared PR for testing nullifier merkle trees.