Logos Blockchain Weekly Update - 2026-01-19

`blockchain:highlights`

blockchain:bedrock:research:areon
- Areon simulator code has been prepared and published anonymously: simulations
- Areon paper has been submitted to CCS
blockchain:bedrock:research:cryptarchia
- Dropped the protection against adaptive adversaries, specs impacted are PoL and PoQ
  - Circuits updated to reflect changes in specs logos-blockchain-circuits#7
  - Blockchain node updated to reflect changes in specs logos-blockchain#2025
blockchain:bedrock:research:mantle
- Mantle specification updates have been finalized spec
- Cross-channel messaging specification (in-review) spec
blockchain:bedrock:research:da:sampling
- Adversary controlled subnetwork analysis has begun analysis
- Analysis of impact of invalid blob in a block on finality has begun analysis
blockchain:bedrock:research:blend
- Key-reuse vulnerability writeup analysis
- Removed sequence numbers from encryption spec
- Block compression proposal is nearly ready for review proposal

blockchain:bedrock:eng:da
- Work has begun on disabling DA (WIP) logos-blockchain#2030
blockchain:bedrock:eng:cryptarchia
- Implementation of total stake inference has begun (WIP) branch
blockchain:bedrock:eng:testing
- Removed cucumber integration from testing framework logos-blockchain-testing#6
- Add cucumber tooling to blockchain node testing (WIP) logos-blockchain#2024
- Local node control can start nodes at runtime (WIP) logos-blockchain-testing#3
- Nodes can start at any point in scenario (in-review) logos-blockchain-testing#4
- Remove DA from testing framework (in-review) logos-blockchain-testing#7
blockchain:bedrock:eng:reorgs
- Reorged transactions are re-inserted into the mempool (in-review) logos-blockchain#2027
blockchain:bedrock:eng:mempool
- Remove txs from mempool only when added to honest chain (in-review) logos-blockchain#2027
blockchain:bedrock:eng:deployment
- Make chainsync protocol namespaced by deployment config logos-blockchain#2016
blockchain:bedrock:eng:blend
- Rework blend message encapsulation logos-blockchain#2017
- Use KMS for Blend Network Ed25519 Key logos-blockchain#2023
blockchain:bedrock:eng:chore
- Rename all occurrences of nomos to logos-blockchain Overwatch#123

blockchain:lee:key-protocol
- Cleaned up keys documents and updated specs for ephemeral keys overview hd keys
blockchain:lee:private-account
- Summarized and analysed current proposed approaches analysis
- Iterated on Deposit Logs, yielding a proposal for unlinkable deposit logs proposal
blockchain:lee:execution-continuations
- Study on batched program executions to support chaining analysis
blockchain:lee:docs
- LEE docs organized into a Resource library docs
blockchain:lee:cross-calls
- Document on using tail-call mechanism for general cross calls analysis
blockchain:lee:token-program
- Integration tests refactoring (merged) lssa#262
- Token Program refactoring (in-review) lssa#293
- Public accounts authorization checks in private execution (in-review) lssa#259
blockchain:lee:indexer
- Indexer is functional, integration tests next lssa#282
blockchain:lee:sequencer
- Sequencer is posting blocks to Bedrock lssa#286