PPoS / Consensus / DA §
Research §
- Completed research for DAS v1. Based on calculations, chunk sampling requires too many samples causing bandwidth issues. Decision made to continue with column sampling for v1. Comparison document prepared in Sampling Comparison.
- WIP: Continuing work on Cryptarchia v1 protocol specs. Most important protocols now have pseudocode but need more polishing. Details around block and header remain to be specified. Specification document.
- Proposed “EIP-1559 with moving target” as current approach for blockspace market.
- Proposed transaction fee mechanism for NomosDA market (pending further scrutiny, parameter definition, viability assessment).
- Reviews conducted for PoL v2 spec and notes written on issues with total stake inference protocol, including observations about potential alternative inference protocol.
- Started work on Nomos Economic Model integrating three Base Layer markets.
Development §
- PR #970 (Node) - Computed DA bandwidth calculations comparing sampling differences between full columns and single chunks. To be revisited after DA sampling discussions conclude.
Blendnet §
Research §
- Analyzed communication and anonymity failure in Blendnet using linear tree broadcasting model. Faulty and adversarial nodes modeled as different random binary variables with probabilities q_F and q_A respectively.
- Computed probability of adversarial broadcast failure.
- Compared analytic results for broadcast failure, anonymity failure and adversarial broadcast failure probabilities with simulation results.
- Simulation results (using finite message count M) showed good agreement with analytic results derived for infinite messages.
- Detailed analysis available in the Broadcasting on Trees document and detailed analysis paper.
Development §
- Updated connection manager proposal document with DA and implementation sections.
- Behaviors will emit events instead of directly managing connections for better separation of concerns.
- Connection handling to be abstracted from stream operations.
- Each backend (Blendnet, DA) can define custom policies while potentially sharing common base implementation.
- Started tracking DA network edge case list, focusing on current local testnet errors.
Coordination Layer §
Research §
- Benchmarked IMT in PoC showing linear decrease in proof times vs SMT but high constants remain. SMT nullifier check takes 650k cycles, 64-bit path (full IMT) takes 130k - linear reduction but still ~1s on 3090ti per nullifier.
- Skeptical of batch mechanism potential due to uniform nullifier distribution.
- Decided to continue with proof of non-membership approach despite current performance limitations to maintain clean design, expecting future ZK improvements.
- Working on finishing SMT vs IMT documentation.
- Beginning work on CVS Protocol design (reviewing PoV v2 with CVS considerations).
Development §
- IMT implementation work in progress.
- Started working on PoE integration.
Zone and Apps §
Research §
- Draft solution proposed for unit and value creation. Best approach appears to use zone 0 and special tag. Two propositions under discussion for zone 0: block builders/leaders as executors OR validators processing zone 0 without ZK.
Development §
Development §
- PR #974 (Node) - Published on-demand docker image for testnet.
- Updated testnet with working metrics and tracing. Fixed issues preventing metric/trace publishing related to RISC0 dependency failures.
- PR #975 (Node) - Merged PingPong example.
- Overwatch PRs:
- PR #39 - Passing initial parameter into ServiceCore::init
- PR #40 - POC: State Saving
- PR #41 - Resolved old branch conflicts
- PR #42 - Implemented state loading from external sources
- Work begun on proper node key management system documentation.
- Progress on packaging and distribution:
- Successfully built deb and rpm packages locally
- Working on appimage bundling
- Planning workflows for main OS bundling (Linux, macOS, Windows)
Miscellaneous §