<li>Refined Mixnet specs: <ahref="https://www.notion.so/Mixnet-Specification-807b624444a54a4b88afa1cc80e100c2?pvs=4#8113c6871a8c4bdc8ae469f8fd96c061"class="external">Decided</a> to use libp2p even for direct QUIC connections for v1, so that we can use peer discovery and NAT traversal later on; <ahref="https://www.notion.so/Mixnet-Specification-807b624444a54a4b88afa1cc80e100c2?pvs=4#7cefe07a3ac04af091a5a8945d11067a"class="external">Defined</a> an initial approach to report on unresponsive mix nodes, though it should be improved later; <ahref="https://www.notion.so/Mixnet-Specification-807b624444a54a4b88afa1cc80e100c2?pvs=4#df9f03a808134ae19c085ca40b82161c"class="external">Simplified</a> the specification of using Sphinx packets, by abstracting the <ahref="https://www.notion.so/Sphinx-Packet-Specification-1c96e0e8aa8a4241ae9c1417c67714b7"class="external">internal Sphinx spec</a> ;<ahref="https://www.notion.so/Mixnet-Specification-807b624444a54a4b88afa1cc80e100c2?pvs=4#67865a813ab8466987ed54cf92eb86cb"class="external">Updated</a> the calculation of <code>lambda</code> and <code>mu</code> by suggesting a refined approach of emission rates; <ahref="https://www.notion.so/Mixnet-Specification-807b624444a54a4b88afa1cc80e100c2?pvs=4#15ccbb03a44f42658ea67a33527ecea2"class="external">Decided</a> to start with only mixnode-defined delays.</li>
<li>Three quarters of mixnet python specification code has been done; since it has been decided to move <ahref="https://github.com/logos-co/nomos-specs/pull/46"class="external">Sphinx out of the mixnet specs</a>(see comments) - it will be moved to a new repo in order to be utilized properly; the <ahref="https://github.com/logos-co/nomos-specs/pull/44"class="external">basic structure and topology construction</a> and <ahref="https://github.com/logos-co/nomos-specs/pull/47"class="external">Sphinx packet builder</a> have also been added.</li>
<li>Research of <ahref="https://www.notion.so/QUIC-and-QUIC-connections-management-bd7974e3a9914b8d819fd50e6f6a6410"class="external">QUIC and QUIC connections</a> - what is available and what is the difference from the TCP connections</li>
<li>Initial node metrics <ahref="https://github.com/logos-co/nomos-node/pull/522"class="external">PR</a> has been merged - to reiterate, this will add metrics service + initial metrics for CL and DA mempools. We will continue the effort to collect data about other services in the coming weeks.</li>
<li>The Private Proof of Stake milestone has been renamed to Cryptarchia in order to better reflect current work.</li>
<li>Updated the <ahref="https://www.notion.so/Does-Crypsinous-Leader-Election-Function-lead-to-wealth-concentration-in-PoS-b81f07a791b745438443f51f00ac258f?pvs=4#1df422f6cc204cb8b362f41cda260b8b"class="external">living document</a> that showcases if the leader election function leads to wealth concentration - more precisely the stochastic fork choice rule - which seems to ignore the validator stake.</li>
<li>[Analysis](<ahref="https://www.overleaf.com/read/fzbrxvkwwscq#f2907c"class="external">https://www.overleaf.com/read/fzbrxvkwwscq#f2907c</a>](<ahref="https://www.overleaf.com/read/fzbrxvkwwscq#f2907c"class="external">https://www.overleaf.com/read/fzbrxvkwwscq#f2907c</a>) of total stake inference problem: For the statistical estimator of the total stake D, the results of a large stake expansion were used to derive Gaussian approximation for the distribution of <code>D</code>. The latter was used to define “confidence” and “accuracy”. The large stake expansion was used to study other important properties, such as convergence rate of inference algorithm, and provides a relatively simple and compact set of relations between different parameters, such as number of nodes <code>N</code>, learning rate <code>h</code>, number of epochs <code>T</code>, stake mean and stake variance</li>
<li>We were able to answer most of the open questions (from previous weekly - remaining is analytical grounds for fast convergence) - How big should <code>T</code> be (# of slots in an epoch), How small should <code>h</code> be , How fast does this converge.</li>
<li>We have a general solution to the <ahref="https://www.notion.so/Lottery-Function-65f5ed5522b64c36b625652023318d88?pvs=4#7978b9a3f3964c3b9751b2644875506e"class="external">total stake inference problem</a> - based on this document we have a good understanding of Accuracy, Convergence Rate and Stability.</li>
<li>Writing of the Cryptarchia specification is well underway - you can check the latest version <ahref="https://www.notion.so/Cryptarchia-Specifications-a11d16a37c81452a8c89a94ced3ceef5#c69e608758574a85b7278470bd812ef0"class="external">here</a>.</li>
<li>Reviewed Ouroboros Praos, the focus was to understand the whole design and put a bit more attention at the design of the random beacon and some security assumptions. More on that in the <ahref="https://www.notion.so/Ouroboros-Family-8cd7285459f640b088716905ab03474f"class="external">notes</a>.</li>
<li>The Cryptarchia <ahref="https://www.notion.so/Crypsinous-planning-f18ea790291141bea19b496c1f59b28c"class="external">development plan</a> initially stated is still valid and has been updated. We will have the first milestone defined soon as well.</li>
<li>Refactor consensus engine in preparation for adding a new consensus - <ahref="https://github.com/logos-co/nomos-node/pull/556"class="external">PR</a>.</li>
<li>The <ahref="https://www.notion.so/DA-Layer-Comparison-Table-5848811f0af042e2b24c10d3cea9b0a8"class="external">DA Layer Comparison table</a> has been finished and is currently in review and update phase. For the raw data, refer to this <ahref="https://docs.google.com/spreadsheets/d/1I2hk69hWLVXaATC5048tLcw2qUTjiZORIzL0y90PTLg/edit#gid=0"class="external">Google sheet</a></li>
<li><ahref="https://www.notion.so/Block-Format-Specification-10c4cfef8b8946b8a54344cf97b16938"class="external">Block format specification</a> has been added.</li>
<li><ahref="https://www.notion.so/DA-Api-specification-83000d9c2f3f45b586cd55c5c195cce5"class="external">DA API</a> specification has been added.</li>
<li>Merged a couple of small fixes for the nomos-chat app - more details <ahref="https://github.com/logos-co/nomos-node/pull/555"class="external">here</a>.</li>
<li>3 interrelated topics that have the potential to create an interesting element of differentiation have been researched: turning Execution Zones into Plasma chains with ZK proofs (<ahref="https://www.notion.so/Plasma-ca4bfeb776e240859f954e8511103111"class="external">findings</a>), solutions for instant deposit/withdrawal, solutions for ZK-bridging with the Base Layer (basically the CL layer, but as minimal as possible).</li>
<li>Polygon Avail has been researched - <ahref="https://www.notion.so/Polygon-Avail-bc5bfbbf78c74b9aba6d4500d961ef03"class="external">findings</a>.</li>
<li><ahref="https://www.notion.so/Simulations-working-principle-Carnot-paper-Appendix-c83740646adf4dd58e6b3212f7c1b666"class="external">Simulations working principle</a> (the Carnot paper Appendix) has been added.</li>
