Create 2024-12-02.md (#154)

This commit is contained in:
Cofson 2024-12-05 14:16:04 +01:00 committed by GitHub
parent 130fc01b9b
commit dd053dfd69
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 77 additions and 0 deletions

View File

@ -0,0 +1,77 @@
---
title: 2024-12-02 Nomos weekly
tags:
- nomos-updates
date: 2024-12-02
lastmod: 2024-12-02
draft: false
description: Weekly update of Nomos
---
## `PPoS / Consensus / DA`
### `Research`
- [PoV](https://www.notion.so/Proof-of-Validator-Specification-v0-2-1468f96fb65c80f88523cc11765ba21b) ready for review.
- [PoL](https://www.notion.so/Proof-of-Leadership-Specifications-v0-2-1438f96fb65c80f6bb1adfeb73473f65) ready for review.
- We considered the GHOST algorithm with random sampling, which uses the block-tree of a blockchain to select a chain. Given the weights of subtrees associated with nodes, the algorithm, starting from the Genesis block, follows the paths of maximum weight when the weights of subtrees differ and uses random sampling when the weights are the same. This suggests recursion on weighted block-trees when a new block is added to the tree. We analyzed the growth process of a global block-tree, i.e., the block-tree related to the leadership election process, and derived a general equation for the probability of a block-tree at time _t_ given the probabilities of election outcomes up to time _t_. Research on the GHOST chain selection rule was postponed due to safety concerns raised [here](https://ar5iv.org/html/2203.01315 "https://ar5iv.org/html/2203.01315"), which need investigation but are not our current priority. A summary of this work is in this [document](https://www.notion.so/Cryptarchia-Analysis-of-Safety-and-Liveness-1188f96fb65c804c9f46c04c5763de8c?pvs=4).
- Added rs-decode benchmark [results](https://www.notion.so/Decode-Benchmarks-14c8f96fb65c802a8238ca263f3d5f89).
- Cryptarchia Fork Choice - we found some attacks against GHOST, leading us to drop it in favor of the old fork choice rule.
- Cryptarchia exec spec switched back to longest chain: [pr](https://github.com/logos-co/nomos-specs/pull/116).
- Wrote a new Notion spec for the Cryptarchia fork choice rule: [notion spec](https://www.notion.so/Cryptarchia-Fork-Choice-Rule-Specification-14f8f96fb65c804986dff0565e8fdc54?pvs=4).
- Continued working on the ABM [implementation](https://github.com/vacp2p/token-economics/tree/4bff1313ee070962a4aeb19ab0641a88fc89008e/Nomos/transaction_fees) that compares transaction fee mechanisms.
### `Development`
- Blob and Tx IDs as tracing IDs: Work in progress—setting the `trace_id` parent to the transaction ID and blob ID to track the flow of this data between node instances and internal node services.
## `Blendnet`
### `Research`
- Work in progress: Measuring the actual frequency of cover messages to find the recommended parameters for connection maintenance ([PR](https://github.com/logos-co/nomos-node/pull/928) in review).
- Continued work on the Blend Accounting Protocol. During this process, we realized that the intended construction for claiming rewards was problematic from a privacy perspective, as it allowed nodes to reconstruct the path at the rewarding phase. Therefore, we corrected the approach, significantly simplifying the design. We encountered issues designing a proper message encoding scheme but managed to resolve them and update the algorithm in the document. The current version, still a work in progress, is available [here](https://www.notion.so/WIP-Nomos-Blend-Network-Blend-Accounting-Protocol-1468f96fb65c8073b222e8160372e790?pvs=4).
### `Development`
- Blendnet service integration tests scaffold: Work in progress—creating an integration test structure with a minimal set of services required to perform tests on the mixnet service (providing more control than testing a Nomos node binary).
## `Coordination Layer`
### `Research`
- Initial [PoC](https://github.com/logos-co/nomos-pocs/pull/43) work merged!
- Renamed "bundle proof" to "balance proof."
- Modified zone design to disclose the list of cross-zone partial transactions instead of just inputs.
- Refactored `Input/Output Witness` to include the zone ID.
- Early benchmarking: Committing to the zone note tree and nullifiers is the heaviest task in the zone STF. Recursion also plays an important role but is at least linear in the number of processed transactions. More benchmarking work is needed.
- Adopted MMR instead of Merkle Tree in the zone state to reduce the required state in the zone. The zone note tree's impact on the STF is now almost linear in the number of processed transactions. Similar changes are needed for nullifiers.
- [Preliminary research on ledger representation](https://www.notion.so/Preliminary-Research-Ledger-Representation-1128f96fb65c80f998fef97742f8e1e4) is ready for review.
- [Zone ledger specification](https://www.notion.so/Zone-Ledger-Spec-02495dcb420a45df943a27f72d10daa5) is ready for review.
- Reviewed the details of the implementation prepared for PACTs. These [notes](https://www.notion.so/PACTs-Library-Review-1498f96fb65c80ccb720e6bfb5221827) were compiled to improve our understanding of the implementation.
### `Development`
- No updates this week.
## `Zone and Apps`
### `Research`
- No updates this week.
### `Development`
- No updates this week.
## `Testnet and Tooling`
### `Development`
- Preparation for testnet single sign-on: Pinning down Docker dependency versions due to breaking changes in the latest Prometheus release and updating related configurations.
## `Miscellaneous`
- FRI [article](https://blog.nomos.tech/fri-based-commitments-for-data-availability/) published.
- "Why We Chose KZG" PCS conclusion [draft](https://www.notion.so/Why-We-Chose-KZG-for-NomosDA-1128f96fb65c809d8391fc3df4c81b3e) completed.
- zkVM survey article [draft](https://www.notion.so/A-zkVM-Survey-for-the-Nomos-Coordination-Layer-14b8f96fb65c80a69d30f1ed5e196512) (unfinished).