2025-06-16 Nomos weekly

Nomos Weekly Update - 2025-06-16 §

Nomos Bedrock §

Research §

• Cryptarchia development:

  • Service Reward Distribution Spec finalized and marked as green
  • Block Construction, Validation and Execution Specification handled reviewers comments and achieved first green status
  • Preliminary Research: Block Times Blend Network analytical analysis completed with cryptarchia analysis against praos common prefix theorem and powerful adversary simulations redone with suggested parameters
  • A First Look at “New Cryptarchia” initial study of Álvaro’s Cryptarchia v2 proposal completed
  • Phantom Proposal study notes provided after exploring alternative PPoS mechanisms

• Cryptographic components:

  • Trusted Setup Ceremony Specification updated based on feedback received
  • Common Cryptographic Components updated based on feedback received
  • Preliminary Research: Provers and witness generators integration comparison produced concluding to stick with C++ witness generator of Circom with rapidsnark for small circuits and tachyon for bigger circuits

• Token economics modeling:

  • KPI-based token emission dashboard completed with dynamic calibration
  • KPIs and target values decided for token emission schedule
  • Block rewards analysis scheduled to analyze rewards work as sketched in specifications

• Channel sequencing:

  • Channel sequencing work finalized with way forward established, replacing previous Causal Invariance approach
  • Mantle spec updates scheduled based on channel sequencing discussion results

Development §

• Consensus integration:

  • Recovery simplification merged after recent LIB changes
  • Bootstrapping networking and followup implementing core networking protocol for Cryptarchia bootstrapping chain sync with async functions replacing polling state machine
  • Bootstrapping block retrieval updated algorithm to correctly use lowest common ancestor for finding starting block between known and target blocks

• Service integration:

  • Service readiness and part 2 implementation completed
  • Membership and DA integration first PR with mock membership handler and continuation merged
  • Membership adapter and glue service logic integration in review

• P2P network enhancements:

  • NAT traversal state machine reworked to use trait objects instead of enum
  • CODEOWNERS merged requiring approval from sub-project leads before merging PRs

Nomos Bedrock Services §

Research §

• Data Availability improvements:

  • NomosDA Rewarding specification review handling continued
  • Analysis of rewarding in data availability network adversarial model defined for rewarding where nodes provide distorted opinions about others
  • Analysis of node attrition in data availability network mathematical framework set up with upper bound obtained on probability that data cannot be recovered
  • NomosDA API and call flow finalized with examples
  • A Comparative Analysis of Fee Setting Mechanisms for NomosDA preliminary research finalized

• Blend Network progress:

  • Blend Protocol Version 1 small clarifications and improvements made across document with updated releasing section
  • Message Encapsulation Mechanism notation improved in encapsulation mechanism
  • Total Stake Inference V2 Simulation fixed diagrams and ran 100 simulations for every stake estimate scenario with beta values changes simulation results added

Development §

• Blend Network implementation:

  • Removal of drop messages from Blend code as they are not present in spec anymore
  • Cover message scheduling update based on current spec version
  • New message encapsulation implementing new message encapsulation mechanism

• Zero-knowledge components:

  • PoQ Circom implementation updated based on suggestions

Road to Production, Testnet and Tooling §

Development §

• Overwatch framework enhancements:

  • Display for ServiceStatus implementation
  • Add finished signals to remaining OverwatchCommands allowing awaiting confirmation when lifecycle-related commands are completed
  • Simplify OverwatchCommand grouping messages conceptually and enabling simpler handling
  • Retrieve service ids adding way to retrieve list of all app service ids
  • Replace dbg! usage with tracing::debug! in overwatch

• Code quality improvements:

  • Fix bundler safety updating bundler code to wrap unsafe calls where needed
  • Dry-run feature added with —check-config CLI flag integrated into CI to verify config file structure
  • Fix broken DA tests by updating to risc0 2.1.0
  • Cargo.lock files commit draft PR for pinning dependencies

Documentation §

• Blog and content progress:
  • Blog Plan Q3 2025 written subject to change
  • Cryptarchia vs GHOST fork choice rule blog post and Nomos intro video script scheduled to begin
  • Stirring Mixing Blending: Different Approaches to Proposer Anonymity proposer anonymity article draft finished