From 3cc82db564f1b28f5ba2224224316c17b4dead4f Mon Sep 17 00:00:00 2001 From: Cofson <41572590+Cofson@users.noreply.github.com> Date: Wed, 9 Oct 2024 11:50:58 +0200 Subject: [PATCH] Create 2024-10-07.md (#140) --- content/nomos/updates/2024-10-07.md | 74 +++++++++++++++++++++++++++++ 1 file changed, 74 insertions(+) create mode 100644 content/nomos/updates/2024-10-07.md diff --git a/content/nomos/updates/2024-10-07.md b/content/nomos/updates/2024-10-07.md new file mode 100644 index 000000000..8ab42559d --- /dev/null +++ b/content/nomos/updates/2024-10-07.md @@ -0,0 +1,74 @@ +--- +title: 2024-10-07 Nomos weekly +tags: + - nomos-updates +date: 2024-10-07 +lastmod: 2024-10-07 +draft: false +description: Weekly update of Nomos +project tracking: https://www.notion.so/Project-Tracking-4fb69250b0114573a71c57882165eec3 +--- + +## `PPoS / Consensus / DA` + +### `Research` + +- Finished the [PoV integration specification](https://www.notion.so/Proof-of-Validator-Specification-5cd02f594d4d4a66be5e9f1ebf95d7d8?pvs=4#d07d5f29743b444395cba40f30239820) (added some details, fixed the validity period of a PoV, and added new diagrams). Currently under review. +- [Studied](https://www.notion.so/Transaction-Fee-Mechanism-Design-for-the-Ethereum-Blockchain-da641345369b44158c213f1cbce22529) the EIP-1559 papers, focusing on the transaction fee market and block rewards. +- Analyzed “safety and liveness” in a variant of the Ouroboros consensus algorithm: Identified materials relevant to the “safety” and “liveness” properties of Cryptarchia, a variant of the Ouroboros Crypsinous consensus protocol. In the Ouroboros family (Ouroboros → O. Praos → O. Genesis → O. Crypsinous), the so-called “persistence” and “liveness” properties of the transaction ledger are proven. These properties are variants of the “safety and liveness” typically proven in BFT PoS protocols. The core mathematical tool used in the persistence and liveness proofs involves mapping (forked) chains to trees, which are then converted to a ternary string. This work is summarized in this (WIP) [document](https://www.notion.so/Analysis-of-safety-and-liveness-1188f96fb65c804c9f46c04c5763de8c?pvs=4). +- NomosDA explainer series (draft): Completed the NomosDA docs Encoding [page](https://www.notion.so/Encoding-1038f96fb65c8077a9f9f895327e5a05). +- NomosDA explainer series (draft): Continued work on the NomosDA docs Dispersal and Sampling [page](https://www.notion.so/Dispersal-and-Sampling-10d8f96fb65c80ebb220e0fdad24bbb1). +- [PCS Comparison](https://www.notion.so/Oct-11-PCS-Comparison-for-DA-10e8f96fb65c80a8aa12e881d17f271d) for DA blog post is in progress. +- Simulation and analysis of Cryptarchia improvements: We modeled and started analyzing Cryptarchia improvements. The report is available [here](https://www.notion.so/Analyzing-Cryptarchia-Improvements-1188f96fb65c804aab14c68f191976fb?pvs=4#1188f96fb65c802db858fa2065e8e02a). + +### `Development` + +- [PR #795](https://github.com/logos-co/nomos-node/pull/795) (Node) - Completed the implementation of the Executor network service. +- [PR #801](https://github.com/logos-co/nomos-node/pull/801) (Node) - DA Executor HTTP API: Implemented the reuse of common parts to handle node-related requests and added the ability to allow custom executor request handling. Also, working on similar changes for node and executor config files. +- [PR #805](https://github.com/logos-co/nomos-node/pull/805) (Node) - Added a DA Replication Membership test. +- [PR #806](https://github.com/logos-co/nomos-node/pull/806) (Node) - Implemented the Dispersal service (encoding + dispersal). +- [PR #808](https://github.com/logos-co/nomos-node/pull/808) (Node) - Implemented the reconstruction algorithm from the original pieces. + +## `Mixnet` + +### `Research` + +- Held internal discussions to define the details of the Nomos Mix protocol, especially regarding the role of Tier-1: Persistent Mix and the range where Tier-2: Temporal Mix is used. The output of the discussion is summarized in the [discussion notes](https://www.notion.so/2024-10-02-Clarifying-Protocol-Details-1158f96fb65c80d197ede1967439d34d?pvs=4). Further discussion is still needed to solidify the first working version with low latency and bandwidth. Because of this, we couldn't proceed with development as we aimed to clarify the protocol before starting any significant Rust codebase changes. Now that the major components of the Mix protocol are clear, we will begin writing the implementation while improving the specification documents. We will work on both spec writing and implementation in parallel, given our schedule. +- Developed a simple [“calculator”](https://docs.google.com/spreadsheets/d/1eHfTir09CMkVqFTB78eZR9a0980XRi62Lyw7sa-AxjE) to show the theoretical limits associated with bandwidth, latency, and network size. Based on the discussions, we decided to increase the mix network’s bandwidth allowance. We also aim to find a “sweet spot” between message dissemination latency, bandwidth, and network size. Additionally, the GTR part of the design needs to be revised in terms of bandwidth and latency. +- Pushed the [documentation effort](https://www.notion.so/WIP-Nomos-Mix-Tier-3-Cover-Traffic-10b8f96fb65c80cab153de10115e0023) forward, completing the last part of the core mix architecture, the cover traffic. The “core” defines the basic mechanisms that make the design work, without any incentives yet. + +### `Development` + +- No updates this week. + +## `Coordination Layer` + +### `Research` + +- Reviewed current methods for global state representation, including sparse Merkle trees, indexed Merkle trees, Verkle trees, and MMR structures. We prepared [this report](https://www.notion.so/Preliminary-Research-global-state-representation-1128f96fb65c80f998fef97742f8e1e4) and concluded that previous schemes were complementary, not concurrent. In cases where the proposer cannot store the entire list of nullifiers, we may use a Bloom filter to check if commitments have already been consumed and apply a specific compression mode, such as Merkle trees, to compress it. + +### `Development` + +- No updates this week. + +## `Zone and Apps` + +### `Research` + +- No updates this week. + +### `Development` + +- No updates this week. + +## `Testnet and Tooling` + +### `Development` + +- [PR #804](https://github.com/logos-co/nomos-node/pull/804) (Node) - Removed Graylog from Docker Compose configuration as the code will later be updated to use OTLP tracing format. WIP: Refactoring `nomos-log` to `nomos-tracing`, which will be composable with different layers: tracing, logging, metrics, and profiling. + +## `Miscellaneous` + +- No updates this week. + +