Create 2024-09-09.md

This commit is contained in:
Cofson 2024-09-11 15:53:00 +02:00
parent cc732b93ab
commit 0e2b85ab11
1 changed files with 86 additions and 0 deletions

View File

@ -0,0 +1,86 @@
---
title: 2024-09-09 Nomos weekly
tags:
- nomos-updates
date: 2024-08-09
lastmod: 2024-08-09
draft: false
description: Weekly update of Nomos
project tracking: https://www.notion.so/Project-Tracking-4fb69250b0114573a71c57882165eec3
---
## `P2P Privacy`
### `Research`
- Ordering Measurements: Performed experiments [5](https://www.notion.so/Nomos-Mix-Queueing-Mechanism-Experimentation-Methodology-d629af5a2d43473c9ec9ba191f6d904d?pvs=4#8a4d4d63657b4ed3832e68301170c1c4) and [6](https://www.notion.so/Nomos-Mix-Queueing-Mechanism-Experimentation-Methodology-d629af5a2d43473c9ec9ba191f6d904d?pvs=4#8a4d4d63657b4ed3832e68301170c1c4) of the ordering measurements (which are the heaviest). Experiment 6 took more time than expected due to randomness in some queue types. We had to lower one parameter (the number of messages generated) to finish the experiment in a reasonable time. Additionally, we implemented an optimization to reduce gossip traffic. As a result, both experiments 5 and 6 were completed by Thursday (2024-09-05).
- Ordering Measurements: Since 2024-09-06, we have been analyzing the results of the latest experiments, focusing on the average number of data messages in queues, the average latency for messages (from sender to receiver), the ordering coefficients (to compare the mix effects), and the calculated outputs: [exp5](https://www.notion.so/Nomos-Mix-Experiments-Tracking-ad7e2b8f632c4b60a20a2ff65fd03cc9?pvs=4#1442de7b28f54ab58281392d2a98bf17) and [exp6](https://www.notion.so/Nomos-Mix-Experiments-Tracking-ad7e2b8f632c4b60a20a2ff65fd03cc9?pvs=4#c54160a3d6b14a058f49089c791c5cd9). These are not yet nicely visualized reports but can be analyzed in detail by the Mixnet Workgroup. The ordering coefficient for experiment 5 is still being calculated.
- We identified information leakage in the noisy lottery design, which we started addressing by generalizing the lottery to the l-hop case. Instead of a single hop, we added more hops to better mimic data traffic. This reduced the leakage, but it requires [modifications to the payment mechanism](https://www.notion.so/Nomos-Mix-Peer-to-Peer-Mix-Network-over-Gossip-Channel-11e9c70a656d4ff1858bc46a715f4c59?pvs=4#80e8f3495ad14199b9f3d5378c73b960) for noise generation, which is in progress.
- The discovery of this issue came while working on the payment mechanism for mixing, which is advancing but requires modifications to align with the noisy lottery. This is not fully documented but can be found [here](https://www.notion.so/Nomos-Mix-Peer-to-Peer-Mix-Network-over-Gossip-Channel-11e9c70a656d4ff1858bc46a715f4c59?pvs=4#dee3a11560834b689f41447c678ad2e6).
- Analysis of latency in the Nomos mix network: We analyzed the latency of a broadcast in the finite connectivity regime of communication networks. In this regime, a node is connected to a finite number of other nodes in the network. We assumed a network of size NNN has a topology of a random regular graph with connectivity ccc. Message delay is governed by a Geometric distribution with parameter qqq, i.e., a message is removed from the out-queue with probability qqq, and a constant delay in communication links. For this model, the latency of broadcast (divided by log(N)\log(N)log(N)) converges to some (non-random) value, depending on qqq and ccc, as NNN grows. Furthermore, for small qqq, the latency of broadcast is consistent with 2log(N)(c1)qc(c2)\frac{2 \log(N)(c-1)}{q c(c-2)}qc(c2)2log(N)(c1) but deviates for larger qqq. From this, it follows that latency grows as log(N)\log(N)log(N) with NNN in the finite connectivity regime. This work is summarized [here](https://www.notion.so/Analysis-of-the-Nomos-Mixnet-Anonymous-Communication-AC-System-c97d73a7b8894cf7830e8345f0cc37a4?pvs=4#bdf5ca02115f44d9bd3f8da8cdebf26c).
### `Development`
- No updates this week.
## `Data Availability`
### `Research`
- No updates this week.
### `Development`
- [PR #715](https://github.com/logos-co/nomos-node/pull/715/files) (Node) - implemented DA network in the verifier libp2p adapter.
- [PR #722](https://github.com/logos-co/nomos-node/pull/722) (Node) - implemented trigger sampling from DA mempool.
- [PR #723](https://github.com/logos-co/nomos-node/pull/723) and [PR #725](https://github.com/logos-co/nomos-node/pull/725) (Node) - implemented trigger sampling in Node.
- [PR #729](https://github.com/logos-co/nomos-node/pull/729) (Node) - first attempt at storage relay (closed due to incompatible types).
- [PR #730](https://github.com/logos-co/nomos-node/pull/730) (Node) - implemented incoming sampling request handling.
- [PR #731](https://github.com/logos-co/nomos-node/pull/731) (Node) - implemented adding column index in the sample requests.
- [PR #732](https://github.com/logos-co/nomos-node/pull/732) (Node) - implemented `get_blob` on sampling RocksDB adapter.
- [PR #733](https://github.com/logos-co/nomos-node/pull/733) (Node) - implemented minimal correct configuration for two nodes participating in DA network to receive BlobInfo into a mempool, start sampling, propose a block with BlobInfo, and eventually provide available blobs via the indexer API for the requested AppID and range.
## `PPoS/Consensus`
### `Research`
- [PR #114](https://github.com/logos-co/nomos-specs/pull/114) (nomos-specs) - added the first PR for the PoL Python spec.
- The existing PoE design was reviewed, and [pseudocode](https://www.notion.so/PoE-8d2721d787684c8bbf5b223b724478bb) was prepared.
- [First attempt branch](https://github.com/logos-co/nomos-node/tree/PoE) for PoE spec (working but not acceptable in terms of cycles).
- [Extended the PoV specs](https://www.notion.so/Proof-of-Validator-Specification-5cd02f594d4d4a66be5e9f1ebf95d7d8?pvs=4#d07d5f29743b444395cba40f30239820), which need some discussion and review.
- Started studying the selfish mining problem in PoW and PoS - [notes](https://www.notion.so/Selfish-Mining-in-PoS-622b9b384f4e4e67be88338c0fa9c714).
- Added a few more [paragraphs](https://www.notion.so/Does-Crypsinous-Leader-Election-Function-lead-to-wealth-concentration-in-PoS-b81f07a791b745438443f51f00ac258f#22fa3481f8ff452db8bce847b74e33b9) in the Selfish Behavior section.
### `Development`
- [PR #718](https://github.com/logos-co/nomos-node/pull/718) and [PR #721](https://github.com/logos-co/nomos-node/pull/721) (Node) - integration of leadership proofs in the node. We have an issue mostly around long CI times, and we might cut some corners at some point to unblock things until we get more powerful runners.
## `Coordination Layer`
### `Research`
- [Updated zkVM](https://www.notion.so/Preliminary-Research-ZKVM-s-for-CL-Design-310996a4924149b986f28ed7d387a363) benchmarks with a new VM (**Lurk** that is fast but leads to large proofs).
- Prepared notes from the sources read about Verkle trees and MPC for future studies: [Verkle Tree](https://www.notion.so/Verkle-Tree-27dbb841d1f74f6390b7de95a977934c) and [MPC](https://www.notion.so/MPC-e1c64e02d94c4a0e9e6eefd316185df2).
### `Development`
- No updates this week.
## `Testnet + Insights`
### `Development`
- [PR #726](https://github.com/logos-co/nomos-node/pull/726) and [PR #727](https://github.com/logos-co/nomos-node/pull/727) (Node) - CI: Investigated Risc0 installation options. Apart from Metal not being available in GitHub runners, we also ran out of disk space. A self-hosted runner would be a solution - [Infra Request](https://github.com/status-im/infra-misc/issues/364).
## `User Tools`
### `Research`
- No updates this week.
### `Development`
- No updates this week.
## `Miscellaneous`
- No updates this week.