Vac 2024/07/22 §
vac:p2p: §
nimlibp2p:vac:webrtc-transport
nimlibp2p:vac:maintenance
vac:tke: §
admin
- Working towards ETHcc report (Juan)
nomos:cryptarchia-wealth-concentration-known-stake
- understood the cryptoeconomic perspective of PoW for Executors (Frederico)
- continued developing the code to analyse the selfish behavior when choosing the fork rule (Frederico)
status:L2-deployment
- reviewed the work about CoW swap (Frederico)
- understood how fishs are modeled in the Cats Fishing project (Frederico)
- Finalised CoWSwap comparisson work and simulations (Juan)
- Wrote a presentation for the CowSwap comparison (Juan)
- Discussed legal aspects of sucha model (Juan)
- Worked on CatsFishing (Juan)
- catch up on current state (Martin)
codex:testnet-incentive
- reviewed discussion with Codex team and mapped out next steps (Frederico)
waku:general-incentives
- catch up on current state (Martin)
codex:cdx
- Minor work on simulations (J
vac:dst: §
vac:dst:deployment-and-analysis:waku:midscale
- Discussions with Hanno about what to check in DiscV5
- Add parsing code for VictoriaMetrics compatibility
- While measuring reliability, found three separate issues:
- Problems with logging. Missing messages were not logging because of REST (fixed)
- Problem with duplicated hash messages (TODO)
- Problem with missing messages
- Run simulations for Waku v0.31
- Investigated network issues reported that affected even very small deployments
- Unable to reproduce, but switches were rebooted between report and tests
vac:dst:deployment-and-analysis:waku:10k
- Continue metrics scaling + VictoriaMetrics fixes
- 10K report - multiple simulations to prepare for it
- 10k being reliably reached, metrics still choking
vac:dst:tooling:vac:visualiser-tool
- Meeting (Alberto x Wings) to discuss Visualiser split and show each other the tools created
- “DST Visualiser” (nodejs/react) to be used for live analysis
- “Debug Visualiser” (python3) to be for more extensive post-simulation analysis/“playback”
- Testing visualiser on a 10K swarm
vac:qa: §
waku:interop-testing-02
vac:test-automation-nim-libp2p
- started creating test plan for Gossipsub(@Florin)
waku:test-automation-status-go-cli
- discussions with waku and status team regarding future work(@Florin)
nomos:test-automation-cryptarchia
vac:test-automation-nim-libp2p
- Update CI Cleanup PR with suggestions(@Alex)
waku:test-automation-rln
- Fix coverage and run(@Alex)
- Run simulations to give more data for these issues(@Alex)
- Update MAX_MESSAGE_LIMIT README PR(@Alex)
admin/misc
vac:acz: §
rlnp2p:waku:rlnv2-e2e
secure-channels:waku:mls-poc
- Preparing the inclusion of the on-chain component in the RFC: reading the repos and figuring out the architecture.
- Research on finality times on different L2s for onchain component.
- Finished work with CLI integration and merged PR
- Merged small fix regarding getting own message PR
- Created a demo of using cli video link
- Started fixing the functionality regarding the smart contract and local cache - adding multiple keys during registration, remove unused functionality open PR
zerokit:vac:maintenance
- started a discussion about improving zkey processing time by switching to preprocessing (more details in discord thread)
admin/misc
- Submission of proposal for delivering a talk in Devcon Bangkok. Same presentation as for EthCC Brussels but including latest advances.
- CCs getting tickets for devcon
- Update the ethcc notes (for full doc in notion)
vac:sc:: §
codex::contracts-formal-verification
- merge certora PR + cleanup and rebase to make PR ready
- Had kick-off meeting with Certora and Codex to get Marketplace contracts formally verified
- Waiting for certora to provide first properties to work on
- Next session we’ll discuss list of properties to work on after that
status:staking-contracts-v1
- Had a couple of pair programming sessions with Ricardo to tackle MP estimation
- Few problems we ran into:
- Precision loss results in wrong calculation
- Epochs beyond limit epoch generate wrong pending MP estimations
- Created a fuzz test that demos the issue
- Would like to learn how to turn that fuzz test into a Certora rule
- Meeting with Status Chain and TKE
- Discussed high level goals
- Some details about staking protocol still unclear
- Considering moving MP calculation out of staking entirely and do it offchain (as XP)
vac:nim: §
tooling:vac:lsp
tooling:vac:nimble
tooling:vac:editor
vac:rfc: §
nomos:specs-init
codex:specs-init
vac:dr: §
vac/admin
gsub-scaling:vac:gossipsub-simulation
- Continued worked on testground simulator. Specifically, developed understanding about writing test plans, and run/play with different example test plans (from other libp2p implementations).
vac:dr:anon:vac:gossipsub-anonymity
- Continued working on Anonymized GossipSub Protocol (AGP) specification. Specifically, completed the implementation details of the custom mixnet protocol, extend Sphinx to support address + destination of combined size tk, recommend appropriate cryptographic algorithms, made some changes to the approach followed in Sphinx Go implementation, to improve performance.
- Begin to implement Sphinx library in Go.
zk:codex:zk-consulting
vac:nes: §
state-separation:vac:state-separation-architecture-01
- Finished working on execution types covering the 3 different types (Private, Shielded, Deshielded) [Moudy]
- Worked on different components for the state separation Blogpost. [Moudy]
- Reviewed key management and lists of primitives from Ugur and Marvin. [Moudy]
- Create a doc for cryptographic primitives inside and ouside of the kernel circuits in notion. [Ugur + Moudy][ACZ]
- Expand the missing components for State-Separation file in notion. [Ugur + Moudy][ACZ]
zkvm:vac:vm-foundations
- Work on the lits of ZkVMs:
- Continued going through partial homomorphic encryption schemes’ materials [Rostyslav]
- Reviewed elgamal-encryption, rsa-algorithm repo [Rostyslav]
- Investingated workaround to use Rust code for Valida [Oleksandr]
- Work on cryptographic primitives list needed to be added for zkVMs. [Marvin][DR]