P2P Privacy §
Research §
- Added a preliminary research note: Nomos Mix on Libp2p.
- Started a major rewrite of the Nomos Mix design. The motivation for this is that the main document is not well-maintained and has become difficult to read, so there is a need to extract the most important parts of the design and clean up the entire documentation.
- Analysis of latency in the Nomos mix network: Considered the probability that the latency of a broadcast is greater than some threshold t, i.e., the probability of the upper “tail.” For a network of size N, with a topology of a random regular graph with connectivity ccc, numerical simulations for q=12q=\frac{1}{2}q=21 suggest that the probability of the upper tails is a monotonic decreasing function of graph connectivity c. This analysis assumes that message delay is governed by a Geometric distribution with parameter q, meaning a message is removed from the out-queue with probability q, and that there is a constant delay in communication links. Comparing the same probability in networks with topologies of random regular graphs and trees suggests that the latter is an upper bound on the former. This work is summarized here.
Development §
- PR #765 (Node) - Implemented the libp2p stack for Nomos Mix. Currently under review.
Data Availability §
Research §
- Added a NomosDA docs Introduction page draft.
Development §
- PR #764 (Node) - Nomos CLI dispersal and sampling testing: finalized sampling testing and added fixes and tests for CLI dispersal code. Nomos CLI acts as one of the nodes in the network using its secure key for DA communications.
- PR #764 (Node) - Replication testing and fixes: piped replicated payloads to the validator. Peers now dial to each other if they are in the same subnet. Integration tests are running 4 subnets with 8 nodes and a replication factor of 2.
PPoS/Consensus §
Research §
- Notes on the problems encountered with merging blocks and potential solutions have been taken and added here. Due to privacy concerns, the cryptographic solution mentioned in Solution 3 is not feasible.
- Notes about selfish proposing in PoS have been added.
- Analyzed the token design of comparable projects.
- Wrote, shared, and discussed a solution for the “lazy nodes” problem in our consensus.
Development §
Coordination Layer §
Research §
- Moved the Stwo repo to a dedicated nomos-pocs branch.
- In the Stwo implementation, work continued on the DEEP FRI details for Circle STARK, specifically for the verifier part. A general note on the structure of the DEEP FRI protocol was added to the document prepared earlier for FRI.
- Replaced Rapidsnark with Tachyon for the Risc0 wrapper. The results were not useful, but they may be improved in the future, allowing us to reuse the implementation. Implementation, measurements, and discussions are available on Notion.
- Started the Ingonyama Icicle review, identifying potential future improvements for DA.
- The wrapper SageMath script is running the entire verifier, except for the last remaining part, which is FRI. We added an explanation on the DEEP method used for building the script.
Development §
Development §
Miscellaneous §
- Added several notes regarding the ecosystem. These will be continuously updated with more content.