7.4 KiB
| title | draft | lastmod |
|---|---|---|
| 2023 September Nomos Monthly Report | true | 2023-09-27 |
Executive Summary
Key Updates
Personel
- Filip has joined as a Project Manager to assist in various activities. His position is to sit in between the Insights team and the Nomos project to facilitate development tracking and resource allocation. It is anticipated that his involvement will speed up development as current resources are then freed to focus on research and development. Until demands within Nomos require full-time engagement from him, he will also be assisting with Vac Program Management.
- After a lot of candidate interviews, Mehmet was offered a position and accepted to focus on the privacy and cryptography research needs within the project. His background in cryptography and security auditing of popular zero-knowledge platforms is expected to be very useful in aiding to architect Nomos. Mehmet's expecting starting date is ???
- Another candidate for this role that was considered, Ramses, has joined the Vac team and will initially be aiding in this work and growing the relationship with their vac/acz/index team. Ramses expecting starting data is ???
- An offer has been extended to Sergi for the open role of Applied Network Researcher. He passed all interview rounds and we are waiting on a response.
- The role of Distributed Systems Researcher is still open and candidates are being interviewed.
Milestones
Nomos' roadmap is currently composed of five main sections, each of which is broken up into Research and Development. Obviously, Development lags behind the Research section. These five areas are as follows:
WhitepapersNetwork Privacy and MixnetTestnetPrivate PoSData Availability
The Milestone definitions and timelines are not yet ported to this site, and as such, are private to Logos. They are planned to be publicized on this site by the end of the this month, potentially bleeding into the beginning of October. For those with Notion access, you can view the Milestone definitions here.
The following sections will outline key activity across these milestones. If more information and detail is desired, links can be found under the associated heading among the #Sources and Useful Links Weekly updates section.
Whitepapers
The current drafts are almost ready for publication. They require only "beautification" and a listing of detailed "current unsolved problems" that need to be explored later in the total project. This will be done following the current prioritization of mixnet specification.
Network Privacy and Mixnet
The specification of the mixnet is currently underway and expected to wrap up soon (next month??). This is chosen to be critical path based on all the depending architectural decisions that stem from decisions of the networking layer.
Review and analysis of current mixnet literature continues. One conclusion found was that the probability of an anonymity failure:
- decreases when increasing the number of layers
- increases when increasing the number of nodes within a single layer.
Analysis details can be found in the overleaf document.
While research explores subtleties in the mixnet specification, development has tackled the foundations of its implementation on top of libp2p within the nomos-node repository. They've logically setup how it connects to the rest of the pieces of the node, setup testing frameworks and node monitoring hooks, and generally got it provisioned for the upcoming testnet.
Testnet
A PoC/Draft Testnet was created and merged via Docker-Compose, then general exploration was done to identify what to measure and how to do it within the nomos-node software.
Simulations of the branch overlay with 1 committee was conducted. Initial results discovered a bug in reproducibility that was fixed. Additional simulations resulted in discovery of inter-module errors with the leader selection. This is currently being explored along with integration of mixnet developments.
NEED ESTIMATION OF TIMING HERE
Private PoS
Research was conducted in a variety of areas around a Private Proof of Stake spec relevant to the architecture of Nomos. All details can be found in the Whitepaper descriptions.
The initial design was created based on Zcash designs with section details around how "stake" is considered for the Base Layer of Nomos, how "restaking" could work, and various consensus modifications around Carnot. An introduction of "shadows" was done which presents the ideas around the initial voting process. The logic of these "shadows" is currently being fleshed out so that they're more intuitive to understand. One result is that they're now called "Validators" in an effort to keep naming conventions reasonable across the industry.
Much attention was spent on a discovered issue with vote propagation within this construction. This issue is around the implications of vote withholding and how they change as you move up the overlay. The solution being to propagate a map of seen votes upstream alongside the vote, thus increasing transparency of participation.
The concept of "Hastiness" has been introduced to describe the leader's ability to decide whether or not to include votes from the root committee if the threshold is reached before they've had the opportunity to conclude. More research is underway to detail the implications of this decisions with respect to payout, latency, and security.
Most notably, an extension (or more constrained parameterization) of Carnot was initiated and is underway (expected by end of Oct) as a consequence of needing to mitigate a signature aggregation issue. This extension requires 2/3 votes to be collected before a decisions is made.
Data Availability
Research continues on the various available Data Availability schemes and their trade-offs which resulted in the ability to make some decisions on the Nomos specification and identified a more specific personnel requirement for specialized cryptographic expertise. This demand will be a lower priority to filling privacy expertise requirements.
An analysis of the impact of node decay in Data Availability was performed and presented in a Logos Research Seminar. This research resulted in a draft specification of private DA. This then lead to the first draft of a complete privacy solution for the networking layer for consensus and DA.
The architecture of Data Availability services was fleshed out within nomos-node software. Data dissemination implementation was completed and the mempool for certificates is currently in progress.
Perceived Changes in Project Risk
Future Plans
Insight
Project
Sources and Useful Links
Weekly updates referenced