network privacy and mixnet §
research §
- Started rewriting the “Populating mixnet” document, leading to the creation of a new document that combines both previous mixnet-related documents. Initial editing was done, a couple of minor sections have been added, and an additional section has been created that discusses a couple of cryptoeconomical problems requiring more investigation - WIP.
- Mixnet Incentivization: started a new document that will contain the understanding of the mixnet incentivization problem.
- Analysis of the fraction of compromised paths in the mix network: In the regime of a finite number of layers and very large width, the variance is vanishing, and the fraction of compromised paths, alpha, becomes deterministic. This, however, is no longer true when the number of layers and width of layers are both large. For this regime derived an analytic (asymptotic) expression for the probability that α belongs to some interval
[alpha_0, alpha_1]. Verification of this analytic result by simulations is in progress, and the summary is here.
development §
- Mixnet network backend skeleton - PR.
- Libp2p stream read/write - PR.
- Emitting packets from mixclient using libp2p stream - PR.
- Handle outputs from mixnode using libp2p stream/gossipsub - PR.
- Refactor Poisson distribution implementation - PR.
- Mix client Poisson emission - PR.
- Mix node packet handling - PR.
- Mix Packet / Fragment logic - PR.
- Move FisherYates to nomos-utils - PR.
- Mixnet topology - PR.
- Mix client/node unit tests PR.
- Note on the PRs above: tests will fail because the whole implementation has been split into small PRs. All tests will pass at the last PR that will be opened.
- Taking some time to refactor network adapter codes that are tightly coupled with only the libp2p network backend.
testnet §
development §
- WIP: Integration for explorer - PR (marked as WIP since one of the unit tests is failing).
cryptarchia §
research §
- Tokenomics design canvas has been updated with additional clarifications regarding the “Light node” role (both Zone verifiers and providers of replication).
- Stake relativization has been updated as part of the Cryptarchia specification.
- Started the Block rewards document to discuss and propose solutions to rewarding new block proposals.
development §
- Merged all PRs for Cryptarchia here and here.
data availability §
research §
- Several libraries were reviewed for the implementation of RS encoding. The usage of FFT in the implementation was examined. In the initial stage, details on how the implementation can be carried out were outlined here.
development §
- KZG core functionality (working version) has been implemented - PR.
- Started RS: implemented encoding.
- Started RS: decoding implementation in progress.
- DA API Verified certificate selection from the mempool function - PR.
- DA API sign attestations in full replication - PR.
- DA API signer tests - PR.
coordination layer §
research §
- The examination of the Taiga design continues. Technical details and the cryptographic functions used are being researched. Verifiable encryption is under consideration, and existing libraries in the literature are being reviewed. Notes and questions related to the Taiga design are documented here (WIP).
- As part of the same effort with the previous point, created two more documents here and here that envelop additional efforts on studying Taiga.
development §
- No updates at the moment, heavily in research.
miscellaneous §
- 1 new blog post is in review regarding Wealth concentration in PoS systems. Currently in the first iteration.