network privacy and mixnet §
research §
- Polishing the mixnet specification regarding the topology algorithm and all parameters - we’ve had some concerns about it, so there are several ongoing discussions on Notion and GitHub in regards to answering them. For more details on the discussion, check this PR.
- While it has been postponed from v1, we will have to define the mix node identity soon for incentivization.
- After careful consideration and discussion, the topology update and public APIs PRs for core logic have been merged.
development §
- Added a utilities function of python mixnet to rust PR. Currently in review.
testnet §
development §
- Additional polishing (route separation) of the Naive blocks query implementation from the storage layer PR.
- Added DA API for Explorer, while removing the unused API PR - currently in review.
- Integrated the block explorer into the demo. Currently thinking about writing integration tests for it.
- Testnet fixes PR: the testnet ran on Linux with no issues; however, several fixes were needed for it to work on MacOS (about Grafana, Nomos chat bot params, and Nomos chat OpenSSL libs build version).
cryptarchia §
research §
- Updated the wealth concentration analysis chapter about the stake relativization algorithm - specifically about the impact of the stake relativization.
- Updated the Nomos Tokenomics Design Canvas with details about the “Validators” role. More roles to be entered in the coming weeks.
- Added the fork choice rule PR as described in “Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability”. Tests will be added later.
- “Follower maintains ledger state as it follows the blockchain” PR. Leader coins are now spent when they become slot leaders. The next step is to have the leaderproof produce a new coin that the validator can then use to lead another slot.
- Merged the “Add header ID and message” PR.
- Summarized the mathematical analysis work in the Impact on Forks chapter and Reducing Forking chapter. More precisely, derived the probability of the “forking” event and the “empty slot” event when the approximate value of the total stake is used. Considered the large total stake and finite number of slots scenario to derive the typical number of forks and empty slots expected in the T number of slots. This framework was used to assess impacts of underestimation/overestimation of the total stake on the number of forks and empty slots. For the detailed mathematical analysis, check the Overleaf document.
development §
- No updates, heavily in research.
data availability §
research §
- DA Document has been updated with new details based on the team review (specifically around adding more details about Ethereum Danksharding).
- Merged a mandatory PR containing a big chunk of primitives from the ETH specification that’s a dependency for building our DA specification. It will help us save a good amount of time during our implementation (and testing) of everything.
development §
- Started work on the DA Layer Implementation Details document. This is a an executable spec.
- The sketch of the DA layer can be seen in this branch.
miscellaneous §
- The website’s copywriting has been updated to reflect the changes from the Darkpaper.
- Started publishing posts on X.
- We have chosen several articles and will be publishing more detailed, scientific blog posts in the coming weeks. Once the specifications are complete, they will also be communicated via our social media.
- Darkpaper v0.5 published internally.