Logos Collective Weekly Summary

Cryptarchia

• Fast Bootstrapping implementation prep: channel state #3194, SDP declarations #3208, locked notes #3214, and voucher nullifiers #3215 migrated to fixed blake2b merkle-tree structures
• Compressed Block Proposal RFC approved doc; LIP opened (in-review) logos-lips#389
• Spec emergency fixes merged: CHANNEL_DEPOSIT execution and block limit logos-lips#381, with implementation #3189

Post-Quantum

• Post-Quantum primitive benchmark document restructured with Rust results and cross-platform graphs doc; dashboard extended to 4 platforms dashboard
• Post-Quantum Primitive Candidates for the Bedrock layer updated for consistency with the Blend and Bedrock safety analyses — doc

Total Stake Inference

• "Modelling of Network Delays" doc and "Total Stake Inference with Network Delays" doc finalized and approved
• Cryptarchia with uncle references RFC opened (in-review) logos-lips#385, backed by per-node Total Stake Inference simulations code and gathered results report

EmPoWering

• Acceleration-resistant Proof of Work survey completed report; Equi-X benchmarking tool built code with analysis report

Cross-Zone Sequencing

• Costly Abort Mechanism Direction 1 completed: proposal_id commitments provably tied to valid intents via a two-layer construction, audited end to end for self-consistency and optimism — doc
• Costly Abort Mechanism formal specification written — doc

Anonymous Communications

• Single-path mix latency law replaced with a shifted log-normal moment-matched to real inter-city pings, and a first mix-net grid layer built with a route-marginalising Bayesian attack — doc
• Log-normal single-path mix model and Dandelion++ comparison write-up (WIP) — doc

Security Audit

• Unified BinaryEncode/BinaryDecode trait system with fixture testing merged, replacing the legacy wire encoding — #3198, #3201
• Bounded-input hardening merged: bounded and validated merkle paths #3183, bounded vecs replaced with fixed-size arrays #3191, deposit inputs bounded #3199, decode mitigations for bounded vectors #3224
• Remaining boundedness hardening (in-review): high-value candidates #3225, serde JSON #3228, alternate wire deserialisation paths #3230
• Dead/unused code cleanup (in-review) — #3227

Blend

• Message encapsulation aligned with the spec: missing headers padded and payload padding randomised — #3217
• Proof of Quota verification benchmarks added — #3197

Node

• Operation typestate groundwork toward SignedOp: Op preverification unified #3200; VerificationMode marker and Operation trait split (in-review) #3234; ProvableOperation trait (in-review) #3235
• Execution market: fee prices rounded up so they can rise from low values #3190 with the spec ceiling-formula fix logos-lips#384; constants aligned with spec G_max/G_target #3187
• SDP declaration ID computation fixed with length-prefixed locators logos-lips#386, #3218
• Pending mempool transactions evicted after a configurable TTL (in-review) #3210; typed 404 responses for missing channels (in-review) #3229
• Mantle gas-cost APIs clarified as predictions, with per-operation minimum proof counts to avoid InsufficientGas errors — #3186
• Cryptarchia walk-back functions hardened against potential infinite loops and panics (in-review) — #3209
• Overwatch returns errors instead of panicking after shutdown Overwatch#146; Rust toolchain updated to 1.97.1 #3207, Overwatch#147

Testing

• Fee-market end-to-end tests merged: price rise/recovery scenarios #3111 and tip-headroom coverage for gas price updates #3223
• Wallet-drain ability added to the cucumber suite #3188; dead test code removed #3205
• Merge-queue CI hardened: workflow final steps fixed #3193, fail-fast integration tests #3203, merge-queue integration-test improvements #3206

Zone SDK

• Funding priority fee made configurable — #3195
• C bindings implement the full Node interface merged #3173, with a default Node trait adapter #3213, groundwork for a switchable API backend
• Backfilling fixes merged: gap-backfilled inscriptions surface as adopted, orphaned finalized transactions handled — #3079
• Indexer removal in favor of the sequencer for reads and writes (in-review) #3220; pending inscriptions invalidated on config update (in-review) #3237
• Zone SDK client packaging decided: blockchain-module becomes a mono-repo vendoring generated logos-rust-sdk code, so cargo builds no longer require nix

Logos Core Integration

• Node 0.2.1-rc.3 pre-release published #3212, with the blockchain module updated to match
• Backoff strategy for dashboard status polling merged — logos-blockchain-ui#45
• FFI config environment-variable overrides fixed (in-review) #3219; versioned Tools image built during releases (in-review) #3221

Release

• Logos Execution Zone v0.2.1 released release: Bedrock node and Zone SDK bumped #654, dev merged to main #661, #663, nix packaging and artifacts-builder fixes #658

Sequencer

• Multi-sequencer client parallelism merged — #638
• Sequencer self-join/leave mechanism design finished doc; implementation opened (WIP, draft) #653
• Sequencer communication mechanism research concluded: libp2p chosen doc; gossip module opened (WIP, draft) #662
• Channel config transactions funded via the node wallet — #659
• Sequencer metrics and a Grafana dashboard generation tool (in-review) — #651

Cross-Zone

• Generalization Phase 0 landed: forgery test gated on a verified peer-chain prefix #649, watcher peer read cursors persisted #652

Accounts

• Dummy-note padding merged #592; note and cipher order obfuscation merged #564
• Private/public i/o bundled into action structs (in-review) — #604
• Environment unification: public-private semantic discrepancies documented doc, proof-of-concept opened (WIP, draft) #650, private-kinds refactor opened as part 1 of the unification PR stack (in-review) #660
• Incremental account updates explored (WIP, draft) — #656

Proofs

• Groth16 proving evaluated in the Logos Execution Zone: memory requirement identified as the limiting factor (draft) — #645

Wallet UI

• Public-account initialize button merged logos-execution-zone-wallet-ui#28; account labels merged #29
• lez_core module updated to latest dev with new statistics FFI arguments (in-review) — logos-execution-zone-module#43

Refactor

• Valid-proof test removed from per-PR CI runs — #646

Nimbos

• Anonymous Leaders Reward Protocol ledger state and claim path merged — nimbos#134
• Gas metering merged — nimbos#149

Validate service discovery protocol correctness in large-scale simulations

• Protocol improvement PRs opened
• The protocol flaw discovered last week was fixed via spec and implementation changes

• Validate the improvements via a test scenario

Research more advanced cover traffic generation techniques

• Review comments addressed on the cover traffic spec update
• Mix code analyzed for issues and gaps, and addressed: expire SURB credentials, claim cover slot for SURB reply, remove unused fragmentation logic

• Start analyzing other cover traffic strategies
• Continue mix code improvements

Implement local reputation mechanism and research advanced DoS protection

• Comparison document of RLN-based DoS protection schemes for Mix shared for review
• Identified an issue where the clock-skew window allows 11x the configured rate limit; fix opened in PR #13

• Address feedback on the DoS schemes comparison document and decide whether to implement
• Research a local reputation mechanism (Blend/Loopix-style)

Implementing recovery mode

• Bug fixed with non-determinism in steward reelection
• Create-with-members feature moved into a separate PR and implemented on the libchat side

• Continue working on the recovery mechanism
• Try the option-timer idea

Integrating de-MLS into libchat

• Implemented a request to return the signer together with a message
• Started a discussion about member-id representation

• Resolve and merge the member-id representation

Full RLN module

• RLN Logos Core module expanded to handle proof generation, proof verification, and managing rate limits per membership

Specifying oracle mechanism

• Spec PR opened specifying the proposer selection mechanism
• Implementation work: sequencer and indexer code, plus blockchain time info

• Address review feedback and formalize all the LEZ contracts
• Review the RFC for the indexer proposer; continue implementation work

Specify and implement client payment shielding via LEZ private execution mode

• End-to-end shielded testing is working

• Spec updates

Release Zerokit (v3.0.0) with enum-based runtime configuration (CLOSED)

• Final PRs reviewed and merged: #430 into the develop PR, followed by merging the develop PR into master
• v3.0.0 release tag created and the deliverable closed

• Publish the new versions of rln and zerokit_utils to crates.io and the new rln-wasm packages to npm
• Consider the next developments

Logos storage module v2.1.0

• v2.1.0 of the Logos storage module is out, bringing libstorage v0.4.2 with major improvements to NAT traversal as well as other bugfixes and improvements — release notes

Mix path selection

• Studied and experimented with mix path selection from related papers (1, 2) to address the malicious path problem in both anonymous download and hidden services — work-in-progress summary/notes and experiment code

• Continue experimentation and document the results
• Based on results, write specs for mix path selection to be used for anonymous download over the transport layer, and later on for hidden services

Kad-DHT evaluation

• libp2p Kademlia DHT evaluated — initial evaluation shows no blockers, and the migration has been greenlit; the discv5 fork will soon be retired

• Replace the discv5 DHT with the libp2p Kademlia DHT

API docs generation workflows

• Two workflows in progress — at the source repo: on push to master, generate a JSON payload of the API docs from the source C/C++ headers (and where they should live in the target) and push a repository dispatch event to the docs repo; on release, create a release in the docs repo with the generated API docs
• At the docs repo (target): generate API docs from the source specified in the JSON payload, and create a PR with the generated API docs

• Finish the two workflows for generating API docs and the spec documenting it
• Add support for config documentation generation in the workflows