MILESTONE 2— Formal Verification
2.1 Lean4 Formalization Formal specification of ISC commitment scheme Complete Lean4 definitions 2.2 Correctness Proofs Proof: "silence period → finality" Verified by Lean4 prover 2.3 Threat Model Security analysis document (front-running, bribing, long-range attacks) P…
MILESTONE 5 — Ecosystem & Developer Adoption
5.1 Developer Docs Full documentation: API, examples, templates Hosted on GitHub Pages 5.2 Sample dApp #1 Time-locked escrow — funds released only after silence Working demo 5.3 Sample dApp #2 Decentralized arbitration — judge silent → plaintiff wins Working demo 5.4 Hackathon Ki…
MILESTONE 4 — Security Audit
4.1 Audit 1 Independent security audit (Kudelski / Quarkslab) Final report published 4.2 Audit 2 Second audit (Runtime Verification / Trail of Bits) Final report published 4.3 Mitigation Fix all critical/high severity findings Confirmed by auditors 4.4 Public Reports Both audit r…
MILESTONE 3 — Testnet Launch (Chronos)
3.1 Local Testnet 4-node Substrate network with Aura/Grandpa consensus Runs on single machine 3.2 Public Testnet Deployment on 10+ geographically distributed nodes Publicly accessible 3.3 Block Explorer Basic explorer for TASM transactions Shows commits/executions 3.4 Telemetry N…
MILESTONE 1 — Core Protocol Finalization
1.1 pallet-tasm v1.0 Fully functional Substrate pallet with ISC commitment, time-locks, slashing mechanism All extrinsics working, test coverage >80% 1.2 Commitment Scheme SHA-256 based binding commitment with deadline + collateral parameters Commit() → reveal()/slash() workfl…
New Program 04 Feb Fresh Wallet
We are building the first blockchain state machine where time, not computation, is the primary source of finality. The Time-Absence State Machine (TASM) enables a new class of cryptographic assets: "Impossibility Assets" —value derived from verifiable inaction. This is…