P2P Privacy §
Research §
- Planning the Mixnet v2 PoC simulation (WIP): To simulate the behavior of the new design, we need to cover some design options (such as the way of broadcasting, etc.). We’ll create a simulator with these options to find the optimal design.
- Researched the existing Mixnet simulators: They provide Python simulators focusing only on global passive adversaries (GPA) by measuring the Shannon entropy as a metric for anonymity (the uncertainty of linking an output message with a certain input message). We can adopt this practice for GPA analysis. For active adversary analysis, we need to figure out how to simulate tagging attacks and n-1 attacks (if necessary). For tagging attacks, we can probably perform an indirect analysis by measuring how many nodes a block is disseminated in before it’s selected/proposed.
- Summarized the requirements for the Mixing gadget.
- Optimization of mixnets: For a scenario when n nodes, sampled from N nodes with at most M adversarial nodes, we designed an algorithm. Given the number of nodes per layer n_1, the fraction of compromised paths which can be tolerated αmax, and the probability that the fraction of compromised paths is greater than 𝛼𝑚𝑎𝑥αmax, δ, the algorithm outputs the number of layers L: Summary. The algorithm is implemented in Python, but the code needs further refinement.
- Analysis of anonymity and communication failures in the mix gadget: Assuming that k nodes are sampled from N nodes, where at most M nodes are adversarial, we derived the probability that all k nodes are adversarial and the probability that at least one node is adversarial. The latter is the probability of communication failure, and the former is the probability of anonymity failure. The probability of anonymity failure decreases with k, and the probability of communication failure increases with k. We derived upper bounds on these probabilities. For large N, the probability of anonymity failure is bounded above by 2(𝑀/𝑁)𝑘/𝜋2(M/N)k/π, and the probability of communication failure is bounded by 1−𝜋(1−𝑀/𝑁)𝑘/21−π(1−M/N)k/2. Note that M in the latter corresponds not only to adversarial but also to “slow” nodes or nodes with bad connections. The summary of this work is in progress.
- Work on analysis of the new mix gadget design is currently in progress.
Development §
Data Availability §
Research §
Development §
- Initial DA protocol benchmarking uncovered 2 performance issues that will be addressed as soon as possible: WIP.
- Add Cert verification to DA mempool: - Merged payload to item conversion in mempool PR. Added certificate verification in da mempool PR merged.
- DA Indexer service definition: Service that is responsible for DA API functionality, is able to track new blocks and assign metadata to previously attested chunks PR. Note that the service is defined, but other services like storage are not yet integrated. These missing pieces will be the focus of upcoming weeks.
PPoS/Consensus §
Research §
- Wealth concentration document is in the process of reorganization with new studies being according to 8 parameters (see table 1 in the doc - we’re able to use way more realistic numbers as well, because software evolved), 3 classes of stakers (lower, mid, higher - we still lack a precise definition of them); and 3 fork-choice rules (lowest, highest, stochastic).
- The first study assumes the relative stake is known and compares the 3 classes of stakers when the protocol enforces each of the 3 fork-choice rules under different parametrizations (sensitivity analysis).
- The second study relaxes the assumption that the relative stake is known. We use and evaluate the impact of David and Alexander’s algorithm.
- The third study relaxes the assumption that the protocol enforces the fork-choice rule. Each staker is allowed to use the rule of its choice.
- Investigated the current state of the orphan proofs problem. After internal discussions, it was understood that this is a low priority for now, and we need to evaluate the real impact of this problem and how often it can happen first.
Development §
Coordination Layer §
Research §
- Completed the Proof Systems Survey: added updates on aggregation, folding schemes, and some protocols. Also, listed and grouped libraries with existing implementations. This week, there will be more detailed explanations about these libraries.
- Celestia ZK-Research Group messages have been summarized in a document with annotations and discussions around parts that might be important to us.
Development §
Testnet + Insights §
Research §
- Extended the metrics and visualizations document by adding a planning block to match with yearly planning and resources.
Development §
Research §
Development §
Miscellaneous §
- Latest discussions triggered the need for yearly planning modifications: Wrote a document explaining year expectations + resources planning.
- Created an initial Vac QA collaboration document with cross-team interactions plan.
- Milestone Execution plan has been published.
- Logos - Nomos update added - this will be an introductory one with focus on progress of research and engineering in the future.
- New Nomos blog to be published this week with another to be set to review.