P2P Privacy §
Research §
- All new mixnet-related PRs in the
nomos-specs have been closed. New PRs will be opened once we’re ready to write the technical specs.
- Simulations are now being added in the
nomos-simulations repository.
- PR #6: The initial mixnet simulation is ready to be reviewed. This PR has some missing pieces that will be added in the next PRs (to make the PR smaller and easily check if the simulation works correctly).
- PR #7: Now using gossiping for broadcasting after mix.
- PR #9: Added dissemination time measurement.
- Updated the Noisy lottery section and worked out the details of the level 1 messaging noise generation mechanism, with a collection of algorithms that gradually build up the complexity.
- As a result of the process of reducing complexity and clarifying the objectives of what we want to analyze and simulate, written a dictated subsection for simulation and analytics for the queuing mechanism.
- Analysis of the queuing system in the Nomos Mixnet node: considered a queue of messages where a message is removed with probability q from the queue, i.e. the “coin-flipping”. The number of attempts to remove a message from the queue follows a Geometric distribution with parameter q. The latter was verified by simulation of random sampling. Based on this, it follows that a message is delayed in a node by at least RΔ, where Δ is some constant related to the implementation of the queue, with probability (1-q)^R. The summary can be seen here.
Development §
Data Availability §
Research §
- PR #100: Direct DA connection protocol - added session control message type, simplified Dispersal and Sample error messages. This has been merged into the
da-poc branch, it’s now in the nomos-poc repo.
- PR #5: DA feasibility test for a large number of UDP connections - investigated how a large number of connections would affect different network topologies.
- PR #6 (moved from
nomos-specs): Finalized and merged the PoC PR. Based on this, the documentation has been updated accordingly.
Development §
PPoS/Consensus §
Research §
- The first version of the Proof of Validator has been prepared in this document.
- WIP: Finalizing studies 1 and 2 of the wealth concentration work (wasn’t able to do it last week because the simulations took way longer than expected). Results and report about wealth concentration are here but still not in a readable format.
Development §
Coordination Layer §
Research §
- Finalized the Proof of Leadership specification with error analysis.
- PR #3 added - for Proof of Leadership circuits (in circom).
- PR #106: Defined and implemented the input proof. The input proof verifies the statement that the ptx input has a valid nullifier, the balance commitment was computed correctly, and reveals a death commitment that was used to spend the note.
- PR #4: Balance commitments had a design bug that had broken input/output unlinkability, now resolved.
- PR #7: Transfer PoC. This introduced 2 more types of CL proofs: Output and Bundle proofs. Also built up the proof infra around this to allow constructing a fully proved transfer transaction that could be placed on chain.
- PR #2: Defined and implemented the first version of zone funds death constraints.
- Expanded the Preconfirmations and Based Sequencing document with new research.
Development §
Testnet + Insights §
Development §
Research §
Development §
Miscellaneous §