From 02149421efbf2d967cb361aba3a9ae7daeb27f2a Mon Sep 17 00:00:00 2001 From: ksr Date: Mon, 2 Sep 2024 21:09:51 +0200 Subject: [PATCH] vac: weekly update+ --- content/vac/updates/2024-08-19.md | 18 +++ content/vac/updates/2024-08-26.md | 17 +++ content/vac/updates/2024-09-02.md | 176 ++++++++++++++++++++++++++++++ 3 files changed, 211 insertions(+) create mode 100644 content/vac/updates/2024-09-02.md diff --git a/content/vac/updates/2024-08-19.md b/content/vac/updates/2024-08-19.md index 2f78c1017..b68be8fb0 100644 --- a/content/vac/updates/2024-08-19.md +++ b/content/vac/updates/2024-08-19.md @@ -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` diff --git a/content/vac/updates/2024-08-26.md b/content/vac/updates/2024-08-26.md index 76b5c65bf..656e73f4d 100644 --- a/content/vac/updates/2024-08-26.md +++ b/content/vac/updates/2024-08-26.md @@ -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] + diff --git a/content/vac/updates/2024-09-02.md b/content/vac/updates/2024-09-02.md new file mode 100644 index 000000000..71e68c324 --- /dev/null +++ b/content/vac/updates/2024-09-02.md @@ -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] +