logos-co
/
roadmap
mirror of https://github.com/logos-co/roadmap.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

vac: weekly update+

This commit is contained in:
ksr 2024-09-02 21:09:51 +02:00
parent 023687a578
commit 02149421ef
No known key found for this signature in database
GPG Key ID: E4EB341A3BB26FA5
3 changed files with 211 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
content/vac/updates/2024-08-19.md
View File

@ -87,6 +87,24 @@ draft: false
- [Draft PR](https://github.com/vacp2p/nim-libp2p/pull/1168)
### vac:acz:
- `secure-channels:waku:mls-poc`
- Merged [PR](https://github.com/vacp2p/de-mls/pull/26) about updating flow for add members
- `zerokit:vac:maintenance`
- Started work with [stateless feature](https://github.com/vacp2p/zerokit/pull/265)
- Picked up a [PR](https://github.com/vacp2p/zerokit/pull/264) about a build for wasm
- `anon:vac:gossipsub-anonymity`
- Finished [implementing Sphinx packet processing](https://github.com/vacp2p/mix/commit/2d99aebe265cb1c386db0a96208b97ca47c5eab0) and associated tests.
- Found an issue with beta computation in our spec - fixed the issue, updated the [Notion page](https://www.notion.so/Anonymized-GossipSub-Protocol-AGP-Wip-cbcbcd6067b347bb812041bce9c110ce?pvs=4), and also commited the changes to the [PR](https://github.com/vacp2p/rfc-index/pull/85/commits/7dfd46e8eeeccb0f5748bebd750784cde3108bcc).
- [Sphinx packet](https://github.com/vacp2p/mix/commit/2d99aebe265cb1c386db0a96208b97ca47c5eab0) unwrappin works correctly for one layer.
- Started to review the [mixnet specs PR](https://github.com/vacp2p/rfc-index/pull/85/files)
- `rlnp2p:waku:rlnv2-e2e`
- Started to review the [rlnv2 contract spec](https://github.com/waku-org/specs/pull/30)
- `secure-channels:waku:mls-poc`
- Added a issue about the [batch user insertion](https://github.com/vacp2p/de-mls/issues/27)
- `admin/misc`
- [updated acz milestones](https://github.com/logos-co/roadmap/pull/106)
- 1 cc was ooo whole week
### vac:sc::
- `codex::contracts-formal-verification`

17
content/vac/updates/2024-08-26.md
View File

@ -156,4 +156,21 @@ https://github.com/nim-lang/nimble/pull/1261
- Finished notes on Spartan and Pari
### vac:nes:
- `state-separation:vac:state-separation-architecture-01`
- Published the blogpost [Moudy]
- Started looking into different components in specific. [Moudy]
- Worked on UTXOs Lifecycle [Moudy]
- Worked on ephemeral keys and UTXOs [Moudy]
- Work on public key setup, and key agreement (for private/shielded executions) [Marvin][DR]
- Study details of key specification [Ugur][ACZ]
- Discuss and create a topic list with Marvin for detailed architecture. [Ugur][ACZ]
- `zkvm:vac:vm-foundations`
- Work on the [lits of ZkVMs](https://notes.status.im/ugF2lAAKTuG_t5PcdWwuwg):
- Getting access and setting up SP1 and RISC0 zkVMs, issues [Rostyslav]
- Started working on memory testing for SP1, RISC0 [Rostyslav]
- Implemented memory allocation tests for zkWASM, zkMIPS [Oleksandr]
- Started implementation of memory allocation test for Valida [Oleksandr]
- Setted up working environment to operate with zkWASM, zkMIPS and Valida on remote server [Oleksandr]
- Published the blogpost. [Moudy]

176
content/vac/updates/2024-09-02.md Normal file
View File

@ -0,0 +1,176 @@
---
title: "2024-09-02 Vac weekly"
tags:
- "vac-updates"
date: 2024-09-02
lastmod: 2024-09-02
draft: false
---
## Vac 2024/09/02
### vac:p2p:
- `nimlibp2p:vac:webrtc-transport`
- Try to fix CI issues on [window](https://github.com/vacp2p/nim-webrtc/actions/runs/10631262844/job/29471793407) and [macos](https://github.com/vacp2p/nim-webrtc/actions/runs/10631262844/job/29471792877)
- [Find and fix a bugs while disconnecting/reconnecting](https://github.com/vacp2p/nim-webrtc/pull/22)
- Closing Sctp/Dtls connection didn't close all the stack
- Closing StunConn didn't work properly
- Rework on how the closing work to avoid potential race conditions
- `nimchronos:vac:maintenance`
- [make SomeFuture public](https://github.com/status-im/nim-chronos/pull/556)
- `nimlibp2p:vac:maintenance`
- Reviewing PRs
- [fix: create raceAndCancelPending proc](https://github.com/vacp2p/nim-libp2p/pull/1175)
- Interop solutions conversations/investigation: S3, GH registry
- Github Pro: Nothing to leverage
- Daily SAT Solver test
- Fix minor issues
- [Ready for Merge](https://github.com/vacp2p/nim-libp2p/pull/1177)
- `nimlibp2p:vac:quic`
- [chore: update nim-ngtcp2 to latest version](https://github.com/vacp2p/nim-quic/pull/45)
- [feat(transport): add QUIC Transport](https://github.com/vacp2p/nim-libp2p/pull/7)
### vac:tke:
- `nomos:selfish-behavior`
- continued the required coding for this study (Frederico)
- reviewed Bernoulli and Poisson random processes to define the validator utility function (Frederico)
- Small adjustments/additions on the analysis (Juan)
- `codex:cdx`
- mapped out the missing aspects of the CDX token (Frederico)
- reviewed Codex latest developments on L2 pricing (Frederico)
- To Collab with Frederico's tasks (Juan)
- To keep working on code, making it more granular etc. (Juan)
- `status:L2-deployment`
- waiting for Cyp to describe the incentive framework to provide feedback (Martin)
- detailed suggestions for cats fishing reward scheme - researching further dual token model (Martin)
- To staart unifying docs on catsFishing (Juan)
- Prepare meeting with Ned for after Sept. 1 (Juan)
- `waku:general-incentives`
- getting familiar with and following the discussion around the RLN Solidity contract (Martin)
- `others`
- reviewing the points system for ordinals, additional feedback (Martin)
- hacking solo at ETHOnline hackathon (Martin)
### vac:dst:
- `vac:dst:deployment-and-analysis:waku:midscale`
- Finish new concurrent analysis branch
- PR open at https://github.com/vacp2p/10ksim/pull/36
- Additional enhancement work at https://github.com/vacp2p/10ksim/pull/37
- Attempted new simulations with `perf record` to give to Gabriel
- Still no results as pods refusing to gracefully terminate `perf`
- Continue to investigate message duplication issues
- Re-analysed Zoltan's results
- Documented discoveries in [Message hash duplication (ONGOING)](https://www.notion.so/Message-hash-duplication-ONGOING-d59f6133a2e341398064562d7a4c74f2?pvs=21)
- Waku simulations for 0.32-rc-2
- [Waku regression testing - v0.32 (ongoing)](https://www.notion.so/Waku-regression-testing-v0-32-ongoing-bd02464a483d402bac92ba4c7086e232?pvs=21)
- Argo Workflow research
- Solution will be a combination of ArgoCD, Argo Workflows, git repos
- Deployed ArgoCD and Argo Workflows
- Debugging perf record issues
- Primary issue is we can't seem to kill the pods gracefully, a number of fixes tried so far
### vac:qa:
- `waku:interop-testing-02`
- added metrics [tests](https://github.com/waku-org/waku-interop-tests/pull/68)(@Florin)
- added log checks at the end of all [tests](https://github.com/waku-org/waku-interop-tests/pull/67)(@Florin)
- discusses with Hanno and SP about Store-Sync, started playing with that(@Florin)
- `nomos:test-automation-data-availability`
- [Test run1 for Nomos/Da - in progress](https://www.notion.so/DA-Test-Plan-Run1-084243a3256c47ae9eee1cfd46fd469b)(@Roman)
- chore: Da kzgrs-backend unit tests update(@Roman)
[PR 700 - in review](https://github.com/logos-co/nomos-node/pull/700)
- `vac:test-automation-nim-libp2p`
- Gossipsub - Peer discovery(@Alex)
- [Ready for review](https://github.com/vacp2p/nim-libp2p/pull/1168)
- Gossipsub - Message propagation(@Alex)
- [WIP](https://github.com/vacp2p/nim-libp2p/pull/1184)
- Having issues with asserting some parts
- While testing found issue on file that relates to [this old PR](https://github.com/vacp2p/nim-libp2p/pull/1145).
### vac:acz:
- `secure-channels:waku:mls-poc`
- Completed theoretical analysis of deMLS. [First draft](https://www.notion.so/WIP-Theoretical-model-for-deMLS-88db0b0f4f7c42db80dff8a02b3bb096).
- Meeting with Ugur about the status of the [RFC](https://github.com/vacp2p/rfc-index/pull/84/files).
- Completed correction of linting errors in the [RFC](https://github.com/vacp2p/rfc-index/pull/84) and merged the branch.
- 2 cc reviewed de-mls RFC latest version from this [PR](https://github.com/vacp2p/rfc-index/pull/84)
- Start to work on determining the new milestone for de-mls testnet [poc](https://github.com/vacp2p/de-mls)
- `zerokit:vac:maintenance`
- Merged [PR](https://github.com/vacp2p/zerokit/pull/265) about stateless feature
- Started working on integration stateless feature into rln-wasm: [PR](https://github.com/vacp2p/zerokit/commit/0d5642492a2c31c7c286e581626771395aae5cff)
- `consulting:codex:proxy-re-encryption`
- Finished [forum post](https://www.notion.so/Forum-post-on-Plausible-Deniability-9f6b1216b44546da853fb2bc0fd59be6) (Yet to be published).
- Finished a first approach to Codex's cryptographic components. Includes the preparation of an [internal report](https://www.notion.so/WiP-Cryptographic-components-analysis-16ce76839323476ca879923fb39c0f22).
- `anon:vac:gossipsub-anonymity`
- Sphinx packet wrapping tests are complete and functioning [end-to-end](https://github.com/vacp2p/mix/commit/bc2e6ea8bdf93052f8483b7524b5b2a36492beb9).
- [Pow computation and verification](https://github.com/vacp2p/mix/commit/32b0ccd1522e53e93292d196d2908b45ef829bee) have been added.
- Started integration with libp2p in two commits: [1](https://github.com/vacp2p/mix/commit/707fabffa31eaabb6e86f77c3937cefb1361ac21), [2](https://github.com/vacp2p/mix/commit/c77abc9873d8cd73f4a618a362107c1a1e480a80)
- Separated networking functionalities for better modularity.
- Encountering an error with the json_serialization package.
- Working on the Mix handler.
- Start to the mixnet milestone from DR to ACZ and enhance the related [milestone](https://roadmap.logos.co/vac/dr/anon/vac/gossipsub-anonymity).
- `admin/misc`
- Reading of the paper about [Marlin](https://eprint.iacr.org/2019/1047). Decision of aptitude for a [code review](https://crates.io/crates/ark-poly-commit).
- Reading about KZG commitment scheme. Short discussion with Roman.
### vac:sc::
- `status:staking-contracts-v1`
- Started Cleanup zombie code and outdated behavior
- [removed restake ability](https://github.com/logos-co/staking/commit/5d204fee27bc2d15ea2234127982afd59a017062#diff-7c9d8f98d816b0c54f20f2c5790ef649167479fd4f527d3f4bf4b0c6c220f028)
- Research on [ERC-4626: Tokenized Vaults](https://ethereum.org/en/developers/docs/standards/tokens/erc-4626/) to create a user friendly standarized methods to stake and unstake through a intermediary contract [VaultManager](https://github.com/logos-co/staking/blob/vault-manager/contracts/VaultManager.sol)
- Worked on getting `mp-estimate` branch in mergeable state
- Fixed certora rules -> had to apply a dispatcher resolution hack to get around the issue with contract instantiation inside constructors
- Cleaning up code and tests
- Stuck with one test that still failing
- `vac:maintainance/misc`
- Research on [EIP-1271 dependents](https://notes.status.im/xKtEzQYWTc6NDGprzsPp9g#)
- `codex::contracts-formal-verification`
- worked on `The contract has enough funds to pay back everything` https://github.com/codex-storage/codex-contracts-eth/pull/169
- blocked after talking with the Certora team. It looks like there's no simple way to verify it and they are going to find other ways to do it.
- worked on rules about possible slot transitions https://github.com/codex-storage/codex-contracts-eth/pull/171
- continue with https://github.com/codex-storage/codex-contracts-eth/issues/126
- Implemented ghost variables for slots field and request contexts within CVL rules
- PR: https://github.com/codex-storage/codex-contracts-eth/pull/167
- Fixed CI issue that prover runs would not exit with error code, causing CI task to be green
- PR: https://github.com/codex-storage/codex-contracts-eth/pull/1
### vac:nim:
- `tooling:vac:nimble`
- Fixes broken symlink
https://github.com/nim-lang/nimble/pull/1264
- `tooling:vac:editor`
- Adds support for optional socket transport #94
https://github.com/nim-lang/vscode-nim/pull/94
- `tooling:vac:lsp`
- Chronos migration WIP: https://github.com/nim-lang/langserver/pull/225
(Fixes multiple preexisting issues, complete socket integration, etc.)
### vac:rfc:
- `admin/misc`
- Worked on fix workflow linting - https://github.com/vacp2p/rfc-index/pull/90
- `codex:specs-init`
- Started first draft of Codex manifest RFC - https://github.com/codex-storage/codex-spec/pull
### vac:dr:
- `admin/misc`
- Continued organizing [notions page](https://www.notion.so/Zero-Knowledge-Proofs-7fe978ddebb3458895e9887c67ec11fd)
- `gsub-scaling:vac:gossipsub-improvements-paper`
- Worked on [large message improvements article](https://www.overleaf.com/project/65c91200e9dbfb3cafb6edaf) on overleaf (still a WIP, likely to finish in next 2-3 days)
- `zk:codex:zk-consulting`
- Worked on node aggregation
### vac:nes:
- `state-separation:vac:state-separation-architecture-01`
- Worked on breaking down architecture components [Moudy]
- Started working on node requirements [Moudy]
- Worked on ephemeral keys and UTXOs [Moudy]
- Met with Team for node specs [Team]
- Posted notes on [key exchange](https://hackmd.io/4gGjdvMITaWuhbCTdSGNxA?view), [public key and address](https://hackmd.io/mJmc5xTtTNiycQf5hb2vKQ?view) [Marvin][DR]
- `zkvm:vac:vm-foundations`
- Work on the [lits of ZkVMs](https://notes.status.im/ugF2lAAKTuG_t5PcdWwuwg):
- Finished writing memory test for SP1 and RISC0 [Rostyslav]
- Started working on memory testing for Nexus [Rostyslav]
- Written memory allocation test for Valida [Oleksandr]
- Debugged Valida guest programs compilation with non-trivial dependencies [Oleksandr]
- Written general purpose benchmark scripts [Oleksandr]
- Run benchmark tests on remote machine for zkMIPS and zkWASM [Oleksandr]
- Met with Engineers regarding Zkvm decision + Node specs [Team]