Nomos Weekly Update - 2025-05-19
Nomos Bedrock
Research
- Cryptarchia development:
- Cryptarchia v1 Protocol Specification updated to check if a block is descendant from the latest immutable block and update chain maintenance logic to prune forks
- Cryptarchia v1 Bootstrapping redesigned to align with explicit commits
- Causal Finality progress on formalizing guarantees with definitions finalized and structure section in development
- Block Times & Blend Network simulations completed to resolve questions about block times and parameters
- Consensus proof systems:
- Proof of Leadership Specification updated for the new public ledger
- Proof of Selection Specification rewritten with cryptographic details
- Privacy-Preserving Hybrid Consensus exploration of alternative PPoS designs for Nomos v2
- Mantle development:
- Block Proposal Construction, Validation and Execution Specification draft started, referencing validation and execution specifications from Cryptarchia and Mantle
- Mantle Specification reviewed with updates in progress
- Economics:
- Block Rewards Specifications draft detailing reward requirements
- WIP: An Overview of Transaction Fee Mechanisms analyzing pros and cons of different approaches
- Impact of Service Declaration Protocol on adversarial inference analyzing statistical implications of knowing node stake
Development
- Storage optimization:
- Block pruning implementation:
- Continued work on PR #1261 which now deletes in-memory blocks, ledger states, and prunes blocks from the DB
- P2P network enhancements:
- rust-libp2p deep dive documentation completed
- Planning implementation of NAT traversal state machine
- Membership service:
- Implementation progress with PR #1268
- Transaction framework:
- Mantle transaction definitions in progress with mempool refactoring
- ActivityContract removal from SDP implementation in preparation
- Infrastructure improvements:
- Upgraded to latest Rust toolchain 1.87 PR #1275, Overwatch PR #84
- Fixed inconsistency in build system for risc0 code (now linted with same Rust version 1.85)
Nomos Bedrock Services
Research
- Data Availability improvements:
- NomosDA Cryptographic Protocol finalized with all comments addressed
- NomosDA Encoding Protocol reviewed and updated to align with latest cryptographic protocol
- DA Network Specification updated to match the cryptographic protocol
- Blend Network progress:
- Blend Protocol Version 1 updates simplifying edge network communication and synchronizing proofs with specifications
- Ephemeral Keys Generation Specification rewritten and marked as green
- Blend Protocol Node Communication Strategy Guide updated
- Service Reward Distribution Protocol reviewed with comments added
- Network specifications:
- Nomos P2P Network NAT Solution finalized with marked as green
- P2P Network Specification and P2P Network Bootstrapping reviewed
Development
- Data Availability implementation:
Zones Ecosystem
Development
- Sovereign Rollups progress:
- Sovereign Rollups on Nomos article draft completed
- Nomoswap example sovereign rollup:
- Blockscout Fork repository established
- Frontend Fork repository established
- Nomoswap Repo with PR #1 adding sequencer/prover/light node and README
Road to Production, Testnet and Tooling
Development
- Overwatch improvements:
- Service lifecycle enhancement PR #79 adding granular control
- Added Taplo PR #81 to pre-commit
- Created issues for Graceful Service Stop and More Services commands
- Code quality:
- Integration testing for Overwatch’s lifecycle changes with Node
- Planning Circom PoL integration
Documentation
- Documentation progress:
- The Nomos Whitepaper first draft completed
- Sovereign Rollups on Nomos article draft ready for publication
- Nomos Hardware Requirements documentation created