Deterministic State Machine

BUILT. BUILDING.
PROVABLE.

No dates. No promises. Milestones only. Every completed item links to a verifiable artifact — published paper, live testnet endpoint, or public Git commit.

⚡

Everything here is verifiable. Completed milestones link to published papers, public Git commits, live testnet endpoints, or published package versions. Nothing on this roadmap is a claim without proof.

Phase 1
Completed
Built. Verified. On record.
Built
Research Foundation — 25 Published Papers

Across IACR ePrint, Ethereum Research, and deterministicstatemachine.org. Covers topology, scaling, privacy, channel architecture, composability theory, formal protocol definition, and SoFi.

IACR ePrint
DSM: The Missing Trust Layer of the Internet
Early topology & scaling — Nov 2023
Sierpinski NeuroDLT COTO
Bridge & privacy research — Feb–May 2024
Rainbow Bridge Trustless Bitcoin Bridge Plasma Next Next
Channel architecture — Sep–Nov 2024
Overpass Channels Deterministic Consensus
Composability theory — Dec 2024
Perfect Mathematical Composability
DSM as distinct protocol — Jun–Dec 2025
Tripwire Theorem DJTE: Deterministic Emissions Storage Node Specification Statelessness Reframed Blockchain vs DSM Concise PQ Spec Why ETH Can't Scale
Final protocol papers — Jan–Mar 2026
DSM Primitive C-DBRW: Protocol Binding dBTC: Deterministic Bitcoin Formal Scaling Argument SoFi Blueprint
Built
Protocol Core — Rust dsm_core

~150 source files. Straight hash chain state machine with bilateral isolation and canonical protobuf encoding.

  • Straight hash chain state machine with bilateral isolation
  • Per-Device Sparse Merkle Tree (SMT)
  • Device Tree with genesis binding
  • Canonical protobuf encoding
  • Receipt verification with stitched inclusion proofs
Built
Post-Quantum Cryptographic Stack

Full NIST PQC stack. Every step signed. Keys derived deterministically. No weak links.

  • SPHINCS+ signatures (FIPS 205) — per-step, deterministically derived
  • ML-KEM / Kyber key encapsulation (FIPS 203)
  • BLAKE3 hashing with domain separation
  • HKDF-BLAKE3 key derivation
  • Argon2id for device-local secrets
  • DBRW binding — cryptographic stateless stitching
Built
Bitcoin Bridge (dBTC) — Signet / Testnet Operational

SPV-rooted, checkpoint-validated. Tap open and draw via HTLC scripts. Deposits and withdrawals functional on signet and testnet.

  • SPV proof verification
  • Block header chain validation with checkpoints
  • HTLC scripts for tap open / draw
  • Deposit and withdrawal flows
  • Signet / testnet operational
References: /dBTC.pdf
Built
Android Client — Kotlin + Rust JNI

Full-featured Android app bridged to dsm_core via JNI. Online and offline transfers. BLE and NFC transports.

  • Kotlin app with JNI bridge to Rust core
  • Identity and genesis creation
  • Bilateral transfers — online and offline via BLE / NFC
  • DLV create / claim / unlock
  • Bitcoin tap open / draw
  • Storage node interaction
Built
Formal Verification Suite

TLA+ and Lean4 protocol specification. Rust verifier evidence model. Mainnet predicates bounded by formal acceptance boundary.

  • TLA+ / Lean4 protocol specification
  • Rust verifier evidence model
  • Mainnet predicate vs runtime acceptance boundary
  • SPV / PoW / checkpoint chain formal evidence mapping
Built
Storage Node Infrastructure

Terraform-provisioned. Vault posting, quorum replication, and geographic distribution — ready for production scale.

  • Terraform configs for cloud / GCP deployment
  • Vault posting and discovery
  • Quorum replication
  • Geographic distribution ready for production scaling
References: /storagespec.pdf
Built
Deterministic Emissions (DJTE) — Protocol Designed

Join Activation Proof mechanism. Shard-local accumulators committed to global SMT. No time, no randomness oracle — winner selection is deterministic.

  • Join Activation Proof mechanism designed
  • Shard-local accumulators with global SMT commitment
  • Deterministic winner selection — no time, no randomness oracle
  • Halving schedule with CPTA-bound source DLV
References: /DSM-emissions.pdf
Phase 2
Active Build Targets
Current development priorities.
In Progress — M1
Sovereign Vault Primitive

Vault posted to a storage-node quorum, discovered by a remote client, and unlocked by cryptographic proof alone. No trusted third party. No coordinator. Proof-only unlock path.

  • Vault posted to storage-node quorum
  • Remote vault discovery via client SDK
  • Cryptographic-proof-only unlock flow
  • Public testnet with faucet
  • Published SDK
  • Hosted documentation
References: SoFi §2, §5.3, §9
In Progress — M2
Composable Routing with Encumbrance

Multi-hop vault composition with committed TradeIntent bounds (minOut, maxFee, maxHops, k) verified end-to-end by the SDK. Encumbrance claims prevent collateral double-pledge across simultaneous routes.

  • Multi-hop vault composition
  • Committed TradeIntent bounds verified by SDK
  • Encumbrance claims preventing double-pledge
References: SoFi §3.3–3.5
In Progress — M3
Tape-Derived Settlement / Oracle-less Perps

Perpetual instrument with funding and liquidation predicates settling against the endogenous executed tape. No external oracle. Anti-distortion enforcement rules built in.

  • Perpetual with funding and liquidation predicates
  • Settlement against endogenous executed tape
  • Zero external oracle dependency
  • Anti-distortion rules enforced
References: SoFi §4
In Progress — M4
iOS Swift Client at Android Parity

Signed TestFlight build with full feature parity to the Android client. Swift SDK and starter template published alongside.

  • Identity and genesis creation
  • Bilateral transfer (online + offline)
  • DLV create / claim / unlock
  • Bitcoin tap open / draw
  • Storage-node posted vault discovery
  • Signed TestFlight build
  • Swift SDK published
  • Starter template published
Phase 3
Toward Mainnet
Hardening, audits, and production readiness.
Ahead
Security Audit

Third-party cryptographic audit of the critical path. Remediation pass included before mainnet.

  • SPHINCS+, Kyber, BLAKE3 implementation review
  • dBTC bridge: SPV, HTLC, header chain
  • Receipt verification audit
  • Remediation pass complete
Ahead
Production Infrastructure

Storage node geographic distribution hardened with monitoring, alerting, and automated failover.

  • Storage node geographic distribution with monitoring and alerting
  • Automated failover
  • CI/CD hardened for multi-target builds (Rust core, Android, iOS)
Ahead
Android Hardening & Play Store Submission

UI polish, lifecycle management, BLE / NFC permission handling, and Google Play compliance.

  • UI polish and BLE permission handling
  • NFC interaction refinement
  • Android lifecycle management
  • Google Play compliance and submission
Ahead
iOS App Store Submission

App Store compliance with full feature parity verified against Android client.

  • App Store compliance review
  • Full feature parity verified against Android
  • App Store submission
Ahead
DJTE Implementation — Testnet Live

End-to-end emission flow on testnet. Join activation and halving schedule operational.

  • End-to-end emission flow verified
  • Join activation on testnet
  • Halving schedule operational
References: /DSM-emissions.pdf
Ahead
dBTC Mainnet Bridge Testing

Bridge tested against Bitcoin mainnet testbed. Checkpoint-rooted validation and entry anchor chain verification live.

  • Bridge tested against Bitcoin mainnet testbed
  • Checkpoint-rooted validation enforced
  • Entry anchor chain verification live
References: /dBTC.pdf
Phase 4
Open Testnet
SoFi live on testnet. Builders in. Real volume before mainnet.
Testnet
Sovereign Finance (SoFi) — Live on Testnet

Sovereign vaults, composable routing, and oracle-less perpetuals all running end-to-end on the public testnet. Real transactions. Real receipt chains. No simulations.

  • Vault creation, discovery, and proof-only unlock live
  • Multi-hop composable routing end-to-end
  • Tape-derived settlement running against executed tape
  • SDK published with testnet endpoints
  • Public faucet and testnet block explorer
References: /SoFi.pdf
Testnet
Custom Token Creation

Developers deploy and test custom tokens on DSM. Token issuance, DLV-backed vaults, and bilateral transfer of custom assets — all without gas, all with offline capability.

  • Custom token issuance on testnet
  • DLV-backed custom token vaults
  • Bilateral transfer of custom assets
  • Token spec documentation published
Testnet
Ecosystem Apps — Built and Tested

Third-party builders integrating against the testnet SDK. Reference apps across payments, identity, and SoFi use cases deployed and publicly accessible.

  • Reference payment app on testnet
  • Reference identity and credential app
  • Reference SoFi integration
  • Integration guide and SDK examples published
  • Third-party builder integrations live
Testnet
Hackathons & Developer Community

Open build competitions on the public testnet. Grants for qualifying projects. Community-driven stress testing before mainnet.

  • Hackathon program launched
  • Developer grants for qualifying integrations
  • Community stress testing and bug bounty
  • Developer forum and support channels active
Phase 5
Mainnet Launch
The state machine goes live.
Mainnet
Launch Readiness

Both mobile clients submitted. Network stable and geographically distributed. Audit complete. Documentation live.

  • Both mobile clients submitted to app stores
  • Storage node network stable and geographically distributed
  • Security audit complete with remediations applied
  • DJTE emission flow operational
  • dBTC bridge production-ready
  • Developer documentation and onboarding published
  • SDK published on npm and crates.io
Mainnet
Milestone-Based Token Release Active

ERA token release tied to verified device adoption milestones. No arbitrary unlock schedule.

  • Stage 1: TGE — initial airdrop to original qualified device IDs
  • Stage 2: 50K active devices
  • Stage 3: 250K active devices
  • Stage 4: 1M active devices — full unlock
Phase 6
Post-Mainnet
Network growth, ecosystem, and protocol evolution.
Post-Mainnet
Network Growth
  • Community airdrop stages tied to device adoption milestones
  • Continuous holding enforcement for airdrop eligibility
  • Referral-driven growth incentive structure active
Post-Mainnet
Ecosystem
  • Developer SDK and integration examples
  • Third-party builder onboarding
  • Partnership integrations
Post-Mainnet
Protocol Evolution
  • Ongoing formal verification expansion
  • Additional platform targets beyond Android and iOS
  • Storage node decentralization