Vac 2024/09/09 §
vac:p2p: §
nimlibp2p:vac:quic
- Added support for nim 2 (diego)
- Added experimental (feature flagged) support for quic in nim-libp2p (diego)
- TLS not yet included, so interop not yet possible.
- can test against itself by exchanging peer ids out of band
nimlibp2p:vac:maintenance
- Investigation into issue causing negative yamux stream metrics in grafana (Ludovic)
- Investigate issue with SAT solver not running (Alex)
- Follow up on issue with interop test artifact caching (Alex)
misc/admin
- Assorted onboarding & research (Yusef)
vac:tke: §
admin:
nomos:selfish-behavior
- studied Markov chains to define the validator utility function (Frederico)
- studied the selfish mining problem in PoW and PoS (Frederico)
- implemented the leader selection algorithm using GPU (Frederico)
codex:cdx
- defined the missing aspects of the CDX token (Frederico)
- reviewed the simulation code (Frederico)
status:L2-deployment
- waiting for Cyp to confirm the incentive framework design to plan out next step (Martin)
waku:general-incentives
- researching micropayments (Martin)
- meeting and discussion with the team (Mart
vac:dst: §
vac:dst:deployment-and-analysis:waku:midscale
- Fixed issue with perf logs not generating correctly
- Changes to 10ksim to account for this - basically SIGINT Waku then wait 150s
- Gave perf logs to Gabriel
- But: it appears perf is not giving the needed information.
- Worked with Zoltan on keep analyzing his sims
- Prepared working deployment of Waku Store
- Added a check that checks whether Store is working
- PR for improving data preparation - better folder management
- Go-waku IDONTWANT discussion/request
- Store sync discussion with Ivan
- Prepare documentation for CC OOO
- Argo Workflows deployment and tweaking
- ArgoCD is done, has Authentik integration, persistent storage
admin:misc
:vac:lab
- Restored dead node, improved monitoring and status pages, numerous internal infrastructure fixes
- Troubleshot win 10 issues https://github.com/nim-lang/vscode-nim/issues/93
- Finish chronos migration https://github.com/nim-lang/langserver/pull/225
vac:acz: §
secure-channels:waku:mls-poc
consulting:codex:proxy-re-encryption
- Publication of forum post.
zerokit:vac:maintenance
- Ready for review integration stateless feature for rln-wasm: PR
- Start working with arkzkey: compare circuit loading performance of a compressed arkzkey vs uncompressed arkzkey that is the fist task in the release 0.6.0
anon:vac:gossipsub-anonymity
- Implementing the Mix handler
- Encountering a persistent error with the json_serialization package, which is a dependency of libp2p.
- Issue faced with all libp2p imports.
- Attempted various approaches to resolve this issue.
- Seems to be an issue within the json_serialization package.
vac:sc:: §
codex::contracts-formal-verification
- continued with unit test on testing that a host cannot be paid more than once
- EIP-4337 research and presentation
status:staking-contracts-v1
- Worked on getting
mp-estimate branch ready for merge
- https://github.com/logos-co/staking/pull/97
- This was working and green on CI until we’ve introduced an optimization in
- Investigated the problem, still waiting for a reply from Certora
- Will move optimization into new PR and have it resolve there
- Worked on certora rule
pendingToBeMintedLessEqualThanTotalSupplyBalance
vac:nim: §
vac:rfc: §
vac:dr: §
vac:nes: §
state-separation:vac:state-separation-architecture-01
- Read about nodes and components (not a lot of info are available). [Moudy]
- Defined and detailed NSSA node specs: Full node components and Sandbox node components. [Moudy]
- Started to write VM and zkVM collab for NSSA. [Ugur][ACZ]
zkvm:vac:vm-foundations
- Work on the lits of ZkVMs:
- Reading node specifications. [Rostyslav]
- Report on zkVM testing. [Rostyslav]
- Research for concrete Rust dependencies for zkMIPS. [Oleksandr]
- Reading node specifications. [Oleksandr]
- Met with Engineers about drafting Zkvms testing results. [Moudy + Team]