P2P Privacy
§
Research
§
- Currently in the process of researching a couple of potential designs for pay-per-mix, starting from a form of non-interactive and off-chain rate limiting, then trying to construct a form of payment on top of that. These are considered without compromising the privacy properties of the Nomos Mix. The first version can be seen in this document (WIP).
- Considered the latency of a broadcast in the high connectivity regime of communication networks. In this regime, a node is connected to a fraction of all nodes in the network. Assumed that a message delay is governed by a Geometric distribution with parameter q, i.e., a message is removed from the out-queue with probability q, and a constant delay in communication links. For this model of delays, the latency of broadcast, computed numerically, converges to 2 units of time as the number of nodes, N, in the network grows. However, the distribution of delays can be very broad for a small q (and small N), suggesting that in a high connectivity regime to have q≥12q \geq \frac{1}{2}q≥21 is more desirable. This work is summarized in this document.
Development
§
Data Availability
§
Research
§
Development
§
- PR #704 (Node) - added the DA Network to the Nomos Node.
- PR #705 (Node) - finalized Sampling Service PR without backend.
- PR #706 (Node) - fixes and updates to traits, service implementation, and libp2p network backend implementation.
- PR #708 (Node) - (WIP) plugging sampling into consensus.
- PR #709 (Node) - implemented the backend (including tests). Currently in review.
- PR #710 (Node) - implemented a few fixes to the sampling service backend.
- PR #711 (Node) - added integration tests for dispersal using Nomos Cli.
- PR #712 (Node) - added the sampling service rng suggestion to the Nomos Node.
- PR #713 (Node) - added the Verifier and Indexer to the Nomos Node.
PPoS/Consensus
§
Research
§
- PR #114 (Nomos-specs) - included the PoL using (using the randomness of the last PoL for the slot) in the code spec.
- Concluded the development required to run selfish behavior simulations. Also ran a few simulations to observe the occurrence of classes of validators, occurrence of blocks, and forks. Based on that, included a few more paragraphs in the Selfish Behavior section and created the PoS model.
Development
§
Coordination Layer
§
Research
§
- Circle Stark protocol steps and the verification implementation steps for Stwo have been prepared in this (WIP) document (we generated the first Stwo proof using Poseidon hash function for the oracle).
- Added a report on the Coordination Layer PoC.
- CL Spec has been updated to reflect the changes from PoC.
- Atomic Transfer report has been finished.
Development
§
Testnet + Insights
§
Development
§
Research
§
Development
§
Miscellaneous
§
- Q4 planning for development is currently in progress - WIP document.