roadmap/2024-08-19.md at 023687a578411e0e55b5a5226fe9ef234aff3ba5

title

Vac 2024/08/19

nimlibp2p:vac:webrtc-transport
- DTLS: https://github.com/vacp2p/nim-webrtc/pull/10
  - addressed the last comments
  - merging the PR
nimlibp2p:vac:maintenance
- Yamux Leak Fixed
- Work locally on rendezvous sub/unsub strange behavior
  - PR: https://github.com/vacp2p/nim-libp2p/pull/1178
nimlibp2p:vac:quic

admin:
- met with Nomos to decide next steps (Frederico)
- updated the TKE milestones for Nomos (Frederico)
- OOO on Monday (Juan)
nomos:cryptarchia-wealth-concentration-known-stake
- Finished V1 of the statistical analysis & discussed with team (Juan)
nomos:selfish-behavior
- developed most of the code required for this study (Frederico)
codex:cdx
- presented the project at the IFT Research Call (Frederico)
status:L2-deployment
- analysis and discussion with Ned on minimizing inflation impact (cats fishing) (Martin)
- worked on catsfishing XP program (Juan)
status:SNT-staking
- following latest edits (Martin)
waku:general-incentives
- following up on the credits system and analyzing compatibility with other exisiting ideas (Martin)
others
- initial analysis of the distribution platform and its properties (Martin)
- helping and feedback to Matt for the ordinals strategy (Martin)
- exploring project ideas for EthOnline (Martin)
- Meeting with Matt on ordinals (Juan)

waku:interop-testing-02
- start implementing at e2e tests(@Florin)
- Debate with conclusion: Product strategy X quality(@Roman) NWaku Issue 2949 - closed Could Waku-interop-tests suite aid for OWN builders as reference?
nomos:test-automation-data-availability
- Review test plan comments for Data Availability(@Florin)
- Going through code/tests, write new unit tests when appropriate(@Roman)
- Code base not ready for high level integrations tests yet(@Roman) Test run1 for Nomos/Da
vac:test-automation-nim-libp2p
- Conditional SAT solving(@Alex)
  - Ready for review PR
- Remove duplicate msg key in logs(@Alex)
  - Merged PR
- Windows fix for multihash poseidon PR(@Alex)
  - Investigate. Can't replicate on local Windows.
  - Draft PR
- [QA] Gossipsub - Peer discovery(@Alex)
  - Fix "frequent sub/unsub" tests thanks to Ludovic's investigation.
  - Draft PR

codex::contracts-formal-verification
- Rules review session with Certora team and codex
- Implemented rule to verify slotstate and requeststate changes count
  - https://github.com/codex-storage/codex-contracts-eth/pull/152
- Noticed a bunch of rules are not actually passing due to bug in config
  - https://github.com/codex-storage/codex-contracts-eth/pull/158
- Worked on getting rules pass with updated config
  - WIP branch: e45724f825
- added spec on slot's missed periods count https://github.com/codex-storage/codex-contracts-eth/pull/155
- updated Certora config https://github.com/codex-storage/codex-contracts-eth/pull/158
- WIP work on slot state transition to Failed ba42fb3428
- Started looking at a new issue "a host can't receive a payment twice" https://github.com/codex-storage/codex-contracts-eth/issues/126
status:staking-contracts-v1
- MP estimation algorithm adjustments to account for proper max boost limit amount

tooling:vac:lsp
- Chronos migration WIP: https://github.com/nim-lang/langserver/pull/225 Basics working in stdio. Troubleshooting socket transport. There are multiple issues still to be fixed and refactors needs to be done
tooling:vac:editor
- Release 1.0.2: https://github.com/nim-lang/vscode-nim/releases
tooling:vac:compiler
- Fixes #23962 resetLocdoenst produce any cgen code in importcpp types #23964 https://github.com/nim-lang/Nim/pull/23964
- Fixes an issue where two types can collide in the cgen #23937 (WIP) https://github.com/nim-lang/Nim/pull/23937

codex:specs-init
- Added feedback to marketplace rfc, a rework by member of marketplace team - https://github.com/codex-storage/codex-spec/pull/2
- Had sync meeting with marketplace team Thursday
nomos:specs-init
- Continued reading Nomos DA docs, made some changes, not ready for second round of feedback - https://github.com/vacp2p/rfc-index/pull/41

gsub-scaling:vac:gossipsub-simulation
- Completed testground simulation for nim-libp2p gossipsub commits bac754e2a and 9b11fa733
zk:codex:zk-consulting
- Continued notes on Mova, and notes on Spartan.
- Read Pari and began notes.