Vac 2024/10/21
vac:p2p:
nimlibp2p:vac:webrtc-transport
- Worked on merging the protocols on nim-webrtc
- Worked on nim-libp2p webrtc-direct-transport
misc/admin
- Spent some time with the Waku team explaining circuit-relay / hole punching
vac:tke:
vac:tke:ift:based:write-up
- created writeup related optimal Univ3 deployment strats
vac:tke:ift:catsfishing-mvp:location-models
- reviewd the whole Cats Fishing project
vac:tke:ift:catsfishing-mvp:minimal-economy
- expanding the simulation framework
- Reviewed Martin’s work
- working on brainstorming of ideas for staking mech
vac:tke:ift:catsfishing-mvp:whitepaper
- Reviewed works, to start putting together as a whitepaper
vac:tke:codex:v1-supply-tokenomics:litepaper
- continued reviewing the mainnet litepaper
vac:tke:codex:v1-supply-tokenomics:validator
- finalized the model of the validator role
vac:tke:nomos:intro-base-layer-economy:tx-fees
- studied two more tx fee mechanisms: StableFees and Tiered Fees
- to decide among the four mechanism, to pick one or propose another
vac:tke:nomos:intro-base-layer-economy:mixnet
- finalized the parameter that controls the loss of competitiveness
vac:tke:nomos:intro-base-layer-economy:da-fee
- better understood what NomosDA really is about
vac:tke:status:aura-incentives:xp-program
- continuing to simulate the AURA release strategy
- monitoring progress of the two branches of staking contract development
vac:tke:waku:incentivized-rln-mainnet:rln-economy
- discussion with Franck and others on his RLN onchain analysis
- following Sergei’s progress
- Analyzed and provided feedback on the RLN doc
vac:tke:ift:tokenomics-research-forum:ve3
- researching ve(3,3) for the blog post
- starting to draft the blogpost
vac:tke:ift:tokenomics-research-forum:eip1559
- Finished ressearching material for 1559
- started to draft the blogpost
vac:dst:
waku:waku-scaling:test-store-protocol-at-scale
- Deliverables: Finished PR, Notion Page
vac:waku-evaluation:regression-testing
- Revisited perf issue
codex:codex-comparison
- Wings and Giuliano met ~daily to keep in sync
- Kept plans on track, exchanged advice
- Wings and Giuliano met ~daily to keep in sync
codex:codex-comparison:working-matrices
- Matrices are working
- but do not yet allow multiple different kinds of deployments to coexist
- Matrices are working
codex:codex-comparison:matrices-deployments
- Matrices are working
- but do not yet allow multiple different kinds of deployments to coexist
- Matrices are working
codex:codex-scaling:production-base-capacity
- Further meetings Wings x Codex
codex:codex-comparison:argocd-or-similar
- Completed full ArgoCD deployment
- Documentation still somewhat TODO! https://github.com/vacp2p/vaclab/issues/48#issuecomment-2425874036
- Code is basically done https://github.com/vacp2p/10ksim/pull/42
- Completed full ArgoCD deployment
ift:vaclab:status-page-known
- Fixed statuspage badge on https://github.com/vacp2p/vaclab/ so it shows online status
waku:waku-scaling
- Discuss lab issues, fixes
- root caused: memory overcommit
- action plan: reduce overcommit and warn when it’s occurring
- Discuss lab issues, fixes
vac:qa:
waku:status-go-functional-testing-2024q4:migrate-to-status-backend
- Meeting with status QA team
- Provided script to setup local waku network
- Understanding the APIs in status-backend and its usage.
- Understanding of existing test cases in status-cli-tests repo.
- Replace status-cli with status-backend and added common utilities requires for migration.
- Moved test_contact_request.py to new framework functional-tests repository.
vac:qa:ift:projects-qa-strategy-2024q4:waku
- Completed the waku strategy docs
waku:interop-testing-2024q4:edge-cases
- Add Tests about store flags in PR 76
- Add more edge tests on timestamp & topics to PR 77
- start working on ascending tests in PR 78
- Created issue related to topic encoding
- Analyzing 2 potenial issues about start time invalid values and ascending flag default value
- Adding tests details to tracking sheet
nomos:da-testing-2024q4:basic-functionality-tests
- Test run1 for Nomos/Da - in progress
- chore: Da behavior membership tests PR 819 - in progress 70%
- KZG10 library & Nomos KZG review [ACZ] In progress doc
vac:nim-libp2p-testing-2024q4:gossipsub
- Gossipsub - Opportunistic Grafting Test Case
- Onboarding help & reviews
vac:acz:
ift:de-mls-testnet:de-mls-rfc
- Design and pseudocode of custom authentication protocol with session management. Link to RFC. (Ramses)
- Complexity analysis of authentication protocol. Link to Notion. (Ramses)
ift:de-mls-testnet:presentation
- Preparation of presentation on deMLS for IFT research call. Link to slides. (Ramses)
- Discuss the login specs of de-mls on discord (Ugur)
ift:libp2p-mix-poc:libp2p-integration
:- Completed core message handling components including padding and fragmentation with serialization and sequence number generation based on PeerId and message content (Akshaya)
- Developed comprehensive test suites for fragmentation and sequence number generation. (Akshaya)
ift:think-tank:crypto-think-tank
- Final Notion document regarding code review. (Ramses)
vac:acz:ift:think-tank:zk-consulting-codex-2
- Continued work on dynamic proposal notes. (Marvin)
vac:acz:ift:acz-research-destination:zk-think-tank
- Fiat-Shamir blog posted. (Marvin)
- Reviewed Chapter 14 of IFT book for zk content. (Marvin)
- Began Merkle tree blog.(Marvin)
vac:acz:ift:logos-zk-calls:logos-zk-call-1
- Began work forum post answering November’s zk question. (Marvin)
ift:de-mls-testnet:ef-application
- Refine the EF grants application doc in notion (Ugur)
admin/misc
- 1 cc was ooo on Monday (Akshaya)
- 1 cc was ooo whole week (Ekaterina)
vac:sc:
vac:sc:ift:eip-discussions_2024q4
- Research and presentation on Upgradability
vac:sc:status:staking-protocol-v1:merging-existing-solutions
- minor detail in year size:
- https://github.com/vacp2p/staking-reward-streamer/issues/57
- WIP deep research spec (retriving virtual values, formulas to aid with parameters settings, etc)
- Refactored
UserInfo
toAccount
- Introduced
StakeVault
andIStakeManager
(largely based on Ricardo’s work)
- minor detail in year size:
- https://github.com/vacp2p/staking-reward-streamer/issues/57
vac:sc:status:staking-protocol-v1:upgradeability
vac:sc:status:staking-protocol-v1:documentation
- Research in Mathmatical Specification of Staking Protocol: https://github.com/vacp2p/staking-reward-streamer/issues/56
- PR draft of math spec
- Research in Mathmatical Specification of Staking Protocol: https://github.com/vacp2p/staking-reward-streamer/issues/56
vac:sc:status:staking-protocol-v1:testing
- Finalizing semantics of
maxMP
in the contract
- Finalizing semantics of
vac:sc:status:staking-protocol-v1:formal-verification
- Ported over
sumOfBalancesIsTotalStaked
invariant - Ported over
accountMPGreaterEqualsAccountBalance
invariant - Ported over rule that ensures MPs are generated at an at least 1 to 1 ratio
- Ported over rule that greater lockup times means more MPs
- Ported over
vac:sc:status:xp-nft-v1:token-implementation
- merged initial XP NFT Token https://github.com/vacp2p/staking-reward-streamer/pull/12
vac:sc:status:xp-token-v1:token-implementation
- Opened PR for “add mint function and use storage + dynamic balances” https://github.com/vacp2p/staking-reward-streamer/pull/64
- XPToken: merged Ownable2Step https://github.com/vacp2p/staking-reward-streamer/pull/51
vac:sc:codex:formal-verification_2024q4:finish-current-rules
- Extracted
allowedRequestStateChanges
into own spec file to avoid timeouts
- Extracted
vac:nim:
- CC ooo
vac:rfc:
ift:rfc:nomos:data-availability-raw-rfc-2024q4
- Continuation of the planning for a raw RFC - spoke to Alvaro and got a green light to work on DA raw RFC. (Filip)
ift:rfc:vac:rfc-culture-establishment-2024q4
- Nailing down the last few fixes for the commitments as well as adding a Status commitment. The full (hopefully final patch PR) will be committed today alongside the roadmap update. (Filip)
vac:nes:
state-separation:vac:state-separation-architecture-poc:key-protocol
- Worked on Monero’s approach.
- Revised Aztec approach.
- Worked on several key constructions: ephemeral, spending, viewing key.
- Output a key protocol specs document.
state-separation:vac:state-separation-architecture-poc:memory
- Prepared PR for testing mempool.
- Prepared PR for testing merkle trees.
- PR reviews.
- UTXO commitments storage.
- Nullifiers tree.
state-separation:vac:state-separation-architecture-poc:execution-types
- Began work on private execution.